Changeset 3591
- Timestamp:
- 2015-09-05T17:15:00-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3590 r3591 220 220 (divide-by (copy-instance numerator) (multiply denominators))) 221 221 222 (defmethod monom-divides-p ((m1 monom) (m2 monom)) 223 "Returns T if monomial M1 divides monomial M2, NIL otherwise." 224 (with-slots ((exponents1 exponents)) 225 m1 226 (with-slots ((exponents2 exponents)) 227 m2 228 (every #'<= exponents1 exponents2)))) 222 (defgeneric divides-p (object1 object2) 223 (:documentation "Returns T if OBJECT1 divides OBJECT2.") 224 (:method ((m1 monom) (m2 monom)) 225 "Returns T if monomial M1 divides monomial M2, NIL otherwise." 226 (with-slots ((exponents1 exponents)) 227 m1 228 (with-slots ((exponents2 exponents)) 229 m2 230 (every #'<= exponents1 exponents2))))) 229 231 230 232 (defgeneric divides-lcm-p (object1 object2 object3)
Note:
See TracChangeset
for help on using the changeset viewer.