Changeset 3543 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -206 +206 @@
       copy))
 
-(defmethod monom-multiply-2 ((m1 monom) (m2 monom))
-  "Non-destructively multiply monomial M1 by M2."
-  (monom-multiply-by (copy-instance m1) (copy-instance m2)))
-
-(defmethod monom-multiply ((numerator monom) &rest denominators)
-  "Non-destructively divide monomial NUMERATOR by product of DENOMINATORS."
-  (monom-divide-by (copy-instance numerator) (reduce #'monom-multiply-2 denominators)))
+(defgeneric universal-multiply-2 (object1 object2)
+  (:documentation "Multiply OBJECT1 by OBJECT2")
+  (:method  (object1 object2)
+    (universal-multiply-by (copy-instance m1) (copy-instance m2))))
+
+(defgeneric universal-divide (numerator &rest denominators)
+  (:documentation "Non-destructively divide object NUMERATOR by product of DENOMINATORS.")
+  (:method ((numerator monom) &rest denominators)
+    (monom-divide-by (copy-instance numerator) (reduce #'universal-multiply-2 denominators))))
 
 (defmethod monom-divides-p ((m1 monom) (m2 monom))