source: git/Tst/Long/resol1.tst

spielwiese
Last change on this file was 75f460, checked in by Hans Schoenemann <hannes@…>, 9 years ago
format
  • Property mode set to 100644
File size: 25.5 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"resolve.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.