Changeset 1196
- Timestamp:
- 2015-06-11T10:26:45-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1195 r1196 225 225 (quotients (cdr (string->poly "[x-y,0]" '(x y))))) 226 226 (is (equalp (normal-form ring-and-order f fl) y-sq)) 227 (is (equalp ( print (multiple-value-list (poly-pseudo-divide ring-and-order f fl)))227 (is (equalp (multiple-value-list (poly-pseudo-divide ring-and-order f fl)) 228 228 (list quotients y-sq) 1 2)) 229 229 (is-false (buchberger-criterion ring-and-order fl))))
Note:
See TracChangeset
for help on using the changeset viewer.