Changeset 3587
- Timestamp:
- 2015-09-05T17:09:44-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3586 r3587 243 243 (with-slots ((exponents3 exponents)) 244 244 m3 245 (every #'(lambda (x y z w) (<= (max x y) (max z w))) 246 m1 m2 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)))))) 247 249 248 250 (defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
Note:
See TracChangeset
for help on using the changeset viewer.