Changeset 1562

Timestamp:

2015-06-12T15:55:57-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-tests.lisp (modified) (2 diffs)

branches/f4grobner/5am-tests.lisp

@@ -304 +304 @@
          (reduced-gb (cdr (string->poly "[y,x]" '(x y)))))
     (is-true (grobner-test ring-and-order gb fl))
-    (is (null (set-exclusive-or (grobner ring-and-order fl) gb :test #'poly-equal-no-sugar-p)))
-    (is (null (set-exclusive-or (reduced-grobner ring-and-order fl)
-                                reduced-gb
-                                :test #'poly-equal-no-sugar-p )))))
+    (is (poly-set-equal-no-sugar-p (grobner ring-and-order fl) gb))
+    (is (poly-set-equal-no-sugar-p (reduced-grobner ring-and-order fl) reduced-gb))))
+
 
 (test elimination-ideal
@@ -317 +316 @@
          (ring-and-order (make-ring-and-order :ring ring :order order))
          (elim-1-fl (cdr (string->poly "[y]" '(x y)))))
-    (is (every #'poly-equal-no-sugar-p (elimination-ideal ring-and-order fl 1) elim-1-fl))
-    (is (every #'poly-equal-no-sugar-p (elimination-ideal ring-and-order fl 2) nil))))
+    (is (poly-set-equal-no-sugar-p (elimination-ideal ring-and-order fl 1) elim-1-fl))
+    (is (poly-list-equal-no-sugar-p (elimination-ideal ring-and-order fl 2) nil))))
 
 (test colon-ideal