Changeset 3596 for branches/f4grobner
- Timestamp:
- 2015-09-05T18:28:34-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3595 r3596 233 233 (:method ((m1 monom) (m2 monom) (m3 monom)) 234 234 "Returns T if monomial M1 divides LCM(M2,M3), NIL otherwise." 235 (every #'(lambda (x y z) (<= x (max y z))) 236 exponents1 exponents2 exponents3))) 235 (with-slots ((exponents1 exponents)) 236 m1 237 (with-slots ((exponents2 exponents)) 238 m2 239 (with-slots ((exponents3 exponents)) 240 m3 241 (every #'(lambda (x y z) (<= x (max y z))) 242 exponents1 exponents2 exponents3)))))) 237 243 238 244 (defgeneric lcm-divides-lcm-p (object1 object2 object3 object4)
Note:
See TracChangeset
for help on using the changeset viewer.