Changeset 1586

Timestamp:

2015-06-12T16:24:23-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

@@ -408 +408 @@
     (is (poly-set-equal-no-sugar-p (ideal-polysaturation-1 ring-and-order F p) G))))
 
+;; Calculate F : P^inf
+(test ideal-saturation
+  "Ideal saturation"
+  (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]" '(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,z^2]" '(x y z)))))
+    (is (poly-set-equal-no-sugar-p (ideal-saturation ring-and-order F P) G))))
+
+;; Calculate F : p1^inf : p2^inf : ... : ps^inf
+#+nil
+(test ideal-polysaturation-1
+  "Ideal polysaturation one-by-one with 2 polynomials"
+  (let* (($poly_grobner_algorithm :buchberger)
+         (F (cdr (string->poly "[x^3*z*y,x*z*y^2]" '(x y z))))
+         (P (cdr (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!~%")