fieker-DuValspielwiese
|
Last change
on this file since 46a76b was
46a76b,
checked in by Karim Abou Zeid <karim.abou.zeid@…>, 5 years ago
|
|
Updated tests
|
-
Property mode set to
100644
|
|
File size:
250 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "freegb.lib"; |
|---|
| 3 | ring r = 0,(x,y,z),Dp; |
|---|
| 4 | int d =4; // degree bound |
|---|
| 5 | def R = makeLetterplaceRing(d); |
|---|
| 6 | setring R; |
|---|
| 7 | ideal I = x*y + y*z, x*x + x*y - y*x - y*y; |
|---|
| 8 | option(redSB); option(redTail); |
|---|
| 9 | ideal J = std(I); |
|---|
| 10 | J; |
|---|
| 11 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
