Changeset 4213
- Timestamp:
- 2016-06-04T13:17:45-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4212 r4213 85 85 86 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)))) 87 "Easy normal form tests" 88 (is (universal-zerop (normal-form (string->poly "0" '(x y)) (cdr (string->poly "[x,y]" '(x y)))))) 89 ;; Maxima equivalent: poly_normal_form(3*x^2*y-x*y-1,[x-y,x+y],[x,y]); 90 (is (universal-equalp (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y)))) 91 (string->poly "3*y^3-y^2-1" '(x y)))) 92 ;; Maxima equivalent: poly_normal_form(3*x^2*y*z-x*y^3-1,[x^2-2*y,x+y*z],[x,y,z]); 93 (is (universal-equalp (normal-form (string->poly "3*x^2*y*z-x*y^3-1" '(x y z)) 94 (cdr (string->poly "[x^2-2*y,x+y*z]" '(x y z)))) 95 (string->poly "y^4*z+6*y^2*z-1" '(x y z))))) 90 96 91 97 (def-fixture exact-division-context ()
Note:
See TracChangeset
for help on using the changeset viewer.