| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "freegb.lib"; |
|---|
| 3 | ring r = 0,(x_1,x_2,x_3,x_4,x_5),Dp; |
|---|
| 4 | int upToDeg = 9; |
|---|
| 5 | def R = makeLetterplaceRing(upToDeg); |
|---|
| 6 | setring(R); |
|---|
| 7 | ideal Id = x_4*x_5*x_5-x_5*x_5*x_4, |
|---|
| 8 | x_3*x_5*x_5-x_5*x_5*x_3, |
|---|
| 9 | x_2*x_5*x_5-x_5*x_5*x_2, |
|---|
| 10 | x_1*x_5*x_5-x_5*x_5*x_1, |
|---|
| 11 | x_5*x_4*x_4-x_4*x_4*x_5, |
|---|
| 12 | x_3*x_5*x_4+x_5*x_3*x_4-x_4*x_3*x_5-x_4*x_5*x_3, |
|---|
| 13 | x_2*x_5*x_4+x_5*x_2*x_4-x_4*x_2*x_5-x_4*x_5*x_2, |
|---|
| 14 | x_1*x_5*x_4+x_5*x_1*x_4-x_4*x_1*x_5-x_4*x_5*x_1, |
|---|
| 15 | x_4*x_5*x_3+x_5*x_4*x_3-x_3*x_4*x_5-x_3*x_5*x_4, |
|---|
| 16 | x_5*x_3*x_3-x_3*x_3*x_5, |
|---|
| 17 | x_2*x_5*x_3+x_5*x_2*x_3-x_3*x_2*x_5-x_3*x_5*x_2, |
|---|
| 18 | x_1*x_5*x_3+x_5*x_1*x_3-x_3*x_1*x_5-x_3*x_5*x_1, |
|---|
| 19 | x_4*x_5*x_2+x_5*x_4*x_2-x_2*x_4*x_5-x_2*x_5*x_4, |
|---|
| 20 | x_3*x_5*x_2+x_5*x_3*x_2-x_2*x_3*x_5-x_2*x_5*x_3, |
|---|
| 21 | x_5*x_2*x_2-x_2*x_2*x_5, |
|---|
| 22 | x_1*x_5*x_2+x_5*x_1*x_2-x_2*x_1*x_5-x_2*x_5*x_1, |
|---|
| 23 | x_4*x_5*x_1+x_5*x_4*x_1-x_1*x_4*x_5-x_1*x_5*x_4, |
|---|
| 24 | x_3*x_5*x_1+x_5*x_3*x_1-x_1*x_3*x_5-x_1*x_5*x_3, |
|---|
| 25 | x_2*x_5*x_1+x_5*x_2*x_1-x_1*x_2*x_5-x_1*x_5*x_2, |
|---|
| 26 | x_5*x_1*x_1-x_1*x_1*x_5, |
|---|
| 27 | x_3*x_4*x_4-x_4*x_4*x_3, |
|---|
| 28 | x_2*x_4*x_4-x_4*x_4*x_2, |
|---|
| 29 | x_1*x_4*x_4-x_4*x_4*x_1, |
|---|
| 30 | x_4*x_3*x_3-x_3*x_3*x_4, |
|---|
| 31 | x_2*x_4*x_3+x_4*x_2*x_3-x_3*x_2*x_4-x_3*x_4*x_2, |
|---|
| 32 | x_1*x_4*x_3+x_4*x_1*x_3-x_3*x_1*x_4-x_3*x_4*x_1, |
|---|
| 33 | x_3*x_4*x_2+x_4*x_3*x_2-x_2*x_3*x_4-x_2*x_4*x_3, |
|---|
| 34 | x_4*x_2*x_2-x_2*x_2*x_4, |
|---|
| 35 | x_1*x_4*x_2+x_4*x_1*x_2-x_2*x_1*x_4-x_2*x_4*x_1, |
|---|
| 36 | x_3*x_4*x_1+x_4*x_3*x_1-x_1*x_3*x_4-x_1*x_4*x_3, |
|---|
| 37 | x_2*x_4*x_1+x_4*x_2*x_1-x_1*x_2*x_4-x_1*x_4*x_2, |
|---|
| 38 | x_4*x_1*x_1-x_1*x_1*x_4, |
|---|
| 39 | x_2*x_3*x_3-x_3*x_3*x_2, |
|---|
| 40 | x_1*x_3*x_3-x_3*x_3*x_1, |
|---|
| 41 | x_3*x_2*x_2-x_2*x_2*x_3, |
|---|
| 42 | x_1*x_3*x_2+x_3*x_1*x_2-x_2*x_1*x_3-x_2*x_3*x_1, |
|---|
| 43 | x_2*x_3*x_1+x_3*x_2*x_1-x_1*x_2*x_3-x_1*x_3*x_2, |
|---|
| 44 | x_3*x_1*x_1-x_1*x_1*x_3, |
|---|
| 45 | x_1*x_2*x_2-x_2*x_2*x_1, |
|---|
| 46 | x_2*x_1*x_1-x_1*x_1*x_2, |
|---|
| 47 | -x_1*x_3*x_2*x_4*x_5+x_2*x_3*x_1*x_4*x_5+x_1*x_2*x_4*x_3*x_5-x_2*x_1*x_4*x_3*x_5-x_1*x_3*x_4*x_2*x_5+x_2*x_3*x_4*x_1*x_5+x_3*x_1*x_4*x_2*x_5-x_3*x_2*x_4*x_1*x_5+x_1*x_3*x_2*x_4*x_5-x_2*x_3*x_1*x_4*x_5-x_1*x_4*x_2*x_3*x_5+x_2*x_4*x_1*x_3*x_5+x_1*x_4*x_3*x_2*x_5-x_2*x_4*x_3*x_1*x_5-x_3*x_4*x_1*x_2*x_5+x_3*x_4*x_2*x_1*x_5; |
|---|
| 48 | option(redTail); |
|---|
| 49 | option(redSB); |
|---|
| 50 | std(Id); |
|---|
| 51 | tst_status(1);$ |
|---|
