| 1 | // |
|---|
| 2 | // fglm_s.tst - short tests for fglm and stdfglm |
|---|
| 3 | // fglm: reco1, omdi, cyclic5 in char 32003 and 0 |
|---|
| 4 | // stdfglm: caprasse in char 32003 and 0 |
|---|
| 5 | // |
|---|
| 6 | |
|---|
| 7 | |
|---|
| 8 | LIB "tst.lib"; |
|---|
| 9 | tst_init(); |
|---|
| 10 | |
|---|
| 11 | option(redSB); |
|---|
| 12 | |
|---|
| 13 | // ================= |
|---|
| 14 | // reco1, char 32003 |
|---|
| 15 | ring r=32003,(x,y), dp; |
|---|
| 16 | ideal i= jacob(x5+y11+xy9+x3y9); |
|---|
| 17 | ideal is=std(i); |
|---|
| 18 | ring s=32003,(x,y), lp; |
|---|
| 19 | fglm(r,is); |
|---|
| 20 | kill r,s; |
|---|
| 21 | |
|---|
| 22 | // ============= |
|---|
| 23 | // reco1, char 0 |
|---|
| 24 | ring r=0,(x,y), dp; |
|---|
| 25 | ideal i= jacob(x5+y11+xy9+x3y9); |
|---|
| 26 | ideal is=std(i); |
|---|
| 27 | ring s=0,(x,y), lp; |
|---|
| 28 | fglm(r,is); |
|---|
| 29 | kill r,s; |
|---|
| 30 | |
|---|
| 31 | // =============================================== |
|---|
| 32 | // omdi, char 32003, with permutation of variables |
|---|
| 33 | ring r=32003,(a,b,c,u,v,w,x,y,z), dp; |
|---|
| 34 | ideal i=a+c+v+2x-1, ab+cu+2vw+2xy+2xz-2/3, ab2+cu2+2vw2+2xy2+2xz2-2/5, ab3+cu3+2vw3+2xy3+2xz3-2/7, ab4+cu4+2vw4+2xy4+2xz4-2/9, vw2+2xyz-1/9, vw4+2xy2z2-1/25, vw3+xyz2+xy2z-1/15, vw4+xyz3+xy3z-1/21; |
|---|
| 35 | ideal is=std(i); |
|---|
| 36 | ring s=32003,(u,v,w,x,y,z,a,b,c), lp; |
|---|
| 37 | fglm(r,is); |
|---|
| 38 | kill r,s; |
|---|
| 39 | |
|---|
| 40 | // ============ |
|---|
| 41 | // omdi, char 0 |
|---|
| 42 | ring r=0,(a,b,c,u,v,w,x,y,z), dp; |
|---|
| 43 | ideal i=a+c+v+2x-1, ab+cu+2vw+2xy+2xz-2/3, ab2+cu2+2vw2+2xy2+2xz2-2/5, ab3+cu3+2vw3+2xy3+2xz3-2/7, ab4+cu4+2vw4+2xy4+2xz4-2/9, vw2+2xyz-1/9, vw4+2xy2z2-1/25, vw3+xyz2+xy2z-1/15, vw4+xyz3+xy3z-1/21; |
|---|
| 44 | ideal is=std(i); |
|---|
| 45 | ring s=0,(a,b,c,u,v,w,x,y,z), lp; |
|---|
| 46 | fglm(r,is); |
|---|
| 47 | kill r,s; |
|---|
| 48 | |
|---|
| 49 | // ========================================================== |
|---|
| 50 | // cyclic5, char 32003, with permutation of variables, Dp->lp |
|---|
| 51 | ring r=32003,(a,b,c,d,e), Dp; |
|---|
| 52 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
|---|
| 53 | ideal is=std(i); |
|---|
| 54 | ring s=32003,(b,d,e,c,a), lp; |
|---|
| 55 | fglm(r, is); |
|---|
| 56 | kill r,s; |
|---|
| 57 | |
|---|
| 58 | // =============== |
|---|
| 59 | // cyclic5, char 0 |
|---|
| 60 | ring r=0,(a,b,c,d,e), dp; |
|---|
| 61 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
|---|
| 62 | ideal is=std(i); |
|---|
| 63 | ring s=0,(a,b,c,d,e), lp; |
|---|
| 64 | fglm(r, is); |
|---|
| 65 | kill r,s; |
|---|
| 66 | |
|---|
| 67 | // ======================= |
|---|
| 68 | // cyclic5, char 0, Dp->dp |
|---|
| 69 | ring r=0,(a,b,c,d,e), Dp; |
|---|
| 70 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
|---|
| 71 | ideal is=std(i); |
|---|
| 72 | ring s=0,(a,b,c,d,e), dp; |
|---|
| 73 | fglm(r, is); |
|---|
| 74 | kill r,s; |
|---|
| 75 | |
|---|
| 76 | // ======================================= |
|---|
| 77 | // caprasse, char 32003, lp, using stdfglm |
|---|
| 78 | ring r=32003,(x,y,z,t), dp; |
|---|
| 79 | ideal i= y2z+2xyt-2x-z, -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, 2yzt+xt2-x-2z, -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2; |
|---|
| 80 | stdfglm(i); |
|---|
| 81 | kill r; |
|---|
| 82 | |
|---|
| 83 | // =================================== |
|---|
| 84 | // caprasse, char 0, lp, using stdfglm |
|---|
| 85 | ring r=0,(x,y,z,t), dp; |
|---|
| 86 | ideal i= y2z+2xyt-2x-z, -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, 2yzt+xt2-x-2z, -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2; |
|---|
| 87 | stdfglm(i); |
|---|
| 88 | kill r; |
|---|
| 89 | |
|---|
| 90 | tst_status(1);$ |
|---|
