Changeset 3541
- Timestamp:
- 2015-09-05T16:17:09-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified branches/f4grobner/monom.lisp ΒΆ
r3540 r3541 137 137 (length (monom-exponents m)))) 138 138 139 (defgeneric monom-equalp (m1 m2)140 (:documentation "Returns T iff monomials M1 and M2 have identical EXPONENTS.")139 (defgeneric universal-equalp (object1 object2) 140 (:documentation "Returns T iff OBJECT1 and OBJECT2 are equal.") 141 141 (:method ((m1 monom) (m2 monom)) 142 "Returns T iff monomials M1 and M2 have identical EXPONENTS." 142 143 (equalp (monom-exponents m1) (monom-exponents m2)))) 143 144
Note:
See TracChangeset
for help on using the changeset viewer.