Changeset 967 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -123 +123 @@
          (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))
+         (t11 (make-term (make-monom :initial-exponents '(2 4 6)) 49))
          (t12 (make-term (make-monom :initial-exponents '(4 7 5)) 126))
          (t22 (make-term (make-monom :initial-exponents '(6 10 4)) 81))
@@ -130 +130 @@
          (ring-and-order (make-ring-and-order))
          (q (termlist-expt ring-and-order p 2)))
-    (is-true (equalp q p-sq))))
+    (is-true (equalp (print q) (print p-sq)))))