Changeset 3586 for branches

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

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