Changeset 3508 for branches/f4grobner

Timestamp:

2015-09-05T11:22:43-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-poly.lisp

@@ -69 +69 @@
     ;; so it will be automatically sorted.
     (dolist (x '( ((2) . 22)  ((4) . 44) ((5) . 55) ((8) . 88) ((9) . 99) ))
-      (insert-item p (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p (make-instance 'monom :exponents (car x)) (cdr x)))
     (dolist (x '( ((9) . 90) ((0) . 11)  ((2) . 20) ((3) . 33) ((4) . -44)  ((7) . 77) ((8) . 88) ))
-      (insert-item q (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term q (make-instance 'monom :exponents (car x)) (cdr x)))
     ;; P+Q
     (dolist (x '(((0) . 11) ((2) . 42)  ((3) . 33) ((5) . 55) ((7) . 77) ((8) . 176) ((9) . 189) ))
-      (insert-item p+q (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p+q (make-instance 'monom :exponents (car x)) (cdr x)))
     ;; P-Q
     (dolist (x '(((0) . -11) ((2) . 2)  ((3) . -33) ((4) . 88) ((5) . 55) ((7) . -77) ((9) . 9)))
-      (insert-item p-q (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p-q (make-instance 'monom :exponents (car x)) (cdr x)))
     ;; -P
     (dolist (x '( ((2) . -22)  ((4) . -44) ((5) . -55) ((8) . -88) ((9) . -99)))
-      (insert-item p-uminus (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p-uminus (make-instance 'monom :exponents (car x)) (cdr x)))
     ;;(print p) (print q) (print p+q) (print p-q)
     (&body)))
@@ -101 +101 @@
     ;; so it will be automatically sorted.
     (dolist (x '( ((0) . 1)  ((1) . 2) ))
-      (insert-item p (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p (make-instance 'monom :exponents (car x)) (cdr x)))
     (dolist (x '( ((0) . 1)  ((1) . 3) ))
-      (insert-item q (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term q (make-instance 'monom :exponents (car x)) (cdr x)))
     ;; P*Q
     (dolist (x '( ((0) . 1) ((1) . 5) ((2) . 6)))
-      (insert-item p*q (make-instance 'monom :exponents (car x)) (cdr x)))
+      (poly-insert-term p*q (make-instance 'monom :exponents (car x)) (cdr x)))
     (&body)))