source:
git/Tst/Short/ecyclic_6_32003_lp.tst
@
352a84b
Last change on this file since 352a84b was 75f460, checked in by , 9 years ago | |
---|---|
|
|
File size: 669 bytes |
Line | |
---|---|
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; |
14 | tst_status(1);$ |
15 |
Note: See TracBrowser
for help on using the repository browser.