Changeset 1283
- Timestamp:
- 2015-06-11T20:21:10-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1282 r1283 235 235 (is (equalp (multiple-value-list (poly-pseudo-divide ring-and-order f fl)) 236 236 (list quotients y-sq 1 2))) 237 (is-false (buchberger-criterion ring-and-order fl)))) 237 (is-false (buchberger-criterion ring-and-order fl))) 238 (let ((f (string->poly "x^2-y^2" '(x y))) 239 (g (string->poly "x+y" '(x y))) 240 (h (string->poly "x-y" '(x y))) 241 (ring *ring-of-integers*)) 242 (is (equalp (poly-exact-divide ring f g) h)))) 238 243 239 244 (run! 'ngrobner-suite)
Note:
See TracChangeset
for help on using the changeset viewer.