Changeset 4215 for branches

Timestamp:

2016-06-04T13:27:27-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -374 +374 @@
   (fast-add/subtract p q order-fn #'subtract-from #'unary-minus))
 
-(defmethod add-to ((self poly) (other poly)
-                   &aux (other (copy-instance other)))
+(defmethod add-to ((self poly) (other poly) &aux (other-copy (copy-instance other)))
   "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 self)
+  (change-term-order other-copy self)
   (setf (poly-termlist self) (add-termlists
-                              (poly-termlist self) (poly-termlist other)
+                              (poly-termlist self) (poly-termlist other-copy)
                               (poly-term-order self)))
   self)
   
 
-(defmethod subtract-from ((self poly) (other poly)
-                          &aux (other (copy-instance other))))
-    "Subtracts from polynomial SELF another polynomial OTHER.
+(defmethod subtract-from ((self poly) (other poly) &aux (other-copy (copy-instance other)))
+  "Subtracts from 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 self)
+  (change-term-order other-copy self)
   (setf (poly-termlist self) (subtract-termlists
-                              (poly-termlist self) (poly-termlist other)
+                              (poly-termlist self) (poly-termlist other-copy)
                               (poly-term-order self)))
   self)
 
 
-(defmethod add-to ((self poly) (other term))
+(defmethod add-to ((self poly) (other term) &aux (other-copy (copy-instance other)))
   "Adds to a polynomial SELF a term OTHER. The term OTHER is not
 modified."
-  (add-to self (change-class (copy-instance other) 'poly)))
+  (add-to self (change-class other-copy 'poly)))
 
 (defmethod subtract-from ((self poly) (other term))