Changeset 3506 for branches

Timestamp:

2015-09-05T11:13:53-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (3 diffs)

branches/f4grobner/polynomial.lisp

@@ -155 +155 @@
 
 (defmethod multiply-by ((self poly) (other monom))
-  (mapc #'(lambda (term) (multiply-by term other))
-        (poly-termlist self))
-  self)
-
-(defmethod multiply-by ((self poly) (other term))
   (mapc #'(lambda (term) (multiply-by term other))
         (poly-termlist self))
@@ -314 +309 @@
                  (change-class (reduce #'r+ subtrahends) 'poly)))
 
-(defmethod r+ ((poly1 term) poly2)
-  "Non-destructively add POLY1 by POLY2."
-  (add-to (change-class (copy-instance poly1) 'poly)
-          (change-class (copy-instance poly2) 'poly)))
-
-(defmethod r- ((minuend term) &rest subtrahends)
-  "Non-destructively subtract MINUEND and SUBTRAHENDS."
-  (subtract-from (change-class (copy-instance minuend) 'poly)
-                 (change-class (reduce #'r+ subtrahends) 'poly)))
-
 (defmethod r+ ((poly1 monom) poly2)
   "Non-destructively add POLY1 by POLY2."
@@ -337 +322 @@
   "Non-destructively multiply POLY1 by POLY2."
   (multiply-by (copy-instance poly1) (copy-instance poly2)))
-
-(defmethod left-tensor-product-by ((self poly) (other term))
-  (setf (poly-termlist self) 
-        (mapcan #'(lambda (term) 
-                    (let ((prod (left-tensor-product-by term other)))
-                      (cond 
-                        ((r-zerop prod) nil)
-                        (t (list prod)))))
-                (poly-termlist self)))
-  self)
-
-(defmethod right-tensor-product-by ((self poly) (other term))
-  (setf (poly-termlist self) 
-        (mapcan #'(lambda (term) 
-                    (let ((prod (right-tensor-product-by term other)))
-                      (cond 
-                        ((r-zerop prod) nil)
-                        (t (list prod)))))
-                (poly-termlist self)))
-  self)
 
 (defmethod left-tensor-product-by ((self poly) (other monom))