source:
git/Tst/Short/ecyclic_6_32003_lp.tst
@
010b3f
Last change on this file since 010b3f was c6963ca, checked in by , 14 years ago | |
---|---|
|
|
File size: 673 bytes |
Rev | Line | |
---|---|---|
[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, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31),lp; | |
5 | ideal MYIDEALNAME=x1+x2+x3+x4+x5+x6, | |
6 | x1*x7+x2*x8+x3*x9+x4*x10+x5*x11+x6*x12, | |
7 | x1*x7*x13+x2*x8*x14+x3*x9*x15+x4*x10*x16+x5*x11*x17+x6*x12*x18, | |
8 | x1*x7*x13*x19+x2*x8*x14*x20+x3*x9*x15*x21+x4*x10*x16*x22+x5*x11*x17*x23+x6*x12*x18*x24, | |
9 | x1*x7*x13*x19*x25+x2*x8*x14*x20*x26+x3*x9*x15*x21*x27+x4*x10*x16*x22*x28+x5*x11*x17*x23*x29+x6*x12*x18*x24*x30, | |
10 | x1*x7*x13*x19*x25*x31-1; | |
11 | option(redSB); | |
12 | slimgb(MYIDEALNAME); | |
13 | kill MYRINGNAME; | |
[c6963ca] | 14 | tst_status(1);$ |
15 |
Note: See TracBrowser
for help on using the repository browser.