Changeset 2805 for branches/f4grobner

Timestamp:

2015-06-20T21:57:44-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/term.lisp

@@ -105 +105 @@
 |#
 
-(defmethod r* :around ((term1 term) (term2 term))
-  "Returns the product of the terms TERM1 and TERM2,
-or NIL when the product is 0. This definition takes care of divisors of 0
-in the coefficient ring."
-  (let ((result (change-class (call-next-method) 'term)))
-    (setf (r-coeff result) (r* (r-coeff term1) (r-coeff term2)))
-    result))
-
-(defmethod multiply-by ((self term) (other monom))
-  "Returns the product of the terms TERM1 and TERM2,
-or NIL when the product is 0. This definition takes care of divisors of 0
-in the coefficient ring."
+(defmethod multiply-by ((self term) (other term))
+  "Multiply terms SELF and OTHER and store the result into SELF.
+It returns SELF."
   (setf (r-coeff self) (multiply-by (r-coeff self) (r-coeff other)))
-  self)
-
-(defmethod multiply-by ((self term) (other scalar))
-  "Returns the product of the terms TERM1 and TERM2,
-or NIL when the product is 0. This definition takes care of divisors of 0
-in the coefficient ring."
-  (setf (r-coeff self) (multiply-by (r-coeff self) other))
   self)