Changeset 4212
- Timestamp:
- 2016-06-04T13:09:09-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4172 r4212 84 84 (is-false (buchberger-criterion fl)))) 85 85 86 (test normal-form-easy 87 "An easy normal form" 88 (is (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y)))) 89 (string->poly "3*y^3-y^2-1" '(x y)))) 90 86 91 (def-fixture exact-division-context () 87 92 (let* ((f (string->poly "x^2-4*y^2" '(x y)))
Note:
See TracChangeset
for help on using the changeset viewer.