Changeset 1250
- Timestamp:
- 2015-06-11T15:29:33-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1225 r1250 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 (multiple-value-list (normal-form ring-and-order f fl)) (list y-sq 1 2)) 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))) 237 237 (is-false (buchberger-criterion ring-and-order fl)))) 238 238 239 (defun foo() 240 (let* ((f (string->poly "x^2" '(x y))) 241 (y-sq (string->poly "y^2" '(x y))) 242 (fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) 243 (ring *ring-of-integers*) 244 (order #'lex>) 245 (ring-and-order (make-ring-and-order :ring ring :order order)) 246 (quotients (cdr (string->poly "[x-y,0]" '(x y))))) 247 (poly-pseudo-divide ring-and-order f fl))) 248 239 249 240 250 (run! 'ngrobner-suite)
Note:
See TracChangeset
for help on using the changeset viewer.