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.
Rev | Line | |
---|
[4447] | 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.
Download in other formats: