spielwiese
|
Last change
on this file was
bdf2f9,
checked in by Karim Abou Zeid <karim23697@…>, 5 years ago
|
|
Update letterplace_std test
|
-
Property mode set to
100644
|
|
File size:
545 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "freegb.lib"; |
|---|
| 3 | |
|---|
| 4 | // 1 |
|---|
| 5 | ring r = 0,(x,y,z),Dp; |
|---|
| 6 | int degree_bound = 5; |
|---|
| 7 | def R = freeAlgebra(r,5); |
|---|
| 8 | setring R; |
|---|
| 9 | ideal I = -x*y-7*y*y+3*x*x, x*y*x-y*x*y; |
|---|
| 10 | std(I); |
|---|
| 11 | |
|---|
| 12 | kill r; |
|---|
| 13 | kill R; |
|---|
| 14 | |
|---|
| 15 | // 2 (c_4_1_7_W) |
|---|
| 16 | ring r = 0,(x4,x3,x2,x1),Dp; |
|---|
| 17 | def R = freeAlgebra(r, 7); |
|---|
| 18 | setring(R); |
|---|
| 19 | ideal I = x4*x4-25*x4*x2-x1*x4-6*x1*x3-9*x1*x2+x1*x1, |
|---|
| 20 | x4*x3+13*x4*x2+12*x4*x1-9*x3*x4+4*x3*x2+41*x3*x1-7*x1*x4-x1*x2, |
|---|
| 21 | x3*x3-9*x3*x2+2*x1*x4+x1*x1, |
|---|
| 22 | 17*x4*x2-5*x2*x2-41*x1*x4, |
|---|
| 23 | x2*x2-13*x2*x1-4*x1*x3+2*x1*x2-x1*x1, |
|---|
| 24 | x2*x1+4*x1*x2-3*x1*x1; |
|---|
| 25 | std(I); |
|---|
| 26 | |
|---|
| 27 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
