Changeset 3588
- Timestamp:
- 2015-09-05T17:10:31-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3587 r3588 235 235 exponents1 exponents2 exponents3))) 236 236 237 (defgeneric lcm-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom)) 238 "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise." 239 (with-slots ((exponents1 exponents)) 240 m1 241 (with-slots ((exponents2 exponents)) 242 m2 243 (with-slots ((exponents3 exponents)) 244 m3 245 (with-slots ((exponents4 exponents)) 246 m4 247 (every #'(lambda (x y z w) (<= (max x y) (max z w))) 248 exponents1 exponents2 exponents3 exponents4)))))) 237 (defgeneric lcm-divides-lcm-p (object1 object2 object3 object4) 238 (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom)) 239 "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise." 240 (with-slots ((exponents1 exponents)) 241 m1 242 (with-slots ((exponents2 exponents)) 243 m2 244 (with-slots ((exponents3 exponents)) 245 m3 246 (with-slots ((exponents4 exponents)) 247 m4 248 (every #'(lambda (x y z w) (<= (max x y) (max z w))) 249 exponents1 exponents2 exponents3 exponents4)))))) 249 250 250 251 (defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
Note:
See TracChangeset
for help on using the changeset viewer.