Changeset 3271 for branches/f4grobner

Timestamp:

2015-06-22T21:22:50-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-symbolic-poly.lisp

@@ -57 +57 @@
 (in-suite symbolic-poly-suite)
 
+(def-fixture sym-poly-context ()
+  (let ((p (make-instance 'poly))
+        (p-symbolic (make-instance 'symbolic-poly :vars '(x))))
+    (dolist (x '( ((2) . 22)  ((4) . 44) ((5) . 55) ((8) . 88) ((9) . 99) ))
+      (insert-item p (make-instance 'term :exponents (car x) :coeff (cdr x)))
+      (insert-item p-symbolic (make-instance 'term :exponents (car x) :coeff (cdr x))))
+    (&body)))
+
 (test sym-poly
-  (let ((p (make-instance 'poly))
-        (q (make-instance 'poly :order nil))
-        (p+q (make-instance 'poly))
-        (p-q (make-instance 'poly))
-        (p-uminus (make-instance 'poly)))
-    ;; Populate the polynomials; the lists of (exponents . coefficient) pairs
-    ;; must be in increasing order in Q, but Q is unordered (:ORDER NIL)
-    ;; so it will be automatically sorted.
-    (dolist (x '( ((2) . 22)  ((4) . 44) ((5) . 55) ((8) . 88) ((9) . 99) ))
-      (insert-item p (make-instance 'term :exponents (car x) :coeff (cdr x))))
+  "Symbolic polynomial"
+  (with-fixture sym-poly-context ()
+    (is-true (r-equalp (change-class p 'symbolic-poly :vars '(x)) p-symbolic ))))