[d5c4d0] | 1 | |
---|
| 2 | LIB "tst.lib"; |
---|
| 3 | tst_init(); |
---|
| 4 | ring MYRINGNAME=32003,(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16),lp; |
---|
| 5 | ideal MYIDEALNAME=x1+x2+x3, |
---|
| 6 | x1*x2+x2*x3+x3*x4, |
---|
| 7 | x1*x2*x3+x2*x3*x4+x3*x4*x5, |
---|
| 8 | x1*x2*x3*x4+x2*x3*x4*x5+x3*x4*x5*x6, |
---|
| 9 | x1*x2*x3*x4*x5+x2*x3*x4*x5*x6+x3*x4*x5*x6*x7, |
---|
| 10 | x1*x2*x3*x4*x5*x6+x2*x3*x4*x5*x6*x7+x3*x4*x5*x6*x7*x8, |
---|
| 11 | x1*x2*x3*x4*x5*x6*x7+x2*x3*x4*x5*x6*x7*x8+x3*x4*x5*x6*x7*x8*x9, |
---|
| 12 | x1*x2*x3*x4*x5*x6*x7*x8+x2*x3*x4*x5*x6*x7*x8*x9+x3*x4*x5*x6*x7*x8*x9*x10, |
---|
| 13 | x1*x2*x3*x4*x5*x6*x7*x8*x9+x2*x3*x4*x5*x6*x7*x8*x9*x10+x3*x4*x5*x6*x7*x8*x9*x10*x11, |
---|
| 14 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11+x3*x4*x5*x6*x7*x8*x9*x10*x11*x12, |
---|
| 15 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12+x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13, |
---|
| 16 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13+x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14, |
---|
| 17 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14+x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15, |
---|
| 18 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15+x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15*x16, |
---|
| 19 | x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15+x1*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15*x16+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15*x16; |
---|
| 20 | option(redSB); |
---|
| 21 | slimgb(MYIDEALNAME); |
---|
| 22 | kill MYRINGNAME; |
---|
| 23 | tst_status(1);exit; |
---|
| 24 | |
---|