Changeset 3589
- Timestamp:
- 2015-09-05T17:11:08-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3588 r3589 249 249 exponents1 exponents2 exponents3 exponents4)))))) 250 250 251 (defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom)) 252 "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise." 253 (with-slots ((exponents1 exponents)) 254 m1 255 (with-slots ((exponents2 exponents)) 256 m2 257 (with-slots ((exponents3 exponents)) 258 m3 259 (with-slots ((exponents4 exponents)) 260 m4 261 (every 262 #'(lambda (x y z w) (= (max x y) (max z w))) 263 exponents1 exponents2 exponents3 exponents4)))))) 251 (defgeneric monom-lcm-equal-lcm-p (object1 object2 object3 object4) 252 (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom)) 253 "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise." 254 (with-slots ((exponents1 exponents)) 255 m1 256 (with-slots ((exponents2 exponents)) 257 m2 258 (with-slots ((exponents3 exponents)) 259 m3 260 (with-slots ((exponents4 exponents)) 261 m4 262 (every 263 #'(lambda (x y z w) (= (max x y) (max z w))) 264 exponents1 exponents2 exponents3 exponents4))))))) 264 265 265 266 (defgeneric divisible-by-p (object1 object2)
Note:
See TracChangeset
for help on using the changeset viewer.