source: git/Tst/Short/slimgb_rcyclic12_32003_dp.tst @ 1427f62

spielwiese
Last change on this file since 1427f62 was 75f460, checked in by Hans Schoenemann <hannes@…>, 9 years ago
format
  • Property mode set to 100644
File size: 813 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),dp;
5  ideal MYIDEALNAME=x1+x2+x3,
6x1*x2+x2*x3+x3*x4,
7x1*x2*x3+x2*x3*x4+x3*x4*x5,
8x1*x2*x3*x4+x2*x3*x4*x5+x3*x4*x5*x6,
9x1*x2*x3*x4*x5+x2*x3*x4*x5*x6+x3*x4*x5*x6*x7,
10x1*x2*x3*x4*x5*x6+x2*x3*x4*x5*x6*x7+x3*x4*x5*x6*x7*x8,
11x1*x2*x3*x4*x5*x6*x7+x2*x3*x4*x5*x6*x7*x8+x3*x4*x5*x6*x7*x8*x9,
12x1*x2*x3*x4*x5*x6*x7*x8+x2*x3*x4*x5*x6*x7*x8*x9+x3*x4*x5*x6*x7*x8*x9*x10,
13x1*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,
14x1*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,
15x1*x2*x3*x4*x5*x6*x7*x8*x9*x10*x11+x1*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12+x2*x3*x4*x5*x6*x7*x8*x9*x10*x11*x12;
16  option(redSB);
17  slimgb(MYIDEALNAME);
18  tst_status(1);$
Note: See TracBrowser for help on using the repository browser.