Changeset 3589 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -249 +249 @@
                    exponents1 exponents2 exponents3 exponents4))))))
          
-(defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
-  "Returns T if monomial LCM(M1,M2) equals 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 monom-lcm-equal-lcm-p (object1 object2 object3 object4)
+  (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
+    "Returns T if monomial LCM(M1,M2) equals 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 divisible-by-p (object1 object2)