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

spielwiese
Last change on this file since 9091d3 was 9091d3, checked in by Hans Schönemann <hannes@…>, 18 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: 28.8 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"resol.lib";
5
6ring r = 0,(x(1..2)),dp;                //A2             
7ideal J=x(2)^2-x(1)^3;                                   
8list L=resolve(J,1);size(L[1]);kill L;kill r;
9                             "//=====A2                   0        1 ";
10       
11ring r = 0,(x(1..2)),dp;               //A3                  3 sec    4 Karten
12ideal J=x(2)^2-x(1)^4;                                       
13list L=resolve(J,1);size(L[1]);kill L;kill r;
14                              "//=====A3                   0        1";
15
16ring r = 0,(x(1..2)),dp;               //E8                  5 sec    6 Karten
17ideal J=x(2)^3-x(1)^5;                                 
18list L=resolve(J,1);size(L[1]);kill L;kill r;
19                            "//=====E8                    0        1";
20
21ring r = 0,(x(1..2)),dp;                //W#[1,3]            8 sec    9 Karten
22ideal J=(x(2)^2-x(1)^3)^2-x(1)^7;                                   
23list L=resolve(J,1);size(L[1]);kill L;kill r;
24                             "//=====W#[1,3]                   0        1";
25
26ring r = 0,(x(1..2)),dp;                //W#[1,14]       29201 sec   20 Karten
27ideal J=x(1)*x(2)^11+x(2)^6-2*x(1)^2*x(2)^3+x(1)^4;                   
28list L=resolve(J,1);size(L[1]);kill L;kill r;
29                               "//=====W#[1,14]                   3        1";
30
31ring r = 0,(x(1..2)),dp;                //W#[1,2]                nicht     
32ideal J=(x(2)^2-x(1)^3)^2-4*x(1)^5*x(2)-x(1)^7;                         
33list L=resolve(J,1);size(L[1]);kill L;kill r;
34                            "//=====W#[1,2]                    1        1";
35
36ring r = 0,(x(1..2)),dp;               //arti1                   nicht
37ideal J=(x(1)^2-x(2)^3)*((x(1)-1)^2+(x(2)-1)^3);
38list L=resolve(J,1,"E");size(L[1]);kill L;kill r;
39                              "//=====arti1                     2       1";
40
41ring r = 0,(x(1..2)),dp;               //arti2                   nicht
42ideal J=(x(1)^2-x(2)^3)*((x(1)-1)^2-(x(2)-1)^3);
43list L=resolve(J,1,"E");size(L[1]);kill L;kill r;
44                              "//=====arti2                      1      1";
45
46ring r = 0,(x(1..3)),dp(3);            //Whitney umbrella    11 sec  12 Karten
47ideal J=x(3)^2-x(2)*x(1)^2;                                       
48list L=resolve(J,1);size(L[1]);kill L;kill r;
49                            "//=====Whitney umbrella            2       7";
50 
51ring r = 0,(x(1..3)),dp(3);            //Villamayor           7 sec   9 Karten
52ideal J=x(3)^2-x(2)^2*x(1)^2;                                       
53list L=resolve(J,1);size(L[1]);kill L;kill r;
54                            "//=====Villamayor                0       2";
55
56ring r = 0,(x(1..3)),dp(3);            //A10                 23 sec  30 Karten
57ideal J=x(3)^2+x(1)^2+x(2)^11;                                       
58list L=resolve(J,1);size(L[1]);kill L;kill r;
59                            "//=====A10                     2       7";
60
61ring r = 0,(x(1..3)),dp(3);            //A15                 20 sec  27 Karten
62ideal J=x(3)^2+x(1)^2+x(2)^16;                                       
63list L=resolve(J,1);size(L[1]);kill L;kill r;
64                            "//=====A15                     3      10";
65
66ring r = 0,(x(1..3)),dp(3);            //A19                 25 sec  33 Karten
67ideal J=x(3)^2+x(1)^2+x(2)^20;                                             
68list L=resolve(J,1);size(L[1]);kill L;kill r;
69                            "//=====A19                    7      12";
70
71ring r = 0,(x(1..3)),dp(3);            //E6                  17 sec  21 Karten
72ideal J=x(1)^3-x(2)^4+x(3)^2;                                           
73list L=resolve(J,1);size(L[1]);kill L;kill r;
74                             "//=====E6                     2       8";
75
76ring r = 0,(x(1..3)),dp(3);            //E7                  41 sec  41 Karten
77ideal J=x(1)^3-x(1)*x(2)^3+x(3)^2;                                         
78list L=resolve(J,1);size(L[1]);kill L;kill r;
79                            "//=====E7                    11      25";
80
81
82ring r = 0,(x(1..3)),dp(3);            //E8                  49 sec  51 Karten
83ideal J=x(1)^3-x(2)^5+x(3)^2;                                           
84list L=resolve(J,1);size(L[1]);kill L;kill r;
85                            "//=====E8                    14      28";
86
87ring r = 0,(x(1..3)),dp(3);            //                    13 sec  15 Karten
88ideal J=x(3)^2-x(2)^3*x(1)^3;                                     
89list L=resolve(J,1);size(L[1]);kill L;kill r;
90                            "//=====                     3       6";
91
92ring r = 0,(x(1..3)),dp(3);            //                    57 sec  61 Karten
93ideal J=x(1)^6*x(2)^2+x(3)^3;                               
94list L=resolve(J,1);size(L[1]);kill L;kill r;
95                            "//=====                    19      35";
96
97ring r = 0,(x(1..3)),dp(3);            //S13                 12 sec  15 Karten
98ideal J=x(3)^10+x(1)^2+x(2)^2,x(2)*x(3);                                     
99list L=resolve(J,1);size(L[1]);kill L;kill r;
100                            "//=====S13                     1       2 ";       
101
102ring r = 0,(x(1..3)),dp(3);            //T7                  14 sec  17 Karten
103ideal J=x(2)^3+x(3)^3+x(1)^2,x(2)*x(3);                                     
104list L=resolve(J,1);size(L[1]);kill L;kill r;
105                            "//=====T7                     1       2  ";     
106
107ring r = 0,(x(1..3)),dp(3);            //T8                 12 sec   15 Karten
108ideal J=x(3)^4+x(2)^3+x(1)^2,x(2)*x(3);                                       
109list L=resolve(J,1);size(L[1]);kill L;kill r;
110                            "//=====T8                    0        2 ";       
111
112ring r = 0,(x(1..3)),dp(3);            //T9                  15 sec  18 Karten
113ideal J=x(3)^5+x(2)^3+x(1)^2,x(2)*x(3);                                       
114list L=resolve(J,1);size(L[1]);kill L;kill r;
115                            "//=====T9                     1       2 ";       
116
117ring r = 0,(x(1..3)),dp(3);            //U7                  12 sec  14 Karten
118ideal J=x(1)^2+x(2)*x(3),x(3)^3+x(1)*x(2);                                     
119list L=resolve(J,1);size(L[1]);kill L;kill r; 
120                           "//=====U7                     1       2 ";       
121
122ring r = 0,(x(1..3)),dp(3);            //U8                  10 sec  11 Karten
123ideal J=x(3)^3+x(1)^2+x(2)*x(3),x(1)*x(2);                                     
124list L=resolve(J,1);size(L[1]);kill L;kill r; 
125                           "//=====U8                     0       3  ";     
126
127ring r = 0,(x(1..3)),dp(3);            //U9                  11 sec  12 Karten
128ideal J=x(1)^2+x(2)*x(3),x(3)^4+x(1)*x(2);                                     
129list L=resolve(J,1);size(L[1]);kill L;kill r; 
130                           "//=====U9                     1       2  ";     
131
132ring r = 0,(x(1..3)),dp(3);            //W8                  14 sec  16 Karten
133ideal J=x(3)^3+x(1)^2,x(2)^2+x(1)*x(3);                                       
134list L=resolve(J,1);size(L[1]);kill L;kill r; 
135                           "//=====W8                     0       1  ";     
136
137ring r = 0,(x(1..3)),dp(3);            //W9                   9 sec  10 Karten
138ideal J=x(2)*x(3)^2+x(1)^2,x(2)^2+x(1)*x(3);                                   
139list L=resolve(J,1);size(L[1]);kill L;kill r; 
140                           "//=====W9                     1       2 ";     
141
142ring r = 0,(x(1..3)),dp(3);            // Z9                  6 sec   8 Karten
143ideal J=x(3)^3+x(1)^2,x(3)^3+x(2)^2;
144list L=resolve(J,1);size(L[1]);kill L;kill r;   
145                               "//=====Z9                   1       2";       
146
147ring r = 0,(x(1..3)),dp(3);            //Z10                 11 sec  12 Karten
148ideal J=x(1)^2+x(2)*x(3)^2,x(2)^2+x(3)^2;                                     
149list L=resolve(J,1);size(L[1]);kill L;kill r; 
150                           "//===== Z10                    0       1";
151
152ring r = 0,(x(1..3)),dp(3);            //E12(2)              17 sec  16 Karten
153ideal J=x(3)^2-x(1)^2*x(2),x(3)*x(2)-x(1)^5,x(2)^2-x(3)*x(1)^3;               
154list L=resolve(J,1);size(L[1]);kill L;kill r;
155                              "//=====E12(2)                 1       1";
156
157ring r = 0,(x(1..3)),dp(3);            //W8*                 11 sec  11 Karten
158ideal J=x(3)^2-x(1)*x(2)^2,x(3)*x(2)-x(1)^3,x(2)^3-x(3)*x(1)^2;               
159list L=resolve(J,1);size(L[1]);kill L;kill r;
160                              "//=====W8*                     0       1";
161
162ring r = 0,(x(1..3)),dp(3);            //                    27 sec  29 Karten
163ideal J=(x(1)^2-x(2)^3)^2+x(3)^2;                                     
164list L=resolve(J,1);size(L[1]);kill L;kill r;   
165                          "//=====                     3       4";
166
167ring r = 0,(x(1..3)),dp(3);            //                    10 sec  13 Karten
168ideal J=x(1)^2*x(2)^4-2*x(1)^3*x(2)^2+x(1)^4+x(3)^2;                           
169list L=resolve(J,1);size(L[1]);kill L;kill r;   
170                          "//=====                     2       3";
171
172ring r = 0,(x(1..3)),dp(3);            //Corina               5 sec   7 Karten
173ideal J=x(1)^3-x(1)^2*x(3)-x(2)^2*x(3);                             
174list L=resolve(J,1);size(L[1]);kill L;kill r; 
175                           "//=====Corina                     0       2";
176
177ring r = 0,(x(1..3)),dp(3);            //coordinate axes      3 sec   3 Karten
178ideal J=x(1)*x(2),x(1)*x(3),x(2)*x(3);                                         
179list L=resolve(J,1);size(L[1]);kill L;kill r;   
180                         "//=====coordinate axes               0       3";
181
182ring r = 0,(x(1..3)),dp(3);            //A2 v L               8 sec  10 Karten
183ideal J=x(1)*x(3),x(2)*x(3),x(1)^2+x(2)^3;                                     
184list L=resolve(J,1);size(L[1]);kill L;kill r; 
185                           "//=====A2 v L                     0       2";
186
187ring r = 0,(x(1..3)),dp(3);            //E7 v L              10 sec  11 Karten
188ideal J=x(1)*x(3),x(2)*x(3),x(2)*(x(1)^3-x(2)^2);                             
189list L=resolve(J,1);size(L[1]);kill L;kill r;
190                            "//=====E7 v L                     0       3";
191ring r = 0,(x(1..3)),dp(3);
192ideal J=(x(1)*x(2)-x(3)^2)^2+x(1)^3*x(3)+x(2)^5;
193list L=resolve(J,1);size(L[1]);kill L;kill r; 
194                          "//=====Jonny Wahl                   9     10 ";     
195
196
197ring r = 0,(x(1..3)),dp(3);            //Anne                 7 sec  7 Karten
198ideal J=x(1)^2+x(2)^3,x(3)^2+x(1)*x(2)^4;                                     
199list L=resolve(J,1);size(L[1]);kill L;kill r;   
200                          "//=====Anne                     1       1 ";     
201
202ring r = 0,(x(1..3)),dp(3);            //Encinas              3 sec   4 Karten
203ideal J=-(x(3)^2-x(1)^3)^2-2*x(1)^7*x(2)-2*x(1)^4*x(2)*x(3)^2;                 
204list L=resolve(J,1);size(L[1]);kill L;kill r;
205                              "//=====Encinas                  1       1";
206
207ring r = 0,(x(1..3)),dp(3);            //Encinas               nicht
208ideal J=-(x(3)^2-x(1))^2-2*x(2)*x(3)^2*x(1)^2-2*x(1)^3*x(2);                   
209list L=resolve(J,1);size(L[1]);kill L;kill r;
210                              "//=====Encinas                  4       7";
211
212ring r = 0,(x(1..3)),dp(3);               //D4               20 sec  20 Karten
213ideal J=x(1)^2*x(2)+x(2)^3+x(3)^2;                                 
214list L=resolve(J,1);size(L[1]);kill L;kill r;
215                               "//=====D4                  4      11";
216
217ring r = 0,(x(1..3)),dp(3);               //D7               26 sec  31 Karten
218ideal J=x(1)^2*x(2)+x(2)^6+x(3)^2;                                       
219list L=resolve(J,1);size(L[1]);kill L;kill r;   
220                             "//=====D7                  5      16";
221
222ring r = 0,(x(1..3)),dp(3);               //D10              51 sec  53 Karten
223ideal J=x(1)^2*x(2)+x(2)^9+x(3)^2;                                             
224list L=resolve(J,1);size(L[1]);kill L;kill r; 
225                              "//=====D10                 15      29 ";     
226
227ring r = 0,(x(1..3)),dp(3);               //D11              46 sec  51 Karten
228ideal J=x(1)^2*x(2)+x(2)^10+x(3)^2;                                     
229list L=resolve(J,1);size(L[1]);kill L;kill r;   
230                            "//=====D11                 15      28 ";   
231
232ring r = 0,(x(1..3)),dp(3);               //D15              64 sec  71 Karten
233ideal J=x(1)^2*x(2)+x(2)^14+x(3)^2;                                           
234list L=resolve(J,1);size(L[1]);kill L;kill r;   
235                             "//=====D15                 51      40 ";   
236
237ring r = 0,(x(1..3)),dp(3);               //Cayley cubic      5 sec   6 Karten
238ideal J=x(1)*x(2)+x(1)*x(3)+x(2)*x(3)+x(1)*x(2)*x(3);                         
239list L=resolve(J,1);size(L[1]);kill L;kill r;   
240                             "//=====Cayley cubic              0       3 "; 
241
242ring r = 0,(x(1..3)),dp(3);               //Cox              20 sec  19 Karten
243ideal J=x(1)*x(2)*x(3)+x(3)^15;                           
244list L=resolve(J,1);size(L[1]);kill L;kill r;   
245                             "//=====Cox                  3      20 "; 
246
247ring r = 0,(x(1..3)),dp(3);               //Zariski        1026 sec  32 Karten
248ideal J=x(1)^2*x(2)^2+x(1)^2*x(3)^2+x(2)^2*x(3)^2
249        -2*x(1)*x(2)*x(3)*(x(1)+x(2)+x(3));                                   
250list L=resolve(J,1);size(L[1]);kill L;kill r;   
251                            "//=====Zariski                  3      12  ";
252
253ring r = 0,(x(1..3)),dp(3);               //Aoo               2 sec   3 Karten
254ideal J=x(2)^2+x(3)^2;                                               
255list L=resolve(J,1);size(L[1]);kill L;kill r;   
256                            "//=====Aoo                  0       1";
257
258ring r = 0,(x(1..3)),dp(3);               //Doo               11 sec 13 Karten
259ideal J=x(1)*x(2)^2+x(3)^2;                                           
260list L=resolve(J,1);size(L[1]);kill L;kill r;   
261                            "//=====Doo                   2      7  ";
262
263ring r = 0,(x(1..3)),dp(3);               //Too,5,2           40 sec 42 Karten
264ideal J=x(1)^2*x(2)^2+x(2)^5+x(3)^2;                                 
265list L=resolve(J,1);size(L[1]);kill L;kill r;   
266                            "//=====Too,5,2                   2      3   ";   
267
268ring r = 0,(x(1..3)),dp(3);               //W1,oo             73 sec 71 Karten
269ideal J=x(2)^4+x(1)^3*x(2)^2+x(3)^2;                 
270list L=resolve(J,1);size(L[1]);kill L;kill r;   
271                            "//=====W1,oo                   2      4  ";     
272
273ring r = 0,(x(1..3)),dp(3);               //T,oo,5,6          21 sec 20 Karten
274ideal J=x(1)*x(2)*x(3)+x(2)^5+x(3)^6;                                         
275list L=resolve(J,1);size(L[1]);kill L;kill r;   
276                            "//=====T,oo,5,6                  2     10 ";     
277
278ring r = 0,(x(1..3)),dp(3);               //Q5,oo               nicht
279ideal J=x(1)*x(3)^2+x(2)^3+x(1)^5*x(2)^2;                                 
280list L=resolve(J,1);size(L[1]);kill L;kill r;   
281                            "//=====Q5,oo                   4     10  ";     
282
283ring r = 0,(x(1..3)),dp(3);               //S1,oo             17 sec 18 Karten
284ideal J=x(2)^2*x(3)+x(1)*x(3)^2+x(1)^2*x(2)^2;                                 
285list L=resolve(J,1);size(L[1]);kill L;kill r;   
286                             "//=====S1,oo                   2      9 ";       
287
288ring r = 0,(x(1..3)),dp(3);               // Theo             sec  Karten
289ideal J=-x(1)^6-x(1)^3*x(3)+x(2)^2*x(3);                                       
290list L=resolve(J,1);size(L[1]);kill L;kill r;   
291                             "//=====Theo               9      21 ";         
292
293ring r = 0,(x(1..3)),dp(3);               // Theo2             sec  Karten
294ideal J=x(1)^8-x(1)^4*x(3)+x(2)^3*x(3);                                     
295list L=resolve(J,1);size(L[1]);kill L;kill r;   
296                             "//=====Theo2            391    46  ";         
297
298ring r = 0,(x(1..3)),dp(3);               //              sec  Karten
299ideal J=x(1)^2*x(2)-x(1)*x(2)^2-x(1)^2*x(3)+x(2)^2*x(3)
300        +x(1)*x(3)^2-x(2)*x(3)^2;                                     
301list L=resolve(J,1);size(L[1]);kill L;kill r; 
302                              "//=====               0     2  ";           
303
304ring r = 0,(x(1..3)),dp(3);               //Theo5              sec  Karten
305ideal J=-x(1)*x(2)^4+x(3)^3;                             
306list L=resolve(J,1);size(L[1]);kill L;kill r;   
307                             "//=====Theo5            12     23    ";         
308
309ring r = 0,(x(1..3)),dp(3);               //F2E8                 nicht
310ideal J=x(2)^5+x(1)*x(3)^3+x(2)^2*x(3)^2;             
311list L=resolve(J,1);size(L[1]);kill L;kill r;   
312                             "//=====F2E8                  11      21   ";
313
314ring r = 0,(x(1..3)),dp(3);               //J5,oo                nicht
315ideal J=x(2)^3+x(1)^5*x(2)^2+x(3)^2;                 
316list L=resolve(J,1);size(L[1]);kill L;kill r;   
317                             "//=====J5,oo                    5     10   ";   
318
319ring r = 0,(x(1..3)),dp(3);               //Z3,oo         Fehler in Procedur
320ideal J=x(1)*x(2)^3+x(1)^5*x(2)^2+x(3)^2;                   
321list L=resolve(J,1);size(L[1]);kill L;kill r;   
322                             "//=====Z3,oo                    4      7  ";     
323
324
325ring r = 0,(x(1..3)),dp(3);               //P8                4 sec   6 Karten
326ideal J=x(1)^3+x(2)^3+x(1)*x(2)*x(3)+x(3)^3;                                   
327list L=resolve(J,1);size(L[1]);kill L;kill r;     
328                           "//=====P8                  0       3       ";
329
330
331ring r = 0,(x(1..3)),dp(3);               //X9                  nicht 
332ideal J=x(1)^4+x(1)^2*x(2)^2+x(2)^4+x(3)^2;                                 
333list L=resolve(J,1);size(L[1]);kill L;kill r;   
334                            "//===== X9                 0       2      "; 
335
336ring r = 0,(x(1..3)),dp(3);               //J10                 nicht
337ideal J=x(2)^6+x(1)^2*x(2)^2+x(1)^3+x(3)^2;                                   
338list L=resolve(J,1);size(L[1]);kill L;kill r;   
339                            "//=====J10                  2       6       ";
340
341ring r = 0,(x(1..3)),dp(3);               //T3,4,5           19 sec  17 Karten
342ideal J=x(3)^5+x(2)^4+x(1)^3+x(1)*x(2)*x(3);                             
343list L=resolve(J,1);size(L[1]);kill L;kill r;   
344                            "//=====T3,4,5                  1       3      ";
345
346ring r = 0,(x(1..3)),dp(3);               //E12                  Fehler
347ideal J=x(2)^7+x(1)*x(2)^5+x(1)^3+x(3)^2;                               
348list L=resolve(J,1);size(L[1]);kill L;kill r;     
349                           "//=====E12                   5     10       ";
350
351ring r = 0,(x(1..3)),dp(3);               //E13                  Fehler
352ideal J=x(2)^8+x(1)*x(2)^5+x(1)^3+x(3)^2;                           
353list L=resolve(J,1);size(L[1]);kill L;kill r;     
354                           "//=====E13                   2     11        ";
355
356ring r = 0,(x(1..3)),dp(3);               //E14               nicht (memory) 
357ideal J=x(2)^8+x(1)*x(2)^6+x(1)^3+x(3)^2;                             
358list L=resolve(J,1);size(L[1]);kill L;kill r;     
359                           "//===== E14                 4     10        ";
360
361ring r = 0,(x(1..3)),dp(3);               //Z11                  Fehler 
362ideal J=x(1)*x(2)^4+x(2)^5+x(1)^3*x(2)+x(3)^2;                           
363list L=resolve(J,1);size(L[1]);kill L;kill r;   
364                            "//=====Z11                   3      7        ";
365
366ring r = 0,(x(1..3)),dp(3);               //Z12                  Fehler 
367ideal J=x(1)^2*x(2)^3+x(1)*x(2)^4+x(1)^3*x(2)+x(3)^2;                 
368list L=resolve(J,1);size(L[1]);kill L;kill r;   
369                            "//=====Z12                   1      7       ";
370
371ring r = 0,(x(1..3)),dp(3);               //Z13                  nicht
372ideal J=x(1)*x(2)^5+x(2)^6+x(1)^3*x(2)+x(3)^2;                                 
373list L=resolve(J,1);size(L[1]);kill L;kill r;   
374                            "//=====Z13                  2       7        ";
375
376ring r = 0,(x(1..3)),dp(3);               //W12                  nicht
377ideal J=x(1)^2*x(2)^3+x(2)^5+x(1)^4+x(3)^2;                                   
378list L=resolve(J,1);size(L[1]);kill L;kill r;   
379                            "//===== W12                 2       6    ";
380
381ring r = 0,(x(1..3)),dp(3);               //W13                  nicht
382ideal J=x(2)^6+x(1)*x(2)^4+x(1)^4+x(3)^2;                                     
383list L=resolve(J,1);size(L[1]);kill L;kill r;   
384                            "//=====W13                   1       7        ";
385
386ring r = 0,(x(1..3)),dp(3);               //Q10              34 sec  34 Karten
387ideal J=x(1)*x(2)^3+x(2)^4+x(1)^3+x(2)*x(3)^2;                                 
388list L=resolve(J,1);size(L[1]);kill L;kill r;   
389                             "//=====Q10                   3      7      ";
390
391ring r = 0,(x(1..3)),dp(3);               //Q11              15 sec  18 Karten
392ideal J=x(3)^5+x(1)*x(3)^3+x(1)^3+x(2)^2*x(3);             
393list L=resolve(J,1);size(L[1]);kill L;kill r;   
394                             "//=====Q11                  0       8       ";
395
396ring r = 0,(x(1..3)),dp(3);               //Q12              20 sec  23 Karten
397ideal J=x(1)*x(2)^4+x(2)^5+x(1)^3+x(2)*x(3)^2;         
398list L=resolve(J,1);size(L[1]);kill L;kill r;   
399                             "//=====Q12                  2       7       ";
400
401ring r = 0,(x(1..3)),dp(3);               //S11             1717 sec 41 Karten
402ideal J=x(1)^4+x(1)^3*x(3)+x(2)^2*x(3)+x(1)*x(3)^2;           
403list L=resolve(J,1);size(L[1]);kill L;kill r;   
404                            "//=====S11                    2      7        ";
405
406ring r = 0,(x(1..3)),dp(3);               //S12              22 sec  22 Karten
407ideal J=x(3)^5+x(1)*x(3)^3+x(1)^2*x(2)+x(2)^2*x(3);               
408list L=resolve(J,1);size(L[1]);kill L;kill r;   
409                            "//=====S12                   2      8    ";
410
411ring r = 0,(x(1..3)),dp(3);               //U12               38 sec 33 Karten
412ideal J=x(1)*x(2)*x(3)^2+x(3)^4+x(1)^3+x(2)^3;             
413list L=resolve(J,1);size(L[1]);kill L;kill r;     
414                           "//=====U12                   2      7        ";
415
416ring r = 0,(x(1..3)),dp(3);               //J3,0                nicht (memory)
417ideal J=x(2)^9+x(1)^2*x(2)^3+x(1)^3+x(3)^2;           
418list L=resolve(J,1);size(L[1]);kill L;kill r;   
419                            "//===== J3,0                 12     14     ";
420
421ring r = 0,(x(1..3)),dp(3);               //J3,1                 nicht
422ideal J=x(2)^10+x(1)^2*x(2)^3+x(1)^3+x(3)^2;           
423list L=resolve(J,1);size(L[1]);kill L;kill r;   
424                            "//=====J3,1                     12     22   "; 
425
426ring r = 0,(x(1..3)),dp(3);               //Z1,0        Fehler (nach 15467 sec)
427ideal J=x(2)^7+x(1)^2*x(2)^3+x(1)^3*x(2)+x(3)^2;             
428list L=resolve(J,1);size(L[1]);kill L;kill r;   
429                            "//===== Z1,0                  10      11  "; 
430
431ring r = 0,(x(1..3)),dp(3);               //S1,1                   Fehler
432ideal J=x(2)^6+x(1)^2*x(2)^2+x(1)^2*x(3)+x(2)*x(3)^2;           
433list L=resolve(J,1);size(L[1]);kill L;kill r;     
434                           "//=====S1,1                       6       13";
435
436ring r = 0,(x(1..3)),dp(3);               //U1,0            4277 sec 38 Karten
437ideal J=x(1)*x(2)^3+x(2)^3*x(3)+x(1)^3+x(1)*x(3)^2;                           
438list L=resolve(J,1);size(L[1]);kill L;kill r;   
439                             "//=====U1,0                      1        6";
440
441ring r = 0,(x(1..3)),dp(3);               // E18               nicht (memory)
442ideal J=x(2)^10+x(1)*x(2)^7+x(1)^3+x(3)^2;                           
443list L=resolve(J,1);size(L[1]);kill L;kill r;     
444                           "//=====  E18                     7       14  ";
445
446ring r = 0,(x(1..3)),dp(3);               //W17                   Fehler
447ideal J=x(2)^7+x(1)*x(2)^5+x(1)^4+x(3)^2;               
448list L=resolve(J,1);size(L[1]);kill L;kill r;     
449                           "//=====W17                       7      16 ";
450
451ring r = 0,(x(1..3)),dp(3);               //U16              29 sec  26 Karten
452ideal J=x(2)^5+x(1)^2*x(2)^2+x(1)^3-x(1)*x(3)^2;         
453list L=resolve(J,1);size(L[1]);kill L;kill r;     
454                           "//=====U16                   8      13";
455
456ring r = 0,(x(1..6)),dp;                 //                      Fehler
457ideal J=x(1)*x(6),x(2)*x(6),x(3)*x(6),x(1)*x(5),x(2)*x(5),
458        x(3)*x(5),x(1)*x(4),x(2)*x(4),x(3)*x(4),x(2)^3-x(1)^2;
459list L=resolve(J,1);size(L[1]);kill L;kill r;
460                                "//=====                   3      10   ";
461
462ring r = 0,(x(1..6)),dp;                 //A4oo              31 sec  35 Karten
463ideal J=x(1)^5+x(2)^2+x(3)^2+x(4)^2+x(5)^2;
464list L=resolve(J,1);size(L[1]);kill L;kill r;
465                                "//=====A4oo                4      12    ";   
466
467ring r = 0,(x(1..6)),dp;                 //Theo1a           sec    Karten
468ideal J=-x(1)^6-x(1)^3*x(3)+x(2)^2*x(3)+x(4)^2;                               
469list L=resolve(J,1,"E");size(L[1]);kill L;kill r;
470                                "//=====Theo1a                  250    154";
471
472ring r = 0,(x(1..6)),dp;                 //Omega1            14 sec   6 Karten
473ideal J=x(1)*x(6)-x(2)*x(3),x(1)*x(4)-x(3)*x(5),x(2)*x(4)-x(5)*x(6);           
474list L=resolve(J,1);size(L[1]);kill L;kill r;
475                                "//=====Omega1                   0       6";
476
477ring r = 0,(x(1..6)),dp;                 //Omega3            44 sec  22 Karten
478ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(1)+x(4)^3)-x(3)*x(5),
479                           x(2)*(x(1)+x(4)^3)-x(5)*x(6);                 
480list L=resolve(J,1);size(L[1]);kill L;kill r;     
481                          "//=====Omega3                   2      16";
482
483ring r = 0,(x(1..6)),dp;                 //Pi3               48 sec  29 Karten
484ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(2)+x(5)^3)-x(3)^2,
485                           x(2)*(x(2)+x(5)^3)-x(3)*x(6);   
486list L=resolve(J,1);size(L[1]);kill L;kill r;   
487                           "//=====Pi3                   1      10";
488
489ring r = 0,(x(1..6)),dp;                 //Lamda             11 sec   5 Karten
490ideal J=x(1)*x(6)-x(2)*x(3),x(1)*x(2)-x(3)^2,
491                           x(2)^2-x(3)*x(6); 
492list L=resolve(J,1);size(L[1]);kill L;kill r;     
493                          "//===== Lamda                  0       2";
494
495ring r = 0,(x(1..6)),dp;        //cone over cubic scroll     11 sec   5 Karten
496ideal J=-x(2)^2+x(1)*x(4),-x(2)*x(3)+x(1)*x(5),
497             -x(3)*x(4)+x(2)*x(5);                                 
498list L=resolve(J,1);size(L[1]);kill L;kill r;   
499                           "//=====cone over cubic scroll      1       4";
500
501ring r = 0,(x(1..6)),dp;                 //A3#              149 sec  99 Karten
502ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(1)^4+x(2)^2)-x(3)*x(5),
503             x(2)*(x(1)^4+x(2)^2)-x(5)*x(6);                                   
504list L=resolve(J,1);size(L[1]);kill L;kill r;   
505                            "//=====/A3#                 122      81 //49 "; 
506
507ring r = 0,(x(1..6)),dp;                 //E8#              nicht (memory)
508ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(1)^3+x(2)^5)-x(3)*x(5),
509             x(2)*(x(1)^3+x(2)^5)-x(5)*x(6);                                   
510list L=resolve(J,1);size(L[1]);kill L;kill r;   
511                           "//=====E8#                   17      16 ";
512
513ring r = 0,(x(1..6)),dp;                 //D4#             1221 sec  98 Karten
514ideal J=-x(2)*x(3)+x(1)*x(6),x(1)^4+x(1)^2*x(2)^2-x(3)*x(5),
515             x(1)^3*x(2)+x(1)*x(2)^3-x(5)*x(6);                 
516list L=resolve(J,1);size(L[1]);kill L;kill r;   
517                           "//=====D4#                   2       9   ";     
518
519ring r = 0,(x(1..6)),dp;                 //D5#               nicht (memory)
520ideal J=-x(2)*x(3)+x(1)*x(6),x(1)^5+x(1)^2*x(2)^2-x(3)*x(5),
521             x(1)^4*x(2)+x(1)*x(2)^3-x(5)*x(6);         
522list L=resolve(J,1);size(L[1]);kill L;kill r;     
523                          "//=====/D5#                    6      11    ";
524
525ring r = 0,(x(1..6)),dp;                 //E6#                  nicht
526ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(1)^3+x(2)^4)-x(3)*x(5),
527             x(2)*(x(1)^3+x(2)^4)-x(5)*x(6);   
528list L=resolve(J,1);size(L[1]);kill L;kill r;   
529                           "//=====E6#                     32      17//16  ";
530
531ring r = 0,(x(1..6)),dp;                 //E7#                  nicht
532ideal J=x(1)*x(6)-x(2)*x(3),x(1)*(x(1)^3+x(1)*x(2)^3)-x(3)*x(5),
533             x(2)*(x(1)^3+x(1)*x(2)^3)-x(5)*x(6);   
534list L=resolve(J,1);size(L[1]);kill L;kill r;     
535                          "//===== E7#                    6      18   ";
536
537ring r = 0,(x(1..6)),dp;                 //cone over Veronese 28 sec  11 Karten
538ideal J=x(4)^2-x(3)*x(5),x(2)*x(4)-x(1)*x(5),x(2)*x(3)-x(1)*x(4),
539        x(2)^2-x(6)*x(5),x(1)*x(2)-x(6)*x(4),x(1)^2-x(6)*x(3);
540list L=resolve(J,1);size(L[1]);kill L;kill r;     
541                          "//=====cone over Veronese        1       3      ";
542
543ring r = 0,(x(1..9)),dp;                 //                  452 sec 183 Karten
544ideal J=x(6)*x(8)-x(5)*x(9),x(5)*x(7)-x(4)*x(8),x(3)*x(5)-x(2)*x(6),
545        x(2)*x(4)-x(1)*x(5),x(3)*x(4)*x(8)-x(1)*x(5)*x(9);
546list L=resolve(J,1,"E");size(L[1]);kill L;kill r;     
547                          "//=====                    14      61    "; 
548tst_status(1);$
549
550
Note: See TracBrowser for help on using the repository browser.