Changeset 2290 for branches/f4grobner

Timestamp:

2015-06-18T16:26:36-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-monom.lisp

@@ -54 +54 @@
 (test monom
   "monom"
-  (let ((z (make-monom :dimension 3))
-        (m (make-monom :dimension 3 :initial-exponents '(1 2 3)))
-        (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))))
+  (let ((z (make-instance 'monom  :dimension 3))
+        (m (make-instance 'monom  :dimension 3 :initial-exponents '(1 2 3)))
+        (n (make-instance 'monom  :dimension 3 :initial-exponents '(4 5 6)))
+        (m*n (make-instance 'monom  :dimension 3 :initial-exponents '(5 7 9)))
+        (n/m (make-instance 'monom  :dimension 3 :initial-exponents '(3 3 3)))
+        (m-tensor-n (make-instance 'monom  :initial-exponents '(1 2 3 4 5 6))))
     (is (= (r-dimension m) 3))
     (is (= (r-elt m 2) 3))
@@ -70 +70 @@
     (signals
         (error "INITIAL-EXPONENTS must have length DIMENSION") 
-      (make-monom :dimension 3 :initial-exponents '(1 2 3 4 5 6)))
+      (make-instance '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))
-    (is-true (r-depends-p m 0))))
+    (is-true (r-depends-p m 0))
+    (signals
+        (error "Index out of bounds")
+      (r-depends-p m 3))))