| Rev | Line | |
|---|
| 1 | (in-package :division)
|
|---|
| 2 |
|
|---|
| 3 | #+nil
|
|---|
| 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)))
|
|---|
| 14 |
|
|---|
| 15 | (let ((f (string->poly "x^2" '(x y)))
|
|---|
| 16 | ;;(y-sq (string->poly "y^2" '(x y)))
|
|---|
| 17 | (fl (cdr (string->poly "[x+y,x-2*y]" '(x y))))
|
|---|
| 18 | ;;(quotients (cdr (string->poly "[x-y,0]" '(x y))))
|
|---|
| 19 | )
|
|---|
| 20 | (multiple-value-bind (a r c division-count)
|
|---|
| 21 | (poly-pseudo-divide f fl)
|
|---|
| 22 | (format t "Quotients: ~S~%" (poly->string (cons :[ a) '(x y)))
|
|---|
| 23 | (format t "Remainder: ~S~%" (->sexp r '(x y)))
|
|---|
| 24 | (format t "Coefficient: ~S~%" c)
|
|---|
| 25 | (format t "Division count: ~S~%" division-count)))
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
