Changeset 2686

Timestamp:

2015-06-20T16:17:56-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-poly.lisp

@@ -76 +76 @@
     (dolist (x '(((0) . -11) ((2) . 2)  ((3) . -33) ((4) . 88) ((5) . 55) ((7) . -77) ((9) . 9)))
       (insert-item p-q (make-instance 'term :exponents (car x) :coeff (cdr x))))
+    (dolist (x '( ((2) . -22)  ((4) . -44) ((5) . -55) ((8) . -88) ((9) . -99) )))
+      (insert-item p-uminus (make-instance 'term :exponents (car x) :coeff (cdr x))))
     ;;(print p) (print q) (print p+q) (print p-q)
     (&body)))
@@ -83 +85 @@
   (with-fixture poly-context () (is (r-equalp (add-to p q) p+q)))
   (with-fixture poly-context () (is (r-equalp (subtract-from p q) p-q)))
+  (with-fixture poly-context () (is (r-equalp (unary-minus p) p-uminus)))
   )