Changeset 1589

Timestamp:

2015-06-12T16:27:54-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

@@ -420 +420 @@
     (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"
+;; Calculate F : P1^inf : P2^inf : ... : Ps^inf where Pi are ideals
+(test ideal-polysaturation
+  "Ideal polysaturation"
   (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))))
+         (P1 (cdr (string->poly "[x]" '(x y z))))
+         (P2 (cdr (string->poly "[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))))
+    (is (poly-set-equal-no-sugar-p (ideal-polysaturation-1 ring-and-order F (list P1 P2)) G))))
 
 (run! 'ngrobner-suite)