source: git/Tst/Long/resol2.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: 8.7 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"zeta.lib";
5
6ring r = 0,(x(1..3)),dp(3);            //A10                 23 sec  30 Karten
7ideal J=x(3)^2+x(1)^2+x(2)^11;                                       
8list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
9                            "//=====A10                     2       7";
10
11ring r = 0,(x(1..3)),dp(3);            //A15                 20 sec  27 Karten
12ideal J=x(3)^2+x(1)^2+x(2)^16;                                       
13list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
14                            "//=====A15                     3      10";
15
16ring r = 0,(x(1..3)),dp(3);            //A19                 25 sec  33 Karten
17ideal J=x(3)^2+x(1)^2+x(2)^20;                                             
18list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
19                            "//=====A19                    7      12";
20
21ring r = 0,(x(1..3)),dp(3);            //E6                  17 sec  21 Karten
22ideal J=x(1)^3-x(2)^4+x(3)^2;                                           
23list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
24                             "//=====E6                     2       8";
25
26ring r = 0,(x(1..3)),dp(3);            //E7                  41 sec  41 Karten
27ideal J=x(1)^3-x(1)*x(2)^3+x(3)^2;                                         
28list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
29                            "//=====E7                    11      25";
30
31
32ring r = 0,(x(1..3)),dp(3);            //E8                  49 sec  51 Karten
33ideal J=x(1)^3-x(2)^5+x(3)^2;                                           
34list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
35                            "//=====E8                    14      28";
36
37ring r = 0,(x(1..3)),dp(3);
38ideal J=(x(1)*x(2)-x(3)^2)^2+x(1)^3*x(3)+x(2)^5;
39list L=resolve(J);intersectionDiv(L);kill L;kill r;   
40                          "//=====Jonny Wahl                   9    10  ";     
41
42
43ring r = 0,(x(1..3)),dp(3);               //D4               20 sec  20 Karten
44ideal J=x(1)^2*x(2)+x(2)^3+x(3)^2;                                 
45list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;
46                               "//=====D4                  4      11";
47
48ring r = 0,(x(1..3)),dp(3);               //D7               26 sec  31 Karten
49ideal J=x(1)^2*x(2)+x(2)^6+x(3)^2;                                       
50list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
51                             "//=====D7                  5      16";
52
53ring r = 0,(x(1..3)),dp(3);               //D10              51 sec  53 Karten
54ideal J=x(1)^2*x(2)+x(2)^9+x(3)^2;                                             
55list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r; 
56                              "//=====D10                 15      29 ";     
57
58ring r = 0,(x(1..3)),dp(3);               //D11              46 sec  51 Karten
59ideal J=x(1)^2*x(2)+x(2)^10+x(3)^2;                                     
60list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
61                            "//=====D11                 15      28 ";   
62
63ring r = 0,(x(1..3)),dp(3);               //D15              64 sec  71 Karten
64ideal J=x(1)^2*x(2)+x(2)^14+x(3)^2;                                           
65list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
66                             "//=====D15                 51      40 ";   
67
68ring r = 0,(x(1..3)),dp(3);               //Cayley cubic      5 sec   6 Karten
69ideal J=x(1)*x(2)+x(1)*x(3)+x(2)*x(3)+x(1)*x(2)*x(3);                         
70list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
71                             "//=====Cayley cubic              0       3 "; 
72
73ring r = 0,(x(1..3)),dp(3);               //P8                4 sec   6 Karten
74ideal J=x(1)^3+x(2)^3+x(1)*x(2)*x(3)+x(3)^3;                                   
75list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;     
76                           "//=====P8                  0       3       ";
77
78
79ring r = 0,(x(1..3)),dp(3);               //X9                  nicht 
80ideal J=x(1)^4+x(1)^2*x(2)^2+x(2)^4+x(3)^2;                                 
81list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
82                            "//===== X9                 0       2      "; 
83
84ring r = 0,(x(1..3)),dp(3);               //J10                 nicht
85ideal J=x(2)^6+x(1)^2*x(2)^2+x(1)^3+x(3)^2;                                   
86list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
87                            "//=====J10                  2       6       ";
88
89ring r = 0,(x(1..3)),dp(3);               //T3,4,5           19 sec  17 Karten
90ideal J=x(3)^5+x(2)^4+x(1)^3+x(1)*x(2)*x(3);                             
91list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
92                            "//=====T3,4,5                  1       3      ";
93
94ring r = 0,(x(1..3)),dp(3);               //E12                  Fehler
95ideal J=x(2)^7+x(1)*x(2)^5+x(1)^3+x(3)^2;                               
96list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;     
97                           "//=====E12                   5     10       ";
98
99ring r = 0,(x(1..3)),dp(3);               //E13                  Fehler
100ideal J=x(2)^8+x(1)*x(2)^5+x(1)^3+x(3)^2;                           
101list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;     
102                           "//=====E13                   2     11        ";
103
104ring r = 0,(x(1..3)),dp(3);               //E14               nicht (memory) 
105ideal J=x(2)^8+x(1)*x(2)^6+x(1)^3+x(3)^2;                             
106list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;     
107                           "//===== E14                 4     10        ";
108
109ring r = 0,(x(1..3)),dp(3);               //Z11                  Fehler 
110ideal J=x(1)*x(2)^4+x(2)^5+x(1)^3*x(2)+x(3)^2;                           
111list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
112                            "//=====Z11                   3      7        ";
113
114ring r = 0,(x(1..3)),dp(3);               //Z12                  Fehler 
115ideal J=x(1)^2*x(2)^3+x(1)*x(2)^4+x(1)^3*x(2)+x(3)^2;                 
116list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
117                            "//=====Z12                   1      7       ";
118
119ring r = 0,(x(1..3)),dp(3);               //Z13                  nicht
120ideal J=x(1)*x(2)^5+x(2)^6+x(1)^3*x(2)+x(3)^2;                                 
121list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
122                            "//=====Z13                  2       7        ";
123
124ring r = 0,(x(1..3)),dp(3);               //W12                  nicht
125ideal J=x(1)^2*x(2)^3+x(2)^5+x(1)^4+x(3)^2;                                   
126list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
127                            "//===== W12                 2       6    ";
128
129ring r = 0,(x(1..3)),dp(3);               //W13                  nicht
130ideal J=x(2)^6+x(1)*x(2)^4+x(1)^4+x(3)^2;                                     
131list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
132                            "//=====W13                   1       7        ";
133
134ring r = 0,(x(1..3)),dp(3);               //Q10              34 sec  34 Karten
135ideal J=x(1)*x(2)^3+x(2)^4+x(1)^3+x(2)*x(3)^2;                                 
136list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
137                             "//=====Q10                   3      7      ";
138
139ring r = 0,(x(1..3)),dp(3);               //Q11              15 sec  18 Karten
140ideal J=x(3)^5+x(1)*x(3)^3+x(1)^3+x(2)^2*x(3);             
141list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
142                             "//=====Q11                  0       8       ";
143
144ring r = 0,(x(1..3)),dp(3);               //Q12              20 sec  23 Karten
145ideal J=x(1)*x(2)^4+x(2)^5+x(1)^3+x(2)*x(3)^2;         
146list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
147                             "//=====Q12                  2       7       ";
148
149ring r = 0,(x(1..3)),dp(3);               //S11             1717 sec 41 Karten
150ideal J=x(1)^4+x(1)^3*x(3)+x(2)^2*x(3)+x(1)*x(3)^2;           
151list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
152                            "//=====S11                    2      7        ";
153
154ring r = 0,(x(1..3)),dp(3);               //S12              22 sec  22 Karten
155ideal J=x(3)^5+x(1)*x(3)^3+x(1)^2*x(2)+x(2)^2*x(3);               
156list L=resolve(J);intersectionDiv(L);spectralNeg(L);kill L;kill r;   
157                            "//=====S12                   2      8    ";
158
159tst_status(1);$
Note: See TracBrowser for help on using the repository browser.