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),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+x1*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12*x13*x14*x15; |
---|
19 | option(redSB); |
---|
20 | slimgb(MYIDEALNAME); |
---|
21 | kill MYRINGNAME; |
---|
22 | tst_status(1);exit; |
---|
23 | |
---|