spielwiese
|
Last change
on this file since bbb8fa4 was
bbb8fa4,
checked in by Janko Boehm <boehm@…>, 10 years ago
|
|
Added test for reesclos
|
-
Property mode set to
100644
|
|
File size:
467 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB "reesclos.lib"; |
|---|
| 5 | |
|---|
| 6 | ring r=0,(x,y),dp; |
|---|
| 7 | poly f=x^5+x^2*y^2+y^5; |
|---|
| 8 | ideal I=x*diff(f,x),y*diff(f,y); |
|---|
| 9 | list JJ=normalI(I); |
|---|
| 10 | JJ; |
|---|
| 11 | |
|---|
| 12 | kill r; |
|---|
| 13 | |
|---|
| 14 | ring r=0,(x,y),dp; |
|---|
| 15 | poly f=(x^2-y^3)^2+x*y^4; |
|---|
| 16 | ideal I=x*diff(f,x),y*diff(f,y); |
|---|
| 17 | list JJ=normalI(I); |
|---|
| 18 | JJ; |
|---|
| 19 | |
|---|
| 20 | kill r; |
|---|
| 21 | |
|---|
| 22 | ring r=0,(x,y),dp; |
|---|
| 23 | ideal I=x^5+x^5+y^3*x+x^2, y^6+y^5*x+x^6+y^5+y^4*x; |
|---|
| 24 | list JJ=normalI(I); |
|---|
| 25 | JJ; |
|---|
| 26 | |
|---|
| 27 | kill r; |
|---|
| 28 | |
|---|
| 29 | ring r=0,(x,y,z),dp; |
|---|
| 30 | ideal I =x^2*y,y^2*z,z^2*x; |
|---|
| 31 | list JJ=normalI(I); |
|---|
| 32 | JJ; |
|---|
| 33 | |
|---|
| 34 | tst_status(1); |
|---|
| 35 | $ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
