close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

source: branches/f4grobner/test1.lisp@ 4451

Last change on this file since 4451 was 4110, checked in by Marek Rychlik, 8 years ago

* empty log message *
File size: 961 bytes
RevLine 
[4073]1(in-package :division)
2
[4084]3#+nil
[4073]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)
[4083]10 (step (normal-form f fl))
[4073]11 (format t "Quotient: ~S~%" (->sexp f))
12 (format t "Coefficient: ~S~%" c)
13 (format t "Division count: ~S~%" division-count)))
[4084]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)
[4110]21 (poly-pseudo-divide f fl)
[4088]22 (format t "Quotients: ~S~%" (poly->string (cons :[ a) '(x y)))
23 (format t "Remainder: ~S~%" (->sexp r '(x y)))
[4084]24 (format t "Coefficient: ~S~%" c)
25 (format t "Division count: ~S~%" division-count)))
Note: See TracBrowser for help on using the repository browser.