source: git/Tst/Short/facstd.tst @ 29fc843

spielwiese
Last change on this file since 29fc843 was 341696, checked in by Hans Schönemann <hannes@…>, 14 years ago
Adding Id property to all files git-svn-id: file:///usr/local/Singular/svn/trunk@12231 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 3.5 KB
Line 
1LIB "tst.lib";
2tst_init();
3tst_ignore("CVS ID $Id$");
4option(prot);
5ring r=32003,(a,b,c,d,e,f),(C,dp);
6ideal i=
7a2cdf2,
8b2cdf2,
9a2bdf2,
10b3df2,
11a3df2,
12ab2df2,
13a2cde,
14b2cde,
15a2bde,
16b3de,
17a3de,
18ab2de,
19a2cd2,
20b2cd2,
21a2bd2,
22b3d2,
23a3d2,
24ab2d2,
25a2c2f2,
26b2c2f2,
27a2bcf2,
28b3cf2,
29a3cf2,
30ab2cf2,
31a2b2f2,
32b4f2,
33a3bf2,
34ab3f2,
35a4f2;
36std(i);
37facstd(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);
42std(i);
43facstd(i);
44
45
46
47ring r=32003,(a,b,c,d,e,f,g,h,j),(C,dp);
48ideal i=
49a+2b+c-d+g,
50f2gh-a,
51efg-c,
52fg2j-b,
53a+b+c+f+g-1,
543ad+3bd+2cd+df+dg-a-2b-c-g;
55std(i);
56facstd(i);
57
58
59
60ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp);
61ideal i=
62bv+su,
63bw+tu,
64sw+tv,
65by+sx,
66bz+tx,
67sz+ty,
68uy+vx,
69uz+wx,
70vz+wy;
71std(i);
72facstd(i);
73
74ring r=32003,(x,y,z),(C,dp);
75ideal i=
76xy2z2-1xy2z+xyz2-1xyz,
77xy3z+xy2z,
78xy4-1xy2,
79x2yz2-1x2yz,
80x2y3-1x2y2,
81x4z3-1x4z2+2x3z3-2x3z2+x2z3-1x2z2,
82x2y2z,
83x4yz+x3yz,
842x4y2+6x3y2+6x2y2+xy3+xy2,
85x5z+x4z2+x4z+2x3z2-1x3z+x2z2-1x2z,
86x6y+3x5y+3x4y+x3y;
87std(i);
88facstd(i);
89
90
91
92ring r=32003,(a,b,c,d,e,f),(C,dp);
93ideal i=
94adef+3/2be2f-1/2cef2,
95ad2f+5/4bdef+1/4cdf2,
96ad2e+3/4bde2+7/4cdef,
97acde+3/2bce2-1/2c2ef,
98acd2+5/4bcde+1/4c2df,
99abdf+3/2b2ef-1/2bcf2,
100abde+3/4b2e2-1acdf+1/2bcef-1/4c2f2,
101abd2+3/4b2de+7/4bcdf,
102abcd+3/2b2ce-1/2bc2f,
103a2df+5/4abef+1/4acf2,
104a2de+3/4abe2+7/4acef,
105a2d2-9/16b2e2+2acdf-9/8bcef+7/16c2f2,
106a2cd+5/4abce+1/4ac2f,
107a2bd+3/4ab2e+7/4abcf,
108bc3d+1/4cd3e,
109b2c2e-1/3bc3f+2/3cd2ef,
110b2c2d-1/2ad4-3/8bd3e-1/8cd3f,
111b3ce-1/3b2c2f+2/3bd2ef,
112b3cd+3/4bd3f,
113ac3e-1/3cde3,
114ac3d-3/4bc3e-1/2cd2e2+1/4c4f,
115abc2f-1cdef2,
116abc2e-1cde2f,
117ab2cf-1bdef2,
118ab3f-3bdf3,
119ab3d+3/4b4e-1/4b3cf-3/2bd2f2,
120a2c2e-2/3ade3-1/2be4+1/6ce3f,
121a2bcf+3/2be2f2-1/2cef3,
122a2bce+3/2be3f-1/2ce2f2,
123a2b2f-2adf3+3/2bef3-1/2cf4,
124a3ce+4/3ae3f,
125a3bf+4aef3,
126a4d+3/4a3be+1/4a3cf-2ae2f2;
127std(i);
128facstd(i);
129
130
131ring r=32003,(a,b,c,d,e,h),(C,dp);
132ideal 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;
138std(i);
139facstd(i);
140
141
142ring r= 23003,(t,u,w,x,y,z),lp;
143ideal i=
1442x2+2y2+2z2+2t2+u2-u,
145xy+2yz+2zt+2tu-t,
1462xz+2yt+t2+2zu-z,
1472xt+2zt+2yu-y,
1482x+2y+2z+2t+u-1;
149groebner(i);
150facstd(i);
151
152
153ring r =32003,(a,b,c,d,e,h),(C,dp);
154ideal i=
155a+b+c+d+e,
156de+1cd+1bc+1ae+1ab,
157cde+1bcd+1ade+1abe+1abc,
158bcde+1acde+1abde+1abce+1abcd,
159abcde-h5;
160std(i);
161facstd(i);
162
163
164ring r=0,(a,b,c,d,e,f,g,h,k,o),lp;
165ideal i=
166o+1,
167k4+k,
168hk,
169h4+h,
170gk,
171gh,
172g3+h3+k3+1,
173fk,
174f4+f,
175eh,
176ef,
177f3h3+e3k3+e3+f3+h3+k3+1,
178e3g+f3g+g,
179e4+e,
180dh3+dk3+d,
181dg,
182df,
183de,
184d3+e3+f3+1,
185e2g2+d2h2+c,
186f2g2+d2k2+b,
187f2h2+e2k2+a;
188groebner(i);
189facstd(i);
190
191
192ring r=32003,(a,b,c,d,e,f,g,h,j,k,l),(C,dp);
193ideal 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;
200std(i);
201facstd(i);
202
203ring r=0,(t,u,v,w,x,y,z),(C,dp);
204ideal i=
205yw-1/2zw+tw,
206-2/7uw2+10/7vw2-20/7w3+tu-5tv+10tw,
2072/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,
2126/7yw3-9/7zw3+36/7tw3-2xv2-4ytw+6ztw-24t2w+4xuw+2xvw-4xw2+56xy-35xz+84xt,
2132uvw-6v2w-uw2+13vw2-5w3+14yw-28tw,
214u2w-3uvw+5uw2+14yw-28tw,
215-2zuw-2tuw+4yvw+6zvw-2tvw-16yw2-10zw2+22tw2+42xw,
21628/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,
2198xyw-4xzw+8xtw;
220std(i);
221facstd(i);
222
223
224
225ring r=0,(a,b,c,d,u,v,w,x),lp;
226ideal i=
227a+b+c+d,
228u+v+w+x,
2293*(ab+ac+ad+bc+bd+cd)+2,
230a*(v+w+x)+b*(u+w+x)+c*(u+v+x)+d*(u+v+w),
231u*(bc+bd+cd)+v*(ac+ad+cd)+w*(ab+ad+bd)+x*(ab+ac+bc),
232abc+abd+acd+bcd,
233abcx+abwd+avcd+ubcd;
234groebner(i);
235facstd(i);
236
237
238
239tst_status(1);$
Note: See TracBrowser for help on using the repository browser.