source: git/Tst/Long/resol7.tst @ 9091d3

spielwiese
Last change on this file since 9091d3 was 9091d3, checked in by Hans Schönemann <hannes@…>, 19 years ago
*hannes: Tests for resolution stuff git-svn-id: file:///usr/local/Singular/svn/trunk@8033 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 4.9 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"zeta.lib";
5"============== A1";
6ring R=0,(x,y,z),dp;
7ideal I=x2+yz;   // A_1
8list L=resolve(I,"A");
9zetaDL(L,1,"local");
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,"A");
17zetaDL(L,1,"local");
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,"A");
24zetaDL(L,1,"local");
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,"A");
31zetaDL(L,1,"local");
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,"A");
38//zetaDL(L,1,"local");
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,"A");
45//zetaDL(L,1,"local");
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,"A");
52zetaDL(L,1,"local");
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,"A");
59zetaDL(L,1,"local");
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,"A");
66zetaDL(L,1,"local");
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,"A");
73zetaDL(L,1,"local");
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,"A");
80zetaDL(L,1,"local");
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,"A");
87zetaDL(L,1,"local");
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,"A");
94zetaDL(L,1,"local");
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,"A");
101zetaDL(L,1,"local");
102kill L;kill R;
103
104"============== T343";
105ring R=0,(x,y,z),dp;
106ideal I=x2y+y4+z3;
107list L=resolve(I,"A");
108zetaDL(L,1,"local");
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,"A");
115//zetaDL(L,1,"local");
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,"A");
122zetaDL(L,1,"local");
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,"A");
129zetaDL(L,1,"local");
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,"A");
136zetaDL(L,1,"local");
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,"A");
143zetaDL(L,1,"local");
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,"A");
150zetaDL(L,1,"local");
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,"A");
157zetaDL(L,1,"local");
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,"A");
164zetaDL(L,1,"local");
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,"A");
171zetaDL(L,1,"local");
172kill L;kill R;
173
174"============== xyz";
175ring R=0,(x,y,z),dp;
176ideal I=xyz;
177list L=resolve(I,"A");
178zetaDL(L,1,"local");
179kill L;kill R;
180
181"============== xy";
182ring R=0,(x,y,z),dp;
183ideal I=xy;
184list L=resolve(I,"A");
185zetaDL(L,1,"local");
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,"A");
192zetaDL(L,1,"local");
193kill L;kill R;
194
195"============== x2y2z+xyz2";
196ring R=0,(x,y,z),dp;
197ideal I=x2y2z+xyz2;
198list L=resolve(I,"A");
199zetaDL(L,1,"local");
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,"A");
207zetaDL(L,1,"local");
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,"A");
214zetaDL(L,1,"local");
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,"A");
221zetaDL(L,1,"local");
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,"A");
228zetaDL(L,1,"local");
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,"A");
235zetaDL(L,1,"local");
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,"A");
242zetaDL(L,1,"local");
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,"A");
249zetaDL(L,1,"local");
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,"A");
256zetaDL(L,1,"local");
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,"A");
263zetaDL(L,1,"local");
264kill L;kill R;
265
266
267tst_status(1);$
Note: See TracBrowser for help on using the repository browser.