Changeset 2802

Timestamp:

2015-06-20T21:45:34-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (1 diff)

branches/f4grobner/polynomial.lisp

@@ -217 +217 @@
     ;; If p= p0+p1 and q=q0+q1 then p*q=p0*q0+p0*q1+p1*q
     ((endp (cdr p))
-     (multiply-term-by-termlist (car p) q)
+     (multiply-term-by-termlist-dropping-zeros (car p) q)
     ((endp (cdr q))
-     (multiply-termlist-by-term p (car q))
-    (t
-     (let ((head (multiply-terms (car p) (car q)))
-           (tail (add-termlists 
-                  (multiply-term-by-termlist-dropping-zeros (car p) (cdr q))
-                  (multiply-termlists (cdr p) q)
-                  order-fn)))
-       (nconc head tail)))))))
+     (multiply-term-by-termlist-dropping-zeros (car q) p t)
+     (t
+      (nconc (multiply-terms (car p) (car q))
+             (tail (add-termlists 
+                    (multiply-term-by-termlist-dropping-zeros (car p) (cdr q))
+                    (multiply-termlists (cdr p) q)
+                    order-fn))))))))
+
 
 #|