Changeset 2787 for branches

Timestamp:

2015-06-20T20:50:24-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -192 +192 @@
 
 
-(defmethod multiply-by ((self poly) (other poly))
-  (cond ((or (endp p) (endp q)) nil)    ;p or q is 0 (represented by NIL)
-        ;; If p=p0+p1 and q=q0+q1 then p*q=p0*q0+p0*q1+p1*q
-        ((endp (cdr p))
-         (term-times-termlist ring (car p) q))
-        ((endp (cdr q))
-         (termlist-times-term ring p (car q)))
-        (t
-         (let ((head (term-mul-lst ring (termlist-lt p) (termlist-lt q)))
-               (tail (termlist-add ring-and-order
-                                   (term-times-termlist ring (car p) (cdr q))
-                                   (termlist-mul ring-and-order (cdr p) q))))
-           (cond ((null head) tail)
-                 ((null tail) head)
-                 (t (nconc head tail)))))))
-
-
+(defun fast-multiply (p q)
+  (cond 
+    ((or (endp p) (endp q)) nil)        ;p or q is 0 (represented by NIL)
+    ;; If p=p0+p1 and q=q0+q1 then p*q=p0*q0+p0*q1+p1*q
+    ((endp (cdr p))
+     (term-times-termlist (car p) q))
+    ((endp (cdr q))
+     (termlist-times-term p (car q)))
+    (t
+     (let ((head (term-mul-lst (termlist-lt p) (termlist-lt q)))
+           (tail (termlist-add (term-times-termlist (car p) (cdr q))
+                               (termlist-mul (cdr p) q))))
+       (cond ((null head) tail)
+             ((null tail) head)
+             (t (nconc head tail)))))))
 
 #|