Changeset 1551 for branches/f4grobner
- Timestamp:
- 2015-06-12T15:44:12-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1550 r1551 303 303 (is-true (grobner-test ring-and-order gb fl)) 304 304 (is (every #'poly-equal-no-sugar-p (grobner ring-and-order fl) gb)) 305 (is (every #'poly-equal-no-sugar-p ( reduced-grobner ring-and-order fl) reduced-gb))))305 (is (every #'poly-equal-no-sugar-p (print (reduced-grobner ring-and-order fl)) (print reduced-gb))))) 306 306 307 307
Note:
See TracChangeset
for help on using the changeset viewer.