Changeset 1578

Timestamp:

2015-06-12T16:17:33-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-tests.lisp (modified) (1 diff)

branches/f4grobner/5am-tests.lisp

@@ -396 +396 @@
     (is (poly-set-equal-no-sugar-p (ideal-saturation-1 ring-and-order F p) G))))
 
+;; Calculate F : p1^inf : p2^inf : ... : ps^inf
+(test ideal-polysaturation-1
+  "Ideal saturation with 1 polynomial"
+  (let* (($poly_grobner_algorithm :buchberger)
+         (F (cdr (string->poly "[x^3*(y+z^2),x^2*(y-z^2)]" '(x y z))))
+         (P (string->poly "[x,z]" '(x y z)))
+         (ring *ring-of-integers*)
+         (order #'lex>)
+         (ring-and-order (make-ring-and-order :ring ring :order order))
+         (G (cdr (string->poly "[y]" '(x y z)))))
+    (is (poly-set-equal-no-sugar-p (ideal-polysaturation-1 ring-and-order F p) G))))
+
 (run! 'ngrobner-suite)
 (format t "All tests done!~%")