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.
| Line | |
|---|
| 1 | (in-package :5am-division)
|
|---|
| 2 |
|
|---|
| 3 | (let* ((f (string->poly "x^2" '(x y)))
|
|---|
| 4 | (y-sq (string->poly "y^2" '(x y)))
|
|---|
| 5 | (fl (cdr (string->poly "[x+y,x-2*y]" '(x y))))
|
|---|
| 6 | (quotients (cdr (string->poly "[x-y,0]" '(x y))))
|
|---|
| 7 | (one (make-instance 'rational-field :value 1)))
|
|---|
| 8 | (assert (universal-equalp (multiple-value-list (normal-form f fl)) (list y-sq one 2)))
|
|---|
| 9 | (assert (universal-equalp (multiple-value-list (poly-pseudo-divide f fl)) (list quotients y-sq one 2)))
|
|---|
| 10 | ;;(assert (buchberger-criterion fl))
|
|---|
| 11 | )
|
|---|
| 12 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
Download in other formats:
