Changeset 1445
- Timestamp:
- 2015-06-12T10:53:16-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1444 r1445 299 299 (reduced-gb (cdr (string->poly "[y,x]" '(x y))))) 300 300 (is-true (grobner-test ring-and-order gb fl)) 301 (is (e qualp (grobner ring-and-order fl) gb))302 (is (e qualp (reduced-grobner ring-and-order fl) reduced-gb))))301 (is (every #'poly-equal-no-sugar-p (grobner ring-and-order fl) gb)) 302 (is (every #'poly-equal-no-sugar-p (reduced-grobner ring-and-order fl) reduced-gb)))) 303 303 304 304
Note:
See TracChangeset
for help on using the changeset viewer.