Changeset 1195
- Timestamp:
- 2015-06-11T08:26:07-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1194 r1195 226 226 (is (equalp (normal-form ring-and-order f fl) y-sq)) 227 227 (is (equalp (print (multiple-value-list (poly-pseudo-divide ring-and-order f fl))) 228 (list quotients y-sq) ))228 (list quotients y-sq) 1 2)) 229 229 (is-false (buchberger-criterion ring-and-order fl)))) 230 230
Note:
See TracChangeset
for help on using the changeset viewer.