spielwiese
|
Last change
on this file since 887634 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.
