Changeset 3588 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -235 +235 @@
            exponents1 exponents2 exponents3)))
 
-(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."
-  (with-slots ((exponents1 exponents))
-      m1
-    (with-slots ((exponents2 exponents))
-        m2
-      (with-slots ((exponents3 exponents))
-          m3
-        (with-slots ((exponents4 exponents))
-            m4
-          (every #'(lambda (x y z w) (<= (max x y) (max z w))) 
-           exponents1 exponents2 exponents3 exponents4))))))
+(defgeneric lcm-divides-lcm-p (object1 object2 object3 object4)
+  (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
+    "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise."
+    (with-slots ((exponents1 exponents))
+        m1
+      (with-slots ((exponents2 exponents))
+          m2
+        (with-slots ((exponents3 exponents))
+            m3
+          (with-slots ((exponents4 exponents))
+              m4
+            (every #'(lambda (x y z w) (<= (max x y) (max z w))) 
+                   exponents1 exponents2 exponents3 exponents4))))))
          
 (defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))