Changeset 2327 for branches/f4grobner

Timestamp:

2015-06-18T19:50:23-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

@@ -85 +85 @@
       (r-depends-p m 3))))
   
+(def-fixture term-context ()
+  (let ((z (make-unstance 'term  :dimension 3))
+        (m (make-instance 'term  :dimension 3 :exponents '(1 2 3)))
+        (n (make-instance 'term  :dimension 3 :exponents '(4 5 6)))
+        (m*n (make-instance 'term  :dimension 3 :exponents '(5 7 9)))
+        (n/m (make-instance 'term  :dimension 3 :exponents '(3 3 3)))
+        (m-tensor-n (make-instance 'term  :exponents '(1 2 3 4 5 6))))
+    (&body)))
+
+(test monom-basics
+  "Monom basics"
+  (with-fixture term-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 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-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))
+    (signals
+        (error "Index out of bounds")
+      (r-depends-p m 3))))
+
+
+
 (run! 'monom-suite)
 (format t "All tests done!~%")