| blob | 181796c9feedfb7507d4b9904ffae3a16bfc3594 |
1 /* Generated from classen.cloog by CLooG v0.14.0 gmp bits in 1.54s. */
2 /* CLooG asked for 3980 KBytes. */
3 if (m >= 2) {
4 S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
5 S2(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
6 S3(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
7 S4(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
8 S8(coordT1 = 0,coordP1 = 1) ;
9 }
10 if (m == 1) {
11 S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
12 S8(coordT1 = 0,coordP1 = 1) ;
13 }
14 if (m >= 3) {
15 S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
16 S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
17 S2(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1,other3 = 2,other4 = 1,other5 = 3,other6 = 1) ;
18 S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
19 S4(coordT1 = 1,coordP1 = 1,other1 = 3,other2 = 2,other3 = 2,other4 = 1,other5 = 3,other6 = 2) ;
20 S6(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
21 S7(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
22 S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
23 S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
24 S3(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 3,other3 = 1,other4 = 2,other5 = 1,other6 = 3) ;
25 S4(coordT1 = 1,coordP1 = 2,other1 = 3,other2 = 3,other3 = 1,other4 = 2,other5 = 2,other6 = 3) ;
26 for (coordP1=1;coordP1<=2;coordP1++) {
27 S8(coordT1 = 1) ;
28 }
29 }
30 for (glT1=2;glT1<=m-2;glT1++) {
31 coordT1 = glT1-1 ;
32 other5 = glT1+1 ;
33 S5(coordP1 = 1,other1 = glT1,other2 = 1,other3 = glT1,other4 = 1,other6 = 1) ;
34 other1 = glT1+1 ;
35 S1(coordT1 = glT1,coordP1 = 1,other2 = 1) ;
36 local1 = glT1+1 ;
37 other1 = glT1+1 ;
38 other3 = glT1+1 ;
39 other5 = glT1+2 ;
40 S2(coordT1 = glT1,coordP1 = 1,other2 = 1,other4 = 1,other6 = 1) ;
41 other3 = glT1+1 ;
42 other5 = glT1+1 ;
43 S3(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
44 other1 = glT1+2 ;
45 other3 = glT1+1 ;
46 other5 = glT1+2 ;
47 S4(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
48 for (rp1=2;rp1<=glT1;rp1++) {
49 local1 = glT1-rp1+1 ;
50 coordT1 = glT1-1 ;
51 other3 = glT1-rp1+1 ;
52 other5 = glT1-rp1+2 ;
53 S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
54 local1 = glT1-rp1+2 ;
55 local2 = rp1-1 ;
56 coordT1 = glT1-1 ;
57 coordP1 = rp1-1 ;
58 other3 = glT1-rp1+2 ;
59 other4 = rp1-1 ;
60 other5 = glT1-rp1+2 ;
61 S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
62 other1 = glT1+1 ;
63 other3 = glT1-rp1+2 ;
64 other4 = rp1-1 ;
65 other5 = glT1-rp1+3 ;
66 S7(other2 = rp1,other6 = rp1) ;
67 other1 = glT1-rp1+2 ;
68 S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
69 local1 = glT1-rp1+2 ;
70 other1 = glT1+1 ;
71 other3 = glT1-rp1+2 ;
72 other5 = glT1-rp1+3 ;
73 S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
74 other2 = rp1+1 ;
75 other3 = glT1-rp1+2 ;
76 other5 = glT1-rp1+2 ;
77 other6 = rp1+1 ;
78 S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
79 other1 = glT1+2 ;
80 other2 = rp1+1 ;
81 other3 = glT1-rp1+2 ;
82 other5 = glT1-rp1+3 ;
83 other6 = rp1+1 ;
84 S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
85 }
86 rp1 = glT1+1 ;
87 coordT1 = glT1-1 ;
88 other2 = glT1+1 ;
89 other6 = glT1+1 ;
90 S6(coordP1 = glT1,other1 = glT1,other3 = 1,other4 = glT1,other5 = 1) ;
91 other1 = glT1+1 ;
92 other2 = glT1+1 ;
93 other6 = glT1+1 ;
94 S7(coordP1 = glT1,other3 = 1,other4 = glT1,other5 = 2) ;
95 coordP1 = glT1+1 ;
96 other2 = glT1+1 ;
97 S1(coordT1 = glT1,other1 = 1) ;
98 local2 = glT1+1 ;
99 coordP1 = glT1+1 ;
100 other1 = glT1+1 ;
101 other2 = glT1+1 ;
102 other4 = glT1+1 ;
103 other6 = glT1+1 ;
104 S2(coordT1 = glT1,other3 = 1,other5 = 2) ;
105 other2 = glT1+2 ;
106 other4 = glT1+1 ;
107 other6 = glT1+2 ;
108 S3(coordT1 = glT1,other3 = 1,other5 = 1) ;
109 other1 = glT1+2 ;
110 other2 = glT1+2 ;
111 other4 = glT1+1 ;
112 other6 = glT1+2 ;
113 S4(coordT1 = glT1,other3 = 1,other5 = 2) ;
114 for (coordP1=1;coordP1<=glT1+1;coordP1++) {
115 S8(coordT1 = glT1) ;
116 }
117 }
118 if (m >= 3) {
119 glT1 = m-1 ;
120 local1 = m-1 ;
121 coordT1 = m-2 ;
122 other1 = m-1 ;
123 other3 = m-1 ;
124 S5(coordP1 = 1,other2 = 1,other4 = 1,other5 = m,other6 = 1) ;
125 coordT1 = m-1 ;
126 S1(coordP1 = 1,other1 = m,other2 = 1) ;
127 coordT1 = m-1 ;
128 S3(coordP1 = 1,other1 = m,other2 = 2,other3 = m,other4 = 1,other5 = m,other6 = 2) ;
129 for (rp1=2;rp1<=m-1;rp1++) {
130 local1 = -rp1+m ;
131 coordT1 = m-2 ;
132 other1 = m-1 ;
133 other3 = -rp1+m ;
134 other5 = -rp1+m+1 ;
135 S5(coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
136 local1 = -rp1+m+1 ;
137 local2 = rp1-1 ;
138 coordT1 = m-2 ;
139 coordP1 = rp1-1 ;
140 other1 = m-1 ;
141 other3 = -rp1+m+1 ;
142 other4 = rp1-1 ;
143 other5 = -rp1+m+1 ;
144 S6(other2 = rp1,other6 = rp1) ;
145 other3 = -rp1+m+1 ;
146 other4 = rp1-1 ;
147 other5 = -rp1+m+2 ;
148 S7(other1 = m,other2 = rp1,other6 = rp1) ;
149 coordT1 = m-1 ;
150 other1 = -rp1+m+1 ;
151 S1(coordP1 = rp1,other2 = rp1) ;
152 local1 = -rp1+m+1 ;
153 coordT1 = m-1 ;
154 other3 = -rp1+m+1 ;
155 other5 = -rp1+m+2 ;
156 S2(coordP1 = rp1,other1 = m,other2 = rp1,other4 = rp1,other6 = rp1) ;
157 other2 = rp1+1 ;
158 other3 = -rp1+m+1 ;
159 other5 = -rp1+m+1 ;
160 other6 = rp1+1 ;
161 S3(coordP1 = rp1,other1 = m,other4 = rp1) ;
162 other1 = m+1 ;
163 other2 = rp1+1 ;
164 other3 = -rp1+m+1 ;
165 other5 = -rp1+m+2 ;
166 other6 = rp1+1 ;
167 S4(coordP1 = rp1,other4 = rp1) ;
168 }
169 local2 = m-1 ;
170 coordT1 = m-2 ;
171 coordP1 = m-1 ;
172 other1 = m-1 ;
173 other4 = m-1 ;
174 S6(other2 = m,other3 = 1,other5 = 1,other6 = m) ;
175 other4 = m-1 ;
176 S7(other1 = m,other2 = m,other3 = 1,other5 = 2,other6 = m) ;
177 coordT1 = m-1 ;
178 S1(coordP1 = m,other1 = 1,other2 = m) ;
179 coordT1 = m-1 ;
180 S2(coordP1 = m,other1 = m,other2 = m,other3 = 1,other4 = m,other5 = 2,other6 = m) ;
181 coordT1 = m-1 ;
182 for (coordP1=1;coordP1<=m;coordP1++) {
183 S8 ;
184 }
185 }
186 for (glT1=m;glT1<=2*m-4;glT1++) {
187 rp1 = glT1-m+2 ;
188 local1 = m-1 ;
189 local2 = glT1-m+2 ;
190 coordT1 = glT1-1 ;
191 coordP1 = glT1-m+2 ;
192 other2 = glT1-m+2 ;
193 other3 = m-1 ;
194 other4 = glT1-m+2 ;
195 other6 = glT1-m+2 ;
196 S5(other1 = glT1,other5 = m) ;
197 local2 = glT1-m+1 ;
198 coordT1 = glT1-1 ;
199 coordP1 = glT1-m+1 ;
200 other2 = glT1-m+2 ;
201 other4 = glT1-m+1 ;
202 other6 = glT1-m+2 ;
203 S6(other1 = glT1,other3 = m,other5 = m) ;
204 coordP1 = glT1-m+2 ;
205 other2 = glT1-m+2 ;
206 S1(coordT1 = glT1,other1 = m) ;
207 local2 = glT1-m+2 ;
208 coordP1 = glT1-m+2 ;
209 other1 = glT1+1 ;
210 other2 = glT1-m+3 ;
211 other4 = glT1-m+2 ;
212 other6 = glT1-m+3 ;
213 S3(coordT1 = glT1,other3 = m,other5 = m) ;
214 for (rp1=glT1-m+3;rp1<=m-1;rp1++) {
215 local1 = glT1-rp1+1 ;
216 coordT1 = glT1-1 ;
217 other3 = glT1-rp1+1 ;
218 other5 = glT1-rp1+2 ;
219 S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
220 local1 = glT1-rp1+2 ;
221 local2 = rp1-1 ;
222 coordT1 = glT1-1 ;
223 coordP1 = rp1-1 ;
224 other3 = glT1-rp1+2 ;
225 other4 = rp1-1 ;
226 other5 = glT1-rp1+2 ;
227 S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
228 other1 = glT1+1 ;
229 other3 = glT1-rp1+2 ;
230 other4 = rp1-1 ;
231 other5 = glT1-rp1+3 ;
232 S7(other2 = rp1,other6 = rp1) ;
233 other1 = glT1-rp1+2 ;
234 S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
235 local1 = glT1-rp1+2 ;
236 other1 = glT1+1 ;
237 other3 = glT1-rp1+2 ;
238 other5 = glT1-rp1+3 ;
239 S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
240 other2 = rp1+1 ;
241 other3 = glT1-rp1+2 ;
242 other5 = glT1-rp1+2 ;
243 other6 = rp1+1 ;
244 S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
245 other1 = glT1+2 ;
246 other2 = rp1+1 ;
247 other3 = glT1-rp1+2 ;
248 other5 = glT1-rp1+3 ;
249 other6 = rp1+1 ;
250 S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
251 }
252 local1 = glT1-m+1 ;
253 coordT1 = glT1-1 ;
254 other3 = glT1-m+1 ;
255 other5 = glT1-m+2 ;
256 S5(coordP1 = m,other1 = glT1,other2 = m,other4 = m,other6 = m) ;
257 local1 = glT1-m+2 ;
258 local2 = m-1 ;
259 coordT1 = glT1-1 ;
260 coordP1 = m-1 ;
261 other3 = glT1-m+2 ;
262 other4 = m-1 ;
263 other5 = glT1-m+2 ;
264 S6(other1 = glT1,other2 = m,other6 = m) ;
265 other1 = glT1+1 ;
266 other3 = glT1-m+2 ;
267 other4 = m-1 ;
268 other5 = glT1-m+3 ;
269 S7(other2 = m,other6 = m) ;
270 other1 = glT1-m+2 ;
271 S1(coordT1 = glT1,coordP1 = m,other2 = m) ;
272 local1 = glT1-m+2 ;
273 other1 = glT1+1 ;
274 other3 = glT1-m+2 ;
275 other5 = glT1-m+3 ;
276 S2(coordT1 = glT1,coordP1 = m,other2 = m,other4 = m,other6 = m) ;
277 for (coordP1=glT1-m+2;coordP1<=m;coordP1++) {
278 S8(coordT1 = glT1) ;
279 }
280 }
281 if (m >= 3) {
282 glT1 = 2*m-3 ;
283 rp1 = m-1 ;
284 local1 = m-1 ;
285 local2 = m-1 ;
286 coordT1 = 2*m-4 ;
287 coordP1 = m-1 ;
288 other1 = 2*m-3 ;
289 other2 = m-1 ;
290 other3 = m-1 ;
291 other4 = m-1 ;
292 other6 = m-1 ;
293 S5(other5 = m) ;
294 local2 = m-2 ;
295 coordT1 = 2*m-4 ;
296 coordP1 = m-2 ;
297 other1 = 2*m-3 ;
298 other2 = m-1 ;
299 other4 = m-2 ;
300 other6 = m-1 ;
301 S6(other3 = m,other5 = m) ;
302 coordT1 = 2*m-3 ;
303 coordP1 = m-1 ;
304 other2 = m-1 ;
305 S1(other1 = m) ;
306 local2 = m-1 ;
307 coordT1 = 2*m-3 ;
308 coordP1 = m-1 ;
309 other1 = 2*m-2 ;
310 other4 = m-1 ;
311 S3(other2 = m,other3 = m,other5 = m,other6 = m) ;
312 local1 = m-2 ;
313 coordT1 = 2*m-4 ;
314 other1 = 2*m-3 ;
315 other3 = m-2 ;
316 other5 = m-1 ;
317 S5(coordP1 = m,other2 = m,other4 = m,other6 = m) ;
318 local1 = m-1 ;
319 local2 = m-1 ;
320 coordT1 = 2*m-4 ;
321 coordP1 = m-1 ;
322 other1 = 2*m-3 ;
323 other3 = m-1 ;
324 other4 = m-1 ;
325 other5 = m-1 ;
326 S6(other2 = m,other6 = m) ;
327 other1 = 2*m-2 ;
328 other3 = m-1 ;
329 other4 = m-1 ;
330 S7(other2 = m,other5 = m,other6 = m) ;
331 coordT1 = 2*m-3 ;
332 other1 = m-1 ;
333 S1(coordP1 = m,other2 = m) ;
334 local1 = m-1 ;
335 coordT1 = 2*m-3 ;
336 other1 = 2*m-2 ;
337 other3 = m-1 ;
338 S2(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
339 coordT1 = 2*m-3 ;
340 for (coordP1=m-1;coordP1<=m;coordP1++) {
341 S8 ;
342 }
343 }
344 if (m == 2) {
345 S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
346 S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
347 S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
348 S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
349 S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
350 }
351 if (m >= 2) {
352 glT1 = 2*m-2 ;
353 local1 = m-1 ;
354 coordT1 = 2*m-3 ;
355 other1 = 2*m-2 ;
356 other3 = m-1 ;
357 S5(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
358 local2 = m-1 ;
359 coordT1 = 2*m-3 ;
360 coordP1 = m-1 ;
361 other1 = 2*m-2 ;
362 other4 = m-1 ;
363 S6(other2 = m,other3 = m,other5 = m,other6 = m) ;
364 coordT1 = 2*m-2 ;
365 S1(coordP1 = m,other1 = m,other2 = m) ;
366 coordT1 = 2*m-2 ;
367 S8(coordP1 = m) ;
368 }