Changeset 3463

Timestamp:

2015-09-05T09:49:40-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-monom.lisp

@@ -71 +71 @@
   "Monom basics"
   (with-fixture monom-context () 
-    (is (= (r-dimension m) 3))
-    (is (= (r-elt m 2) 3))
-    (is (= (r-total-degree m) 6))
-    (is (= (r-sugar m) 6))
-    (is (equalp  (r->list (make-instance 'monom  :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's")
-    (is (r-equalp (r* m n) m*n))
-    (is (r-equalp (r/ n m) n/m))
-    (is (r-equalp (right-tensor-product-by m n) m-tensor-n))
+    (is (= (monom-dimension m) 3))
+    (is (= (monom-elt m 2) 3))
+    (is (= (monom-total-degree m) 6))
+    (is (= (monom-sugar m) 6))
+    (is (equalp  (monom->list (make-instance 'monom  :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's")
+    (is (monom-equalp (r* m n) m*n))
+    (is (monom-equalp (r/ n m) n/m))
+    (is (monom-equalp (right-tensor-product-by m n) m-tensor-n))
     (signals
         (error "EXPONENTS must have length DIMENSION") 
       (make-instance 'monom  :dimension 3 :exponents '(1 2 3 4 5 6)))
-    (is-true (r-divides-p m n))
-    (is-false (r-divides-p n m))
-    (is (r-equalp (r-gcd m n) m))
-    (is (r-equalp (r-lcm m n) n))
-    (is-true (r-depends-p m 0))
+    (is-true (monom-divides-p m n))
+    (is-false (monom-divides-p n m))
+    (is (monom-equalp (monom-gcd m n) m))
+    (is (monom-equalp (monom-lcm m n) n))
+    (is-true (monom-depends-p m 0))
     (signals
         (error "Index out of bounds")
-      (r-depends-p m 3))
+      (monom-depends-p m 3))
     )
   (with-fixture monom-context ()
-    (is (r-equalp (multiply-by m n) m*n)))
+    (is (monom-equalp (multiply-by m n) m*n)))
   (with-fixture monom-context ()
-    (is (r-equalp (divide-by n m) n/m))))
+    (is (monom-equalp (divide-by n m) n/m))))
   
 (run! 'monom-suite)