source: git/Tst/Long/resol3.tst @ 1ebec3

spielwiese
Last change on this file since 1ebec3 was b79446c, checked in by Hans Schönemann <hannes@…>, 19 years ago
*hannes: resol.lib, zeta.lib -> resolve.lib, reszeta.lib git-svn-id: file:///usr/local/Singular/svn/trunk@8345 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 4.4 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"reszeta.lib";
5"============== A1";
6ring R=0,(x,y,z),dp;
7ideal I=x2+yz;   // A_1
8list L=resolve(I);
9zetaDL(L,1);
10zetaDL(L,2);
11kill L;kill R;
12
13"============== A2";
14ring R=0,(x,y,z),dp;
15ideal I=x2-y2+z3; // A_2
16list L=resolve(I);
17zetaDL(L,1);
18kill L;kill R;
19
20"============== A3";
21ring R=0,(x,y,z),dp;
22ideal I=x2-y2+z4; // A_3
23list L=resolve(I);
24zetaDL(L,1);
25kill L;kill R;
26
27"============== E6";
28ring R=0,(x,y,z),dp;
29ideal I=x3+y4-z2; // E_6
30list L=resolve(I);
31zetaDL(L,1);
32kill L;kill R;
33
34"============== E7";
35//ring R=0,(x,y,z),dp;
36//ideal I=x3+xy3-z2; // E_7  long
37//list L=resolve(I);
38//zetaDL(L,1);
39//kill L;kill R;
40
41"============== E8";
42//ring R=0,(x,y,z),dp;
43//ideal I=x3+y5-z2; // E_8 long
44//list L=resolve(I);
45//zetaDL(L,1);
46//kill L;kill R;
47
48"============== P8";
49ring R=0,(x,y,z),dp;
50ideal I=x3+y3-z3; // P_8
51list L=resolve(I);
52zetaDL(L,1);
53kill L;kill R;
54
55"============== X9";
56ring R=0,(x,y,z),dp;
57ideal I=x4-y4+z2; // X_9
58list L=resolve(I);
59zetaDL(L,1);
60kill L;kill R;
61
62"============== J10";
63ring R=0,(x,y,z),dp;
64ideal I=x3+y6-z2; // J_10
65list L=resolve(I);
66zetaDL(L,1);
67kill L;kill R;
68
69"============== D4";
70ring R=0,(x,y,z),dp;
71ideal I=x2y-y3+z2; // D_4
72list L=resolve(I);
73zetaDL(L,1);
74kill L;kill R;
75
76"============== D5";
77ring R=0,(x,y,z),dp;
78ideal I=x2y-y4+z2; // D_5
79list L=resolve(I);
80zetaDL(L,1);
81kill L;kill R;
82
83"============== D6";
84ring R=0,(x,y,z),dp;
85ideal I=x2y-y5+z2; // D_6       
86list L=resolve(I);
87zetaDL(L,1);
88kill L;kill R;
89
90"============== D7";
91ring R=0,(x,y,z),dp;
92ideal I=x2y-y6+z2; // D_7
93list L=resolve(I);
94zetaDL(L,1);
95kill L;kill R;
96
97"============== T444";
98ring R=0,(x,y,z),dp;
99ideal I=x4-y4+z4+xyz; // T_4,4,4
100list L=resolve(I);
101zetaDL(L,1);
102kill L;kill R;
103
104"============== T343";
105ring R=0,(x,y,z),dp;
106ideal I=x2y+y4+z3;
107list L=resolve(I);
108zetaDL(L,1);
109kill L;kill R;
110
111"============== T443";
112//ring R=0,(x,y,z),dp;  //hier gab es Probleme mit gcd
113//ideal I=x4-y4+z3;
114//list L=resolve(I);
115//zetaDL(L,1);
116//kill L;kill R;
117
118"============== W12";
119ring R=0,(x,y,z),dp;
120ideal I=x2y3+y5+x4+z2; //W12
121list L=resolve(I);
122zetaDL(L,1);
123kill L;kill R;
124
125"============== T345";
126ring R=0,(x,y,z),dp;
127ideal I=x3+y4+z5+xyz; // T3,4,5
128list L=resolve(I);
129zetaDL(L,1);
130kill L;kill R;
131
132"============== U12";
133ring R=0,(x,y,z),dp;
134ideal I=xyz2+z4+x3+y3; // U12
135list L=resolve(I);
136zetaDL(L,1);
137kill L;kill R;
138
139"============== U1,0";
140ring R=0,(x,y,z),dp;
141ideal I=xy3+y3z+x3+xz2; // U1,0
142list L=resolve(I);
143zetaDL(L,1);
144kill L;kill R;
145
146"============== W13";
147ring R=0,(x,y,z),dp;
148ideal I=y6+xy4+x4+z2; // W13
149list L=resolve(I);
150zetaDL(L,1);
151kill L;kill R;
152
153"============== Z12";
154ring R=0,(x,y,z),dp;
155ideal I=x2y3+xy4+x3y+z2; // Z12
156list L=resolve(I);
157zetaDL(L,1);
158kill L;kill R;
159
160"============== Z13";
161ring R=0,(x,y,z),dp;
162ideal I=xy5+y6+x3y+z2; // Z13
163list L=resolve(I);
164zetaDL(L,1);
165kill L;kill R;
166
167"============== Z11";
168ring R=0,(x,y,z),dp;
169ideal I=xy4+y5+x3y+z2; // Z11   
170list L=resolve(I);
171zetaDL(L,1);
172kill L;kill R;
173
174"============== xyz";
175ring R=0,(x,y,z),dp;
176ideal I=xyz;
177list L=resolve(I);
178zetaDL(L,1);
179kill L;kill R;
180
181"============== xy";
182ring R=0,(x,y,z),dp;
183ideal I=xy;
184list L=resolve(I);
185zetaDL(L,1);
186kill L;kill R;
187
188"============== xz(xy+z)";
189ring R=0,(x,y,z),dp;
190ideal I=xz*(xy+z);
191list L=resolve(I);
192zetaDL(L,1);
193kill L;kill R;
194
195"============== x2y2z+xyz2";
196ring R=0,(x,y,z),dp;
197ideal I=x2y2z+xyz2;
198list L=resolve(I);
199zetaDL(L,1);
200zetaDL(L,2);
201kill L;kill R;
202
203"============== Cayley cubic";
204ring R=0,(x,y,z),dp;
205ideal I=xy+xz+yz+xyz;  //Cayley cubic
206list L=resolve(I);
207zetaDL(L,1);
208kill L;kill R;
209
210"============== E12";
211ring R=0,(x,y,z),dp;
212ideal I=y7+xy5+x3+z2;  //E12   
213list L=resolve(I);
214zetaDL(L,1);
215kill L;kill R;
216
217"============== E13";
218ring R=0,(x,y,z),dp;
219ideal I=y8+xy5+x3+z2;  //E13 
220list L=resolve(I);
221zetaDL(L,1);
222kill L;kill R;
223
224"============== E14";
225ring R=0,(x,y,z),dp;
226ideal I=y8+xy6+x3+z2;  //E14
227list L=resolve(I);
228zetaDL(L,1);
229kill L;kill R;
230
231"============== Q10";
232ring R=0,(x,y,z),dp;
233ideal I=xy3+y4+x3+yz2;  //Q10
234list L=resolve(I);
235zetaDL(L,1);
236kill L;kill R;
237
238"============== Q11";
239ring R=0,(x,y,z),dp;
240ideal I=z5+xz3+x3+y2z;  //Q11
241list L=resolve(I);
242zetaDL(L,1);
243kill L;kill R;
244
245"============== Q12";
246ring R=0,(x,y,z),dp;
247ideal I=xy4+y5+x3+yz2;  //Q12
248list L=resolve(I);
249zetaDL(L,1);
250kill L;kill R;
251
252"============== S11";
253ring R=0,(x,y,z),dp;
254ideal I=x4+x3z+y2z+xz2;  //S11
255list L=resolve(I);
256zetaDL(L,1);
257kill L;kill R;
258
259"============== S12";
260ring R=0,(x,y,z),dp;
261ideal I=z5+xz3+x2y+y2z;  //S12 
262list L=resolve(I);
263zetaDL(L,1);
264kill L;kill R;
265
266
267tst_status(1);$
Note: See TracBrowser for help on using the repository browser.