Changeset 970

Timestamp:

2015-06-09T20:19:09-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -130 +130 @@
     (is-true (equalp q p-sq))))
 
+(test poly
+  "poly"
+  (let* ((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 6)) 49))
+         (t12 (make-term (make-monom :initial-exponents '(4 7 5)) 126))
+         (t22 (make-term (make-monom :initial-exponents '(6 10 4)) 81))
+         (p (make-poly-from-termlist (list t2 t1)))
+         (p-sq (make-poly-from-termlist (list t22 t12 t11)))
+         (ring-and-order (make-ring-and-order))
+         (q (poly-expt ring-and-order p 2)))
+    (is-true (equalp q p-sq))))
+