Changeset 3585

Timestamp:

2015-09-05T17:08:00-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -228 +228 @@
       (every #'<= exponents1 exponents2))))
 
-(defmethod monom-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom))
-  "Returns T if monomial M1 divides LCM(M2,M3), NIL otherwise."
-  (every #'(lambda (x y z) (<= x (max y z))) 
-         m1 m2 m3))
-
-(defmethod monom-lcm-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
-  "Returns T if monomial MONOM-LCM(M1,M2) divides MONOM-LCM(M3,M4), NIL otherwise."
-  (declare (type monom m1 m2 m3 m4))
+(defgeneric divides-lcm-p (object1 object2 object3) 
+  (:documentation "Returns T if OBJECT1 divides LCM(OBJECT2,OBJECT3), NIL otherwise."
+  (:method ((m1 monom) (m2 monom) (m3 monom))
+    "Returns T if monomial M1 divides LCM(M2,M3), NIL otherwise."
+    (every #'(lambda (x y z) (<= x (max y z))) 
+           m1 m2 m3)))
+
+(defgeneric lcm-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
+  "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise."
   (every #'(lambda (x y z w) (<= (max x y) (max z w))) 
          m1 m2 m3 m4))