Changeset 2076

Timestamp:

2015-06-17T19:24:20-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -194 +194 @@
          m1 m2 m3 m4))
          
-(defun lcm-equal-lcm-p (m1 m2 m3 m4)
+(defmethod lcm-equal-lcm-p (m1 m2 m3 m4)
   "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise."
-  (declare (type monom m1 m2 m3 m4))
-  (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
+        (with-slots (exponents4 exponents)
+            m4
+          (every #'(lambda (x y z w) (= (max x y) (max z w)))
+                 exponents1 exponents2 exponents3 exponents4))))))
 
 #|
-
-
-
-(defun monom-divisible-by-p (m1 m2)
+(defmethod divisible-by-p ((m1 monom) (m2 monom))
   "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
-  (declare (type monom m1 m2))
   (every #'>= m1 m2))
 
-(defun monom-rel-prime-p (m1 m2)
+(defmethod rel-prime-p ((m1 monom) (m2 monom))
   "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
-  (declare (type monom m1 m2))
   (every #'(lambda (x y) (zerop (min x y))) m1 m2))
+
+#|
+
+
 
 (defun monom-equal-p (m1 m2)