Changeset 700
- Timestamp:
- 2015-06-08T18:07:30-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r699 r700 139 139 (multiple-value-bind 140 140 (lm-greater lm-equal) 141 ( monomial-order(termlist-lm p) (termlist-lm q))141 (funcall (ro-order ring) (termlist-lm p) (termlist-lm q)) 142 142 (cond 143 143 (lm-equal … … 167 167 (multiple-value-bind 168 168 (mgreater mequal) 169 ( monomial-order(termlist-lm p) (termlist-lm q))169 (funcall (ro-order ring) (termlist-lm p) (termlist-lm q)) 170 170 (cond 171 171 (mequal
Note:
See TracChangeset
for help on using the changeset viewer.