Changeset 1576
- Timestamp:
- 2015-06-12T16:15:42-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1575 r1576 388 388 "Ideal saturation with 1 polynomial" 389 389 (let* (($poly_grobner_algorithm :buchberger) 390 (F (cdr (string->poly "[x^3*(y+z ),x^2*(y-z)]" '(x y z))))390 (F (cdr (string->poly "[x^3*(y+z^2),x^2*(y-z^2)]" '(x y z)))) 391 391 (p (string->poly "x" '(x y z))) 392 392 (ring *ring-of-integers*)
Note:
See TracChangeset
for help on using the changeset viewer.