1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | tst_ignore("CVS ID $Id: facstd.tst,v 1.1 2000-11-06 14:46:45 obachman Exp $"); |
---|
4 | option(prot); |
---|
5 | ring r=32003,(a,b,c,d,e,f),(C,dp); |
---|
6 | ideal i= |
---|
7 | a2cdf2, |
---|
8 | b2cdf2, |
---|
9 | a2bdf2, |
---|
10 | b3df2, |
---|
11 | a3df2, |
---|
12 | ab2df2, |
---|
13 | a2cde, |
---|
14 | b2cde, |
---|
15 | a2bde, |
---|
16 | b3de, |
---|
17 | a3de, |
---|
18 | ab2de, |
---|
19 | a2cd2, |
---|
20 | b2cd2, |
---|
21 | a2bd2, |
---|
22 | b3d2, |
---|
23 | a3d2, |
---|
24 | ab2d2, |
---|
25 | a2c2f2, |
---|
26 | b2c2f2, |
---|
27 | a2bcf2, |
---|
28 | b3cf2, |
---|
29 | a3cf2, |
---|
30 | ab2cf2, |
---|
31 | a2b2f2, |
---|
32 | b4f2, |
---|
33 | a3bf2, |
---|
34 | ab3f2, |
---|
35 | a4f2; |
---|
36 | std(i); |
---|
37 | facstd(i); |
---|
38 | |
---|
39 | ring r=32003,(x,y,z,u,v),(C,dp); |
---|
40 | poly p=x4+y4+z4+u4+v4+(x+y+z+u+v)^4; |
---|
41 | ideal i=jacob(p); |
---|
42 | std(i); |
---|
43 | facstd(i); |
---|
44 | |
---|
45 | |
---|
46 | |
---|
47 | ring r=32003,(a,b,c,d,e,f,g,h,j),(C,dp); |
---|
48 | ideal i= |
---|
49 | a+2b+c-d+g, |
---|
50 | f2gh-a, |
---|
51 | efg-c, |
---|
52 | fg2j-b, |
---|
53 | a+b+c+f+g-1, |
---|
54 | 3ad+3bd+2cd+df+dg-a-2b-c-g; |
---|
55 | std(i); |
---|
56 | facstd(i); |
---|
57 | |
---|
58 | |
---|
59 | |
---|
60 | ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp); |
---|
61 | ideal i= |
---|
62 | bv+su, |
---|
63 | bw+tu, |
---|
64 | sw+tv, |
---|
65 | by+sx, |
---|
66 | bz+tx, |
---|
67 | sz+ty, |
---|
68 | uy+vx, |
---|
69 | uz+wx, |
---|
70 | vz+wy; |
---|
71 | std(i); |
---|
72 | facstd(i); |
---|
73 | |
---|
74 | ring r=32003,(x,y,z),(C,dp); |
---|
75 | ideal i= |
---|
76 | xy2z2-1xy2z+xyz2-1xyz, |
---|
77 | xy3z+xy2z, |
---|
78 | xy4-1xy2, |
---|
79 | x2yz2-1x2yz, |
---|
80 | x2y3-1x2y2, |
---|
81 | x4z3-1x4z2+2x3z3-2x3z2+x2z3-1x2z2, |
---|
82 | x2y2z, |
---|
83 | x4yz+x3yz, |
---|
84 | 2x4y2+6x3y2+6x2y2+xy3+xy2, |
---|
85 | x5z+x4z2+x4z+2x3z2-1x3z+x2z2-1x2z, |
---|
86 | x6y+3x5y+3x4y+x3y; |
---|
87 | std(i); |
---|
88 | facstd(i); |
---|
89 | |
---|
90 | |
---|
91 | |
---|
92 | ring r=32003,(a,b,c,d,e,f),(C,dp); |
---|
93 | ideal i= |
---|
94 | adef+3/2be2f-1/2cef2, |
---|
95 | ad2f+5/4bdef+1/4cdf2, |
---|
96 | ad2e+3/4bde2+7/4cdef, |
---|
97 | acde+3/2bce2-1/2c2ef, |
---|
98 | acd2+5/4bcde+1/4c2df, |
---|
99 | abdf+3/2b2ef-1/2bcf2, |
---|
100 | abde+3/4b2e2-1acdf+1/2bcef-1/4c2f2, |
---|
101 | abd2+3/4b2de+7/4bcdf, |
---|
102 | abcd+3/2b2ce-1/2bc2f, |
---|
103 | a2df+5/4abef+1/4acf2, |
---|
104 | a2de+3/4abe2+7/4acef, |
---|
105 | a2d2-9/16b2e2+2acdf-9/8bcef+7/16c2f2, |
---|
106 | a2cd+5/4abce+1/4ac2f, |
---|
107 | a2bd+3/4ab2e+7/4abcf, |
---|
108 | bc3d+1/4cd3e, |
---|
109 | b2c2e-1/3bc3f+2/3cd2ef, |
---|
110 | b2c2d-1/2ad4-3/8bd3e-1/8cd3f, |
---|
111 | b3ce-1/3b2c2f+2/3bd2ef, |
---|
112 | b3cd+3/4bd3f, |
---|
113 | ac3e-1/3cde3, |
---|
114 | ac3d-3/4bc3e-1/2cd2e2+1/4c4f, |
---|
115 | abc2f-1cdef2, |
---|
116 | abc2e-1cde2f, |
---|
117 | ab2cf-1bdef2, |
---|
118 | ab3f-3bdf3, |
---|
119 | ab3d+3/4b4e-1/4b3cf-3/2bd2f2, |
---|
120 | a2c2e-2/3ade3-1/2be4+1/6ce3f, |
---|
121 | a2bcf+3/2be2f2-1/2cef3, |
---|
122 | a2bce+3/2be3f-1/2ce2f2, |
---|
123 | a2b2f-2adf3+3/2bef3-1/2cf4, |
---|
124 | a3ce+4/3ae3f, |
---|
125 | a3bf+4aef3, |
---|
126 | a4d+3/4a3be+1/4a3cf-2ae2f2; |
---|
127 | std(i); |
---|
128 | facstd(i); |
---|
129 | |
---|
130 | |
---|
131 | ring r=32003,(a,b,c,d,e,h),(C,dp); |
---|
132 | ideal i= |
---|
133 | -1ab-1b2-2de-2ch, |
---|
134 | -1ac-2bc-1e2-2dh, |
---|
135 | -1c2-1ad-2bd-2eh, |
---|
136 | -2cd-1ae-2be-1h2, |
---|
137 | -1d2-2ce-1ah-2bh; |
---|
138 | std(i); |
---|
139 | facstd(i); |
---|
140 | |
---|
141 | |
---|
142 | ring r= 23003,(t,u,w,x,y,z),lp; |
---|
143 | ideal i= |
---|
144 | 2x2+2y2+2z2+2t2+u2-u, |
---|
145 | xy+2yz+2zt+2tu-t, |
---|
146 | 2xz+2yt+t2+2zu-z, |
---|
147 | 2xt+2zt+2yu-y, |
---|
148 | 2x+2y+2z+2t+u-1; |
---|
149 | groebner(i); |
---|
150 | facstd(i); |
---|
151 | |
---|
152 | |
---|
153 | ring r =32003,(a,b,c,d,e,h),(C,dp); |
---|
154 | ideal i= |
---|
155 | a+b+c+d+e, |
---|
156 | de+1cd+1bc+1ae+1ab, |
---|
157 | cde+1bcd+1ade+1abe+1abc, |
---|
158 | bcde+1acde+1abde+1abce+1abcd, |
---|
159 | abcde-h5; |
---|
160 | std(i); |
---|
161 | facstd(i); |
---|
162 | |
---|
163 | |
---|
164 | ring r=0,(a,b,c,d,e,f,g,h,k,o),lp; |
---|
165 | ideal i= |
---|
166 | o+1, |
---|
167 | k4+k, |
---|
168 | hk, |
---|
169 | h4+h, |
---|
170 | gk, |
---|
171 | gh, |
---|
172 | g3+h3+k3+1, |
---|
173 | fk, |
---|
174 | f4+f, |
---|
175 | eh, |
---|
176 | ef, |
---|
177 | f3h3+e3k3+e3+f3+h3+k3+1, |
---|
178 | e3g+f3g+g, |
---|
179 | e4+e, |
---|
180 | dh3+dk3+d, |
---|
181 | dg, |
---|
182 | df, |
---|
183 | de, |
---|
184 | d3+e3+f3+1, |
---|
185 | e2g2+d2h2+c, |
---|
186 | f2g2+d2k2+b, |
---|
187 | f2h2+e2k2+a; |
---|
188 | groebner(i); |
---|
189 | facstd(i); |
---|
190 | |
---|
191 | |
---|
192 | ring r=32003,(a,b,c,d,e,f,g,h,j,k,l),(C,dp); |
---|
193 | ideal i= |
---|
194 | -2hjk+4ef+bj+ak, |
---|
195 | -2hjl+4eg+cj+al, |
---|
196 | -4fhj-4ehk-djk+2be+2af, |
---|
197 | -4ghj-4ehl-djl+2ce+2ag, |
---|
198 | -2dfj-2dek+ab, |
---|
199 | -2dgj-2del+ac; |
---|
200 | std(i); |
---|
201 | facstd(i); |
---|
202 | |
---|
203 | ring r=0,(t,u,v,w,x,y,z),(C,dp); |
---|
204 | ideal i= |
---|
205 | yw-1/2zw+tw, |
---|
206 | -2/7uw2+10/7vw2-20/7w3+tu-5tv+10tw, |
---|
207 | 2/7yw2-2/7zw2+6/7tw2-yt+zt-3t2, |
---|
208 | -2v3+4uvw+5v2w-6uw2-7vw2+15w3+42yv, |
---|
209 | -14zv-63yw+21zw-42tw+147x, |
---|
210 | -9/7uw3+45/7vw3-135/7w4+2zv2-2tv2-4zuw+10tuw-2zvw-28tvw+4zw2+86tw2-42yz |
---|
211 | +14z2+42yt-14zt-21xu+105xv-315xw, |
---|
212 | 6/7yw3-9/7zw3+36/7tw3-2xv2-4ytw+6ztw-24t2w+4xuw+2xvw-4xw2+56xy-35xz+84xt, |
---|
213 | 2uvw-6v2w-uw2+13vw2-5w3+14yw-28tw, |
---|
214 | u2w-3uvw+5uw2+14yw-28tw, |
---|
215 | -2zuw-2tuw+4yvw+6zvw-2tvw-16yw2-10zw2+22tw2+42xw, |
---|
216 | 28/3yuw+8/3zuw-20/3tuw-88/3yvw-8zvw+68/3tvw+52yw2+40/3zw2-44tw2-84xw, |
---|
217 | -4yzw+10ytw+8ztw-20t2w+12xuw-30xvw+15xw2, |
---|
218 | -y2w+1/2yzw+ytw-ztw+2t2w-3xuw+6xvw-3xw2, |
---|
219 | 8xyw-4xzw+8xtw; |
---|
220 | std(i); |
---|
221 | facstd(i); |
---|
222 | |
---|
223 | |
---|
224 | |
---|
225 | ring r=0,(a,b,c,d,u,v,w,x),lp; |
---|
226 | ideal i= |
---|
227 | a+b+c+d, |
---|
228 | u+v+w+x, |
---|
229 | 3*(ab+ac+ad+bc+bd+cd)+2, |
---|
230 | a*(v+w+x)+b*(u+w+x)+c*(u+v+x)+d*(u+v+w), |
---|
231 | u*(bc+bd+cd)+v*(ac+ad+cd)+w*(ab+ad+bd)+x*(ab+ac+bc), |
---|
232 | abc+abd+acd+bcd, |
---|
233 | abcx+abwd+avcd+ubcd; |
---|
234 | groebner(i); |
---|
235 | facstd(i); |
---|
236 | |
---|
237 | |
---|
238 | |
---|
239 | tst_status(1);$ |
---|