- Timestamp:
- 2015-06-17T18:11:15-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r2038 r2039 168 168 (make-instance 'monom :dim dim :exponents exponents))))) 169 169 170 171 172 (defun monom-divides-p (m1 m2) 170 (defmethod ring-divides-p ((m1 monom) (m2 monom)) 173 171 "Returns T if monomial M1 divides monomial M2, NIL otherwise." 174 (declare (type monom m1 m2)) 175 (every #'<= m1 m2)) 172 (with-slots ((exponents1 exponents)) 173 m1 174 (with-slots ((exponents2 exponents)) 175 m2 176 (every #'<= exponents1 exponents2)))) 176 177 177 178 (defun monom-divides-monom-lcm-p (m1 m2 m3)
Note:
See TracChangeset
for help on using the changeset viewer.