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);$ |
---|