fieker-DuValspielwiese
Last change
on this file since 56c0fe was
ef52d6,
checked in by Oleksandr Motsak <motsak@…>, 11 years ago
|
Update testsuite wrt current master (320c4f5e64cad778b4ada9556a9b0a6c71cab83a)
NOTE: some wrong/bad tests were removed...
TODO: add the reset of these updates after updating LIB/
|
-
Property mode set to
100644
|
File size:
916 bytes
|
Line | |
---|
1 | // |
---|
2 | // fglm_s.tst - long tests for fglm |
---|
3 | // fglm: cassou-mod1, lamm1 in char 0 |
---|
4 | // |
---|
5 | |
---|
6 | |
---|
7 | LIB "tst.lib"; |
---|
8 | tst_init(); |
---|
9 | |
---|
10 | option(redSB); |
---|
11 | |
---|
12 | // ========================= |
---|
13 | // cassou-mod1 in char 0 |
---|
14 | ring r=0,(a,b,c,d), dp; |
---|
15 | ideal i= 15a4bc2+6a4b3+21a4b2c-144a2b-8a2b2d-28a2bcd-648a2c+36c2d+9a4c3-120, 30b3a4c-32cd2b-720ca2b-24b3a2d-432b2a2+576db-576cd+16ba2c2d+16c2d2+16d2b2+9b4a4+5184+39c2a4b2+18c3a4b-432c2a2+24c3a2d-16b2a2cd-240b, 216ca2b-162c2a2-81b2a2+5184+1008db-1008cd+15b2a2cd-15b3a2d-80cd2b+40c2d2+40d2b2, 261+4ca2b-3c2a2-4b2a2+22db-22cd; |
---|
16 | ideal is=std(i); |
---|
17 | ring s=0,(a,b,c,d), lp; |
---|
18 | fglm(r,is); |
---|
19 | kill r,s; |
---|
20 | |
---|
21 | // ============================================= |
---|
22 | // lamm in char 0, with permutation of variables |
---|
23 | ring r=0,(x,y), dp; |
---|
24 | ideal i=45x8+3x7+39x6+30x5+13x4+41x3+5x2+46x+7, 49x7y+35xy7+37xy6+9y7+4x6+6y6+27x3y2+20xy4+31x4+33x2y+24x2+49y+43; |
---|
25 | ideal is=std(i); |
---|
26 | ring s=0,(y,x), lp; |
---|
27 | fglm(r,is); |
---|
28 | kill r,s; |
---|
29 | |
---|
30 | tst_status(1);$ |
---|
31 | |
---|
Note: See
TracBrowser
for help on using the repository browser.