- Timestamp:
- 2015-06-11T12:43:55-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1224 r1225 232 232 (ring-and-order (make-ring-and-order :ring ring :order order)) 233 233 (quotients (cdr (string->poly "[x-y,0]" '(x y))))) 234 (is (equalp ( normal-form ring-and-order f fl) y-sq))234 (is (equalp (multiple-value-list (normal-form ring-and-order f fl)) (list y-sq 1 2)) 235 235 (is (equalp (multiple-value-list (poly-pseudo-divide ring-and-order f fl)) 236 236 (list quotients y-sq 1 2)))
Note:
See TracChangeset
for help on using the changeset viewer.