Changeset 875

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monomial.lisp (modified) (2 diffs)

branches/f4grobner/monomial.lisp

@@ -131 +131 @@
 (defun monom-divides-monom-lcm-p (m1 m2 m3)
   "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise."
-  (every #'(lambda (x y z) (declare (type exponent x y z)) (<= x (max y z))) 
+  (every #'(lambda (x y z) (<= x (max y z))) 
          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) (<= (max x y) (max z w))) 
          m1 m2 m3 m4))
@@ -153 +152 @@
 (defun monom-rel-prime-p (m1 m2)
   "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
-  (every #'(lambda (x y) (declare (type exponent x y)) (zerop (min x y))) m1 m2))
+  (every #'(lambda (x y) (zerop (min x y))) m1 m2))
 
 (defun monom-equal-p (m1 m2)