Changeset 731
- Timestamp:
- 2015-06-08T20:39:01-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monomial.lisp
r730 r731 130 130 "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise." 131 131 (declare (type monom m1 m2 m3)) 132 (every #'(lambda (x y z) (declare (type exponent x y z)) (<= x (max y z))) m1 m2 m3)) 132 (every #'(lambda (x y z) (declare (type exponent x y z)) (<= x (max y z))) 133 (monom-exponents m1) 134 (monom-exponents m2) 135 (monom-exponents m3))) 133 136 134 137 (defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4)
Note:
See TracChangeset
for help on using the changeset viewer.