Changeset 3563 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -253 +253 @@
            exponents1 exponents2 exponents3 exponents4))))))
 
-(defmethod monom-divisible-by-p ((m1 monom) (m2 monom))
-  "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
-  (with-slots ((exponents1 exponents))
-      m1
-    (with-slots ((exponents2 exponents))
-        m2
-      (every #'>= exponents1 exponents2))))
-
-(defmethod monom-rel-prime-p ((m1 monom) (m2 monom))
-  "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
-  (with-slots ((exponents1 exponents))
-      m1
-    (with-slots ((exponents2 exponents))
-        m2
-      (every #'(lambda (x y) (zerop (min x y))) exponents1 exponents2))))
+(defgeneric divisible-by-p (object1 object2)
+  (:documentation "Return T if OBJECT1 is divisible by OBJECT2.")
+  (:method ((m1 monom) (m2 monom))
+    "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
+    (with-slots ((exponents1 exponents))
+        m1
+      (with-slots ((exponents2 exponents))
+          m2
+        (every #'>= exponents1 exponents2)))))
+
+(defmethod rel-prime-p (object1 object2)
+  (:method ((m1 monom) (m2 monom))
+    "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
+    (with-slots ((exponents1 exponents))
+        m1
+      (with-slots ((exponents2 exponents))
+          m2
+        (every #'(lambda (x y) (zerop (min x y))) exponents1 exponents2)))))
 
 (defmethod monom-lcm ((m1 monom) (m2 monom))