Changeset 3152
- Timestamp:
- 2015-06-22T12:00:46-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r3151 r3152 53 53 (defmethod r-equalp ((term1 term) (term2 term)) 54 54 (and (r-equalp (scalar-coeff term1) (scalar-coeff term2)) 55 ( r-equalp (monom-exponents term1) (monom-exponentsterm2))56 ( r-equalp (monom-dimension term1) (monom-dimensionterm2))))55 (= (monom-dimension term1) (monom-dimension term2)) 56 (equalp (monom-exponents term1) (monom-exponents term2)))) 57 57 58 58
Note:
See TracChangeset
for help on using the changeset viewer.