1 | // $Id: fglm1_s.tst,v 1.2 1998-07-01 10:20:18 obachman Exp $ |
---|
2 | |
---|
3 | // |
---|
4 | // fglm_s.tst - short tests for fglm and stdfglm |
---|
5 | // fglm: reco1, omdi, cyclic5 in char 32003 and 0 |
---|
6 | // stdfglm: caprasse in char 32003 and 0 |
---|
7 | // |
---|
8 | |
---|
9 | |
---|
10 | LIB "tst.lib"; |
---|
11 | tst_init(); |
---|
12 | tst_ignore("CVS: $Id: fglm1_s.tst,v 1.2 1998-07-01 10:20:18 obachman Exp $"); |
---|
13 | |
---|
14 | option(redSB); |
---|
15 | |
---|
16 | // ================= |
---|
17 | // reco1, char 32003 |
---|
18 | ring r=32003,(x,y), dp; |
---|
19 | ideal i= jacob(x5+y11+xy9+x3y9); |
---|
20 | ideal is=std(i); |
---|
21 | ring s=32003,(x,y), lp; |
---|
22 | fglm(r,is); |
---|
23 | kill r,s; |
---|
24 | |
---|
25 | // ============= |
---|
26 | // reco1, char 0 |
---|
27 | ring r=0,(x,y), dp; |
---|
28 | ideal i= jacob(x5+y11+xy9+x3y9); |
---|
29 | ideal is=std(i); |
---|
30 | ring s=0,(x,y), lp; |
---|
31 | fglm(r,is); |
---|
32 | kill r,s; |
---|
33 | |
---|
34 | // =============================================== |
---|
35 | // omdi, char 32003, with permutation of variables |
---|
36 | ring r=32003,(a,b,c,u,v,w,x,y,z), dp; |
---|
37 | 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; |
---|
38 | ideal is=std(i); |
---|
39 | ring s=32003,(u,v,w,x,y,z,a,b,c), lp; |
---|
40 | fglm(r,is); |
---|
41 | kill r,s; |
---|
42 | |
---|
43 | // ============ |
---|
44 | // omdi, char 0 |
---|
45 | ring r=0,(a,b,c,u,v,w,x,y,z), dp; |
---|
46 | 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; |
---|
47 | ideal is=std(i); |
---|
48 | ring s=0,(a,b,c,u,v,w,x,y,z), lp; |
---|
49 | fglm(r,is); |
---|
50 | kill r,s; |
---|
51 | |
---|
52 | // ========================================================== |
---|
53 | // cyclic5, char 32003, with permutation of variables, Dp->lp |
---|
54 | ring r=32003,(a,b,c,d,e), Dp; |
---|
55 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
---|
56 | ideal is=std(i); |
---|
57 | ring s=32003,(b,d,e,c,a), lp; |
---|
58 | fglm(r, is); |
---|
59 | kill r,s; |
---|
60 | |
---|
61 | // =============== |
---|
62 | // cyclic5, char 0 |
---|
63 | ring r=0,(a,b,c,d,e), dp; |
---|
64 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
---|
65 | ideal is=std(i); |
---|
66 | ring s=0,(a,b,c,d,e), lp; |
---|
67 | fglm(r, is); |
---|
68 | kill r,s; |
---|
69 | |
---|
70 | // ======================= |
---|
71 | // cyclic5, char 0, Dp->dp |
---|
72 | ring r=0,(a,b,c,d,e), Dp; |
---|
73 | ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1; |
---|
74 | ideal is=std(i); |
---|
75 | ring s=0,(a,b,c,d,e), dp; |
---|
76 | fglm(r, is); |
---|
77 | kill r,s; |
---|
78 | |
---|
79 | // ======================================= |
---|
80 | // caprasse, char 32003, lp, using stdfglm |
---|
81 | ring r=32003,(x,y,z,t), dp; |
---|
82 | 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; |
---|
83 | stdfglm(i); |
---|
84 | kill r; |
---|
85 | |
---|
86 | // =================================== |
---|
87 | // caprasse, char 0, lp, using stdfglm |
---|
88 | ring r=0,(x,y,z,t), dp; |
---|
89 | 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; |
---|
90 | stdfglm(i); |
---|
91 | kill r; |
---|
92 | |
---|
93 | tst_status(1);$ |
---|