Changeset 963

Timestamp:

2015-06-09T20:00:03-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -119 +119 @@
 (test termlist
   "termlist"
-  (let* ((m1 (make-monom :initial-exponents '(1 2 3)))
-         (m2 (make-monom :initial-exponents '(3 5 2)))
-         (t1 (make-term m1 7))
-         (t2 (make-term m2 9))
-         (p (make-poly-from-termlist (list t1 t2)))
+  (let* ((m1 )
+         (m2 )
+         (t1 (make-term (make-monom :initial-exponents '(1 2 3)) 7))
+         (t2 (make-term (make-monom :initial-exponents '(3 5 2)) 9))
+         (t11 (make-term (make-monom :initial-exponents '(2 4 9)) 49))
+         (t12 (make-term (make-monom :initial-exponents '(4 7 5)) 126))
+         (t22 (make-term (make-monom :initial-exponents '(6 10 4)) 81))
+         (p (list t2 t1))
+         (p-sq (list t22 t12 t11))
          (ring-and-order (make-ring-and-order))
+         (order (ro ring-and-order))
          (q (termlist-expt ring-and-order p 2)))
-    (is-true (print p))
-    (is-true (print q))))
+    (is-true (equalp q p-sq))))