Changeset 3634 for branches

Timestamp:

2015-09-05T20:32:23-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -302 +302 @@
   self)
 
-(defmethod r+ ((poly1 poly) poly2)
+(defun add (object1 object2)
   "Non-destructively add POLY1 by POLY2."
-  (poly-add-to (copy-instance POLY1) (change-class (copy-instance POLY2) 'poly)))
-
-(defmethod r- ((minuend poly) &rest subtrahends)
+  (add-to (copy-instance object1) (copy-instance object2)))
+
+(defun subtract (minuend  &rest subtrahends)
   "Non-destructively subtract MINUEND and SUBTRAHENDS."
-  (poly-subtract-from (copy-instance minuend) 
-                 (change-class (reduce #'r+ subtrahends) 'poly)))
-
-(defmethod r+ ((poly1 monom) poly2)
-  "Non-destructively add POLY1 by POLY2."
-  (poly-add-to (change-class (copy-instance poly1) 'poly)
-          (change-class (copy-instance poly2) 'poly)))
-
-(defmethod r- ((minuend monom) &rest subtrahends)
-  "Non-destructively subtract MINUEND and SUBTRAHENDS."
-  (poly-subtract-from (change-class (copy-instance minuend) 'poly)
-                 (change-class (reduce #'r+ subtrahends) 'poly)))
-
-(defmethod r* ((poly1 poly) (poly2 poly))
-  "Non-destructively multiply POLY1 by POLY2."
-  (multiply-by (copy-instance poly1) (copy-instance poly2)))
+  (subtract-from (copy-instance minuend) (reduce #'add subtrahends)))
 
 (defmethod left-tensor-product-by ((self poly) (other monom))