Changeset 4452

Timestamp:

2016-06-11T19:24:04-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -443 +443 @@
 
 (defmacro def-add/subtract-method (add/subtract-method-name
-                                                uminus-method-name
-                                                &optional
-                                                (doc-string nil doc-string-supplied-p))
+                                   uminus-method-name
+                                   &optional
+                                     (doc-string nil doc-string-supplied-p))
   "This macro avoids code duplication for two similar operations: ADD-TO and SUBTRACT-FROM."
   `(defmethod ,add/subtract-method-name ((self poly) (other poly))
@@ -490 +490 @@
   (add-termlists p q order-fn))
 
-(defmethod add-to ((self poly) (other poly) &aux (other-copy (copy-instance other)))
+(defmethod add-to ((self poly) (other poly))
   "Adds to polynomial SELF another polynomial OTHER.
 This operation destructively modifies both polynomials.
 The result is stored in SELF. This implementation does
 no consing, entirely reusing the sells of SELF and OTHER."
-  (change-term-order other-copy self)
+  (change-term-order other self)
   (setf (poly-termlist self) (add-termlists
-                              (poly-termlist self) (poly-termlist other-copy)
+                              (poly-termlist self) (poly-termlist other)
                               (poly-term-order self)))
   self)
@@ -514 +514 @@
 
 
-(defmethod add-to ((self poly) (other term) &aux (other-copy (copy-instance other)))
+(defmethod add-to ((self poly) (other term))
   "Adds to a polynomial SELF a term OTHER. The term OTHER is not
 modified."
-  (add-to self (change-class other-copy 'poly)))
-
-(defmethod subtract-from ((self poly) (other term) &aux (other-copy (copy-instance other)))
+  (add-to self (change-class other 'poly)))
+
+(defmethod subtract-from ((self poly) (other term))
   "Subtracts from a polynomial SELF a term OTHER. The term OTHER is not
 modified."
-  (subtract-from self (change-class other-copy 'poly)))
+  (subtract-from self (change-class other 'poly)))