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/test7.lisp@ 4546

Last change on this file since 4546 was 4447, checked in by Marek Rychlik, 9 years ago
File size: 366 bytes
Line 
1(in-package :division)
2;; NORMAL-FORM(2*(X^2)+(-1)*X*Y+(-1)*X-4,[(X^3)+(-1)*(X^2)+2, (-2)*(X^2)+Y+1, (-3)*X+Z+5]) --> Y*Z+2*Y+Z+14
3(print
4 (poly->string
5 (second
6 (multiple-value-list
7 (poly-pseudo-divide (string->poly "2*(X^2)+(-1)*X*Y+(-1)*X-4" '(X Y Z))
8 (cdr (string->poly "[(X^3)+(-1)*(X^2)+2, (-2)*(X^2)+Y+1, (-3)*X+Z+5]" '(X Y Z))))))
9 '(X Y Z)))
10
Note: See TracBrowser for help on using the repository browser.