- Timestamp:
- 2015-06-20T16:07:25-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r2676 r2680 42 42 43 43 (defmethod r-equalp ((self poly) (other poly)) 44 "POLY instances are R-EQUALP if they have the same 45 order and if all terms are R-EQUALP." 44 46 (and (every #'r-equalp (poly-termlist self) (poly-termlist other)) 45 47 (eq (poly-term-order self) (poly-term-order other))))
Note:
See TracChangeset
for help on using the changeset viewer.