Changeset 756

Timestamp:

2015-06-08T21:20:46-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -81 +81 @@
   "monom"
   (is (equalp (monom-exponents (make-monom 3)) #(0 0 0)) "Trivial monomial is a vector of 0's")
-  (is (equalp (monom-exponents (make-monom 3 :initial-contents '(1 2 3))) #(1 2 3)) "Monomial with powers 1,2,3"))
+  (is (equalp (monom-exponents (make-monom 3 :initial-exponents '(1 2 3))) #(1 2 3)) "Monomial with powers 1,2,3"))
   
 (test order
   "order"
-  (let ((p (make-monom 3 :initial-contents '(1 3 2)))
-        (q (make-monom 3 :initial-contents '(1 2 3))))
+  (let ((p (make-monom 3 :initial-exponents '(1 3 2)))
+        (q (make-monom 3 :initial-exponents '(1 2 3))))
     (is-true (lex>  p q)) 
     (is-true (grlex>  p q)) 
@@ -92 +92 @@
     (is-true (grevlex>  p q)) 
     (is-false (invlex>  p q))) 
-  (let ((p (make-monom 3 :initial-contents '(1 2 3)))
-        (q (make-monom 3 :initial-contents '(4 5 6))))
+  (let ((p (make-monom 3 :initial-exponents '(1 2 3)))
+        (q (make-monom 3 :initial-exponents '(4 5 6))))
     (is-false (elimination-order-1 p q))
     (is-false (funcall (elimination-order 2) p q))))
@@ -99 +99 @@
 (test term
   "term"
-  (let* ((m1 (make-monom 3 :initial-contents '(1 2 3)))
-         (m2 (make-monom 3 :initial-contents '(3 5 2)))
+  (let* ((m1 (make-monom 3 :initial-exponents '(1 2 3)))
+         (m2 (make-monom 3 :initial-exponents '(3 5 2)))
          (m3 (monom-mul m1 m2))
          (t1 (make-term m1 7))