Changeset 869 for branches/f4grobner

Timestamp:

2015-06-09T11:47:42-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monomial.lisp

@@ -138 +138 @@
 (defun monom-divides-p (m1 m2)
   "Returns T if monomial M1 divides monomial M2, NIL otherwise."
-  (declare (type monom m1 m2))
   (every #'<= (monom-exponents m1) (monom-exponents m2)))
 
 (defun monom-divides-monom-lcm-p (m1 m2 m3)
   "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise."
-  (declare (type monom m1 m2 m3))
   (every #'(lambda (x y z) (declare (type exponent x y z)) (<= x (max y z))) 
-         (monom-exponents m1)
-         (monom-exponents m2)
-         (monom-exponents m3)))
+         m1 m2 m3))
 
 (defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4)
   "Returns T if monomial MONOM-LCM(M1,M2) divides MONOM-LCM(M3,M4), NIL otherwise."
   (declare (type monom m1 m2 m3 m4))
-  (every #'(lambda (x y z w) (declare (type exponent x y z w)) (<= (max x y) (max z w))) 
-         (monom-exponents m1)
-         (monom-exponents m2)
-         (monom-exponents m3)
-         (monom-exponents m4)))
+  (every #'(lambda (x y z w) (<= (max x y) (max z w))) 
+         m1 m2 m3 m4))
+         
 
 (defun monom-lcm-equal-monom-lcm-p (m1 m2 m3 m4)
   "Returns T if monomial MONOM-LCM(M1,M2) equals MONOM-LCM(M3,M4), NIL otherwise."
-  (declare (type monom m1 m2 m3 m4))
-  (every #'(lambda (x y z w) (declare (type exponent x y z w)) (= (max x y) (max z w)))
-         (monom-exponents m1)
-         (monom-exponents m2)
-         (monom-exponents m3)
-         (monom-exponents m4)))
+  (every #'(lambda (x y z w) (= (max x y) (max z w)))
+         m1 m2 m3 m4))
+
 
 (defun monom-divisible-by-p (m1 m2)
   "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
-  (declare (type monom m1 m2))
-   (every #'>= (monom-exponents m1) (monom-exponents m2)))
+  (every #'>= m1 m2))
 
 (defun monom-rel-prime-p (m1 m2)