Changeset 3637 for branches/f4grobner

Timestamp:

2015-09-05T20:37:44-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-poly.lisp

@@ -86 +86 @@
 (test poly-add
   "Polynomial addition"
-  (with-fixture poly-add-context () (is (r-equalp (add-to p q) p+q)))
-  (with-fixture poly-add-context () (is (r-equalp (r+ p q) p+q)))
-  (with-fixture poly-add-context () (is (r-equalp (subtract-from p q) p-q)))
-  (with-fixture poly-add-context () (is (r-equalp (r- p q) p-q)))
-  (with-fixture poly-add-context () (is (r-equalp (unary-minus p) p-uminus)))
+  (with-fixture poly-add-context () (is (universal-equalp (add-to p q) p+q)))
+  (with-fixture poly-add-context () (is (universal-equalp (r+ p q) p+q)))
+  (with-fixture poly-add-context () (is (universal-equalp (subtract-from p q) p-q)))
+  (with-fixture poly-add-context () (is (universal-equalp (r- p q) p-q)))
+  (with-fixture poly-add-context () (is (universal-equalp (unary-minus p) p-uminus)))
   )
 
@@ -112 +112 @@
 (test poly-multiply
   "Polynomial multiplication"
-  (with-fixture poly-multiply-context () (is (r-equalp (r* p q) p*q)))
+  (with-fixture poly-multiply-context () (is (universal-equalp (r* p q) p*q)))
   )
 
@@ -123 +123 @@
          (q-ext (alist->poly '( ((0 1 0) . 1) ((0 1 2) . 3))))
          (plist-st-ext (list p-ext q-ext)))
-    (is (r-equalp (standard-extension plist) plist-st-ext))))
+    (is (universal-equalp (standard-extension plist) plist-st-ext))))
 
 (test poly-standard-extension-1
@@ -133 +133 @@
          (q-ext (alist->poly '( ((0 0 0) . -1) ((0 1 0) . 1) ((0 1 2) . 3))))
          (plist-st-ext (list p-ext q-ext)))
-    (is (r-equalp (standard-extension-1 plist) plist-st-ext))))
+    (is (universal-equalp (standard-extension-1 plist) plist-st-ext))))
 
 (test poly-standard-sum
@@ -142 +142 @@
          (std-sum (alist->poly '(((0 0 0) . -1) ((0 1 0) . 1) ((0 1 2) . 3)
                                  ((1 0 0) . 1) ((1 0 1) . 2)))))
-    (is (r-equalp (standard-sum plist) std-sum))))
+    (is (universal-equalp (standard-sum plist) std-sum))))
 
 (run! 'poly-suite)