Changeset 2187 for branches/f4grobner

Timestamp:

2015-06-18T08:11:04-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-monom.lisp

@@ -58 +58 @@
         (n (make-monom :dimension 3 :initial-exponents '(4 5 6)))
         (m*n (make-monom :dimension 3 :initial-exponents '(5 7 9)))
+        (n/m (make-monom :dimension 3 :initial-exponents '(3 3 3)))
         (m-tensor-n (make-monom :initial-exponents '(1 2 3 4 5 6))))
+    (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 z) '(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 (r-tensor-product m n) m-tensor-n))
     (signals
         (error "INITIAL-EXPONENTS must have length DIMENSION") 
-      (make-monom :dimension 3 :initial-exponents '(1 2 3 4 5 6)))))
+      (make-monom :dimension 3 :initial-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))))