1 | // $Id$ |
---|
2 | |
---|
3 | // |
---|
4 | // stdUnivPGcd.in - some standard bases with parameters in char p. |
---|
5 | // |
---|
6 | // first time: lisi, second time: schlupp/ratchwum |
---|
7 | // timings made with Singular Version 1.1.5/6 |
---|
8 | // |
---|
9 | short=0; |
---|
10 | |
---|
11 | /////////////////////////// |
---|
12 | // example from singularTests/Beispiel (but with order dp instead of lp) |
---|
13 | // |
---|
14 | // codimension = 2 |
---|
15 | // dimension = 1 |
---|
16 | // degree = 45 |
---|
17 | // |
---|
18 | // w/o parameter: 0 sec 0 sec |
---|
19 | // std: 150 sec 122 sec |
---|
20 | // |
---|
21 | // time used for content: |
---|
22 | // gcd: 5.03 sec 4.59 sec |
---|
23 | // euclideanGcd: 4.67 sec 4.15 sec |
---|
24 | // subResGcd: 5.13 sec 4.52 sec |
---|
25 | // |
---|
26 | "untitled1(1/p/1)"; |
---|
27 | ring r=(32003,u),(t,x,y),dp; |
---|
28 | ideal i=x-t15,y-t21-ut25+2t29-4t33+3t37+96/5t41-87t45; |
---|
29 | option(prot); |
---|
30 | timer=1; |
---|
31 | ideal j=std(i); |
---|
32 | size(j); |
---|
33 | degree(j); |
---|
34 | system("gcdtime"); |
---|
35 | |
---|
36 | kill r; |
---|
37 | |
---|
38 | /////////////////////////// |
---|
39 | // Anborg 7 |
---|
40 | // |
---|
41 | // codimension = 3 |
---|
42 | // dimension = 0 |
---|
43 | // degree = 22 |
---|
44 | // |
---|
45 | // degrees up to 120 |
---|
46 | // |
---|
47 | // w/o parameter: 0 sec 0 sec |
---|
48 | // std: 80 sec |
---|
49 | // fglm: |
---|
50 | // |
---|
51 | // time used for content: |
---|
52 | // gcd: 4.52 sec |
---|
53 | // euclideanGcd: |
---|
54 | // subResGcd: |
---|
55 | // |
---|
56 | "anborg 7(1/p/1)"; |
---|
57 | ring r=(32003,u),(x,y,z),dp; |
---|
58 | ideal i= |
---|
59 | u3x2+yz+xy2z+xyz2+xyz+xy+xz+yz, |
---|
60 | ux2y2z+xy2z2+x2yz+xyz+yz+x+z, |
---|
61 | u2x2y2z2+x2y2z+xy2z+xyz+xz+z+1; |
---|
62 | option(prot); |
---|
63 | option(redSB); |
---|
64 | timer=1; |
---|
65 | ideal j=std(i); |
---|
66 | size(j); |
---|
67 | degree(j); |
---|
68 | system("gcdtime"); |
---|
69 | |
---|
70 | ring s=(32003,u),(x,y,z),lp; |
---|
71 | ideal k=fglm(r,j); |
---|
72 | system("gcdtime"); |
---|
73 | |
---|
74 | kill s; |
---|
75 | kill r; |
---|
76 | |
---|
77 | /////////////////////////// |
---|
78 | // coprasse |
---|
79 | // |
---|
80 | // codimension = 4 |
---|
81 | // dimension = 0 |
---|
82 | // degree = 56 |
---|
83 | // |
---|
84 | // w/o parameter: 0 sec 0 sec |
---|
85 | // std: 21 sec |
---|
86 | // fglm: |
---|
87 | // |
---|
88 | // time used for content: |
---|
89 | // gcd: 1.08 sec |
---|
90 | // euclideanGcd: |
---|
91 | // subResGcd: |
---|
92 | // |
---|
93 | "coprasse(1/p/1)"; |
---|
94 | ring r=(32003,u),(x,y,z,t),dp; |
---|
95 | ideal i= |
---|
96 | y2z+2xyt-2x-z, |
---|
97 | -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, |
---|
98 | 2uyzt+xt2-x-2z, |
---|
99 | -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2; |
---|
100 | option(prot); |
---|
101 | option(redSB); |
---|
102 | timer=1; |
---|
103 | ideal j=std(i); |
---|
104 | size(j); |
---|
105 | degree(j); |
---|
106 | system("gcdtime"); |
---|
107 | |
---|
108 | ring s=(32003,u),(x,y,z,t),lp; |
---|
109 | ideal k=fglm(r,j); |
---|
110 | system("gcdtime"); |
---|
111 | |
---|
112 | kill s; |
---|
113 | kill r; |
---|
114 | |
---|
115 | /////////////////////////// |
---|
116 | // inhomog cyclic 6 |
---|
117 | // |
---|
118 | // codimension = 4 |
---|
119 | // dimension = 2 |
---|
120 | // degree = 10 |
---|
121 | // |
---|
122 | // w/o parameter: 1 sec |
---|
123 | // std: 5050 sec |
---|
124 | // |
---|
125 | // time used for content: |
---|
126 | // gcd: 28.47 sec |
---|
127 | // euclideanGcd: 25.78 sec |
---|
128 | // subResGcd: 28.52 sec |
---|
129 | // |
---|
130 | "inhomog cyclic 6(1/p/1)"; |
---|
131 | ring r=(32003,u),(a,b,c,d,e,f),dp; |
---|
132 | ideal i= |
---|
133 | a+b+c+d+e+f, |
---|
134 | ab+bc+cd+de+ef+fa, |
---|
135 | abc+bcd+cde+d*e*f + efa + fab, |
---|
136 | uabcd+bcde+c*d*e*f+d*e*f*a + efab + fabc, |
---|
137 | abcde+b*c*d*e*f+c*d*e*f*a+d*e*f*a*b+efabc+fabcd, |
---|
138 | a*b*c*d*e*f; |
---|
139 | option(prot); |
---|
140 | timer=1; |
---|
141 | ideal j=std(i); |
---|
142 | size(j); |
---|
143 | degree(j); |
---|
144 | system("gcdtime"); |
---|
145 | |
---|
146 | kill r; |
---|
147 | |
---|
148 | /////////////////////////// |
---|
149 | // inhomog cyclic 5 |
---|
150 | // |
---|
151 | // codimension = 5 |
---|
152 | // dimension = 0 |
---|
153 | // degree = 70 |
---|
154 | // |
---|
155 | // relatively low degrees |
---|
156 | // |
---|
157 | // w/o parameter: 0 sec |
---|
158 | // std: 6.31 sec |
---|
159 | // fglm: |
---|
160 | // |
---|
161 | // time used for content: |
---|
162 | // gcd: 0.20 sec |
---|
163 | // euclideanGcd: |
---|
164 | // subResGcd: |
---|
165 | // |
---|
166 | "inhomog cyclic 5(1/p/1)"; |
---|
167 | ring r=(32003,u),(a,b,c,d,e),dp; |
---|
168 | ideal i= |
---|
169 | a+b+c+d+e, |
---|
170 | ab+bc+cd+de+ea, |
---|
171 | abc+bcd+cde+dea+eab, |
---|
172 | uabcd+bcde+cdea+deab+eabc, |
---|
173 | uabcde+1; |
---|
174 | option(prot); |
---|
175 | option(redSB); |
---|
176 | timer=1; |
---|
177 | ideal j=std(i); |
---|
178 | size(j); |
---|
179 | degree(j); |
---|
180 | system("gcdtime"); |
---|
181 | |
---|
182 | ring s=(32003,u),(a,b,c,d,e),lp; |
---|
183 | ideal k=fglm(r,j); |
---|
184 | system("gcdtime"); |
---|
185 | |
---|
186 | kill s; |
---|
187 | kill r; |
---|
188 | |
---|
189 | /////////////////////////// |
---|
190 | // inhomog cyclic 5(2) |
---|
191 | // |
---|
192 | // codimension = 5 |
---|
193 | // dimension = 0 |
---|
194 | // degree = 70 |
---|
195 | // |
---|
196 | // degrees up to 130 |
---|
197 | // |
---|
198 | // w/o parameter: 0 sec |
---|
199 | // std: |
---|
200 | // fglm: |
---|
201 | // |
---|
202 | // time used for content: |
---|
203 | // gcd: |
---|
204 | // euclideanGcd: |
---|
205 | // subResGcd: |
---|
206 | // |
---|
207 | "inhomog cyclic 5(1/p/2)"; |
---|
208 | ring r=(32003,u),(a,b,c,d,e),dp; |
---|
209 | ideal i= |
---|
210 | ua+b+c+d+e, |
---|
211 | ab+bc+cd+de+ea, |
---|
212 | abc+bcd+cde+dea+eab, |
---|
213 | (u+1)*abcd+bcde+cdea+deab+eabc, |
---|
214 | uabcde+1; |
---|
215 | option(prot); |
---|
216 | option(redSB); |
---|
217 | timer=1; |
---|
218 | ideal j=std(i); |
---|
219 | size(j); |
---|
220 | degree(j); |
---|
221 | system("gcdtime"); |
---|
222 | |
---|
223 | ring s=(32003,u),(a,b,c,d,e),lp; |
---|
224 | ideal k=fglm(r,j); |
---|
225 | system("gcdtime"); |
---|
226 | |
---|
227 | kill s; |
---|
228 | kill r; |
---|
229 | |
---|
230 | /////////////////////////// |
---|
231 | // symmetric 4 |
---|
232 | // |
---|
233 | // codimension = 4 |
---|
234 | // dimension = 0 |
---|
235 | // degree = 256 |
---|
236 | // |
---|
237 | // relatively low degrees |
---|
238 | // |
---|
239 | // w/o parameter: 0 sec |
---|
240 | // std: |
---|
241 | // fglm: |
---|
242 | // |
---|
243 | // time used for content: |
---|
244 | // gcd: |
---|
245 | // euclideanGcd: |
---|
246 | // subResGcd: |
---|
247 | // |
---|
248 | "symmetric 4(1/p/1)"; |
---|
249 | ring r=(32003,u),(a,b,c,d),dp; |
---|
250 | ideal i= |
---|
251 | (1+u+u^2)*a4-b4, |
---|
252 | b4-c4, |
---|
253 | uc4-d4, |
---|
254 | ua3b+b3c+c3d+d3a; |
---|
255 | option(prot); |
---|
256 | option(redSB); |
---|
257 | timer=1; |
---|
258 | ideal j=std(i); |
---|
259 | size(j); |
---|
260 | degree(j); |
---|
261 | system("gcdtime"); |
---|
262 | |
---|
263 | ring s=(32003,u),(a,b,c,d),lp; |
---|
264 | ideal k=fglm(r,j); |
---|
265 | system("gcdtime"); |
---|
266 | |
---|
267 | kill s; |
---|
268 | kill r; |
---|