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