Changeset 734 for branches/f4grobner
- Timestamp:
- 2015-06-08T20:40:40-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monomial.lisp
r733 r734 161 161 "Returns T if two monomials M1 and M2 are relatively prime (disjoint)." 162 162 (declare (type monom m1 m2)) 163 (every #'(lambda (x y) (declare (type exponent x y)) (zerop (min x y))) m1 m2)) 163 (every #'(lambda (x y) (declare (type exponent x y)) (zerop (min x y))) 164 (monom-exponents m1) 165 (monom-exponents m2))) 164 166 165 167 (defun monom-equal-p (m1 m2)
Note:
See TracChangeset
for help on using the changeset viewer.