source:
branches/f4grobner/test1.lisp@
4083
| Last change on this file since 4083 was 4083, checked in by , 9 years ago | |
|---|---|
| File size: 448 bytes | |
| Line | |
|---|---|
| 1 | (in-package :division) |
| 2 | |
| 3 | |
| 4 | (let ((f (string->poly "x^2" '(x y))) |
| 5 | ;;(y-sq (string->poly "y^2" '(x y))) |
| 6 | (fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) |
| 7 | ;;(quotients (cdr (string->poly "[x-y,0]" '(x y)))) |
| 8 | ) |
| 9 | (multiple-value-bind (f c division-count) |
| 10 | (step (normal-form f fl)) |
| 11 | (format t "Quotient: ~S~%" (->sexp f)) |
| 12 | (format t "Coefficient: ~S~%" c) |
| 13 | (format t "Division count: ~S~%" division-count))) |
Note:
See TracBrowser
for help on using the repository browser.
