Changeset 3556 for branches/f4grobner/monom.lisp

Timestamp:

2015-09-05T16:40:40-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -508 +508 @@
   (setf (term-coeff new) 1))
 
-(defmethod term-multiply-by ((self term) (other term))
+(defmethod multiply-by :before ((self term) (other term))
   "Destructively multiply terms SELF and OTHER and store the result into SELF.
 It returns SELF."
-  (setf (term-coeff self) (universal-multiply-by (term-coeff self) (scalar-coeff other))))
-
-(defmethod term-left-tensor-product-by ((self term) (other term))
-  (setf (term-coeff self) (universal-multiply-by (term-coeff self) (term-coeff other)))
-  (call-next-method))
-
-(defmethod term-right-tensor-product-by ((self term) (other term))
-  (setf (term-coeff self) (multiply-by (term-coeff self) (term-coeff other)))
-  (call-next-method))
-
-(defmethod monom-divide-by ((self term) (other term))
-  "Destructively divide term SELF by OTHER and store the result into SELF.
-It returns SELF."
-  (setf (term-coeff self) (divide-by (term-coeff self) (term-coeff other)))
-  (call-next-method))
+  (setf (term-coeff self) (multiply-by (term-coeff self) (scalar-coeff other))))
+
+(defmethod term-left-tensor-product-by :before ((self term) (other term))
+  (setf (term-coeff self) (universal-multiply-by (term-coeff self) (term-coeff other))))
+
+(defmethod term-right-tensor-product-by :before ((self term) (other term))
+  (setf (term-coeff self) (multiply-by (term-coeff self) (term-coeff other))))
+
+(defmethod divide-by :before ((self term) (other term))
+  (setf (term-coeff self) (divide-by (term-coeff self) (term-coeff other))))
 
 (defmethod monom-unary-minus ((self term))