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@ 4526

Last change on this file since 4526 was 4460, checked in by Marek Rychlik, 9 years ago

* empty log message *
File size: 744 bytes
Line 
1(in-package :division)
2
3(proclaim '(special f fl))
4
5(setf f (string->poly "x^2" '(x y))
6 ;;y-sq (string->poly "y^2" '(x y))
7 fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))
8 ;;quotients (cdr (string->poly "[x-y,0]" '(x y)))
9 )
10(multiple-value-bind (f c division-count)
11 (normal-form f fl)
12 (format t "Quotient: ~S~%" (->sexp f))
13 (format t "Coefficient: ~S~%" c)
14 (format t "Division count: ~S~%" division-count))
15
16(multiple-value-bind (a r c division-count)
17 (poly-pseudo-divide f fl)
18 (format t "Quotients: ~S~%" (poly->string (cons :[ a) '(x y)))
19 (format t "Remainder: ~S~%" (->sexp r '(x y)))
20 (format t "Coefficient: ~S~%" c)
21 (format t "Division count: ~S~%" division-count))
Note: See TracBrowser for help on using the repository browser.