spielwiese
Release-4-3-2p2
|
Last change
on this file was
83b334,
checked in by Adi Popescu <adi_popescum@…>, 8 years ago
|
|
add tests (don't run them yet till i am ready with pshing all the changes into spielwiese)
|
-
Property mode set to
100644
|
|
File size:
239 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | ring r = integer,(v,w,t),dp; r; |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | ideal J = 2v, wt, vt-3v; |
|---|
| 6 | std(J); |
|---|
| 7 | //_[1]=2v |
|---|
| 8 | //_[2]=wt |
|---|
| 9 | //_[3]=vt-3v |
|---|
| 10 | NF( w*v, _); |
|---|
| 11 | |
|---|
| 12 | |
|---|
| 13 | groebner(J); |
|---|
| 14 | NF( w*v, _); |
|---|
| 15 | |
|---|
| 16 | // fixed BUG: (w*v) is missing S( wt, vt-3v) = 3wv |
|---|
| 17 | |
|---|
| 18 | tst_status(1);$ |
|---|
| 19 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
