- Timestamp:
- 2015-09-05T16:19:11-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3541 r3542 492 492 exponents coeff)))) 493 493 494 (defgeneric universal-equalp ((term1 term) (term2 term)) 494 (defmethod universal-equalp ((term1 term) (term2 term)) 495 "Returns T if TERM1 and TERM2 are equal as MONOM, and coefficients 496 are UNIVERSAL-EQUALP." 495 497 (and (call-next-method) 496 498 (universal-equalp (term-coeff term1) (term-coeff term2))))
Note:
See TracChangeset
for help on using the changeset viewer.