4 # real a(10,10),s1(10,10),s2(10),s3(10,10,10),s4(10,10)
9 # s1(i,j)=a(i,j)s4(j,i)**2
11 # s1(i,j)=s1(i,j-1)-s4(j,i)**2
17 # s2(i)=sqrt (s1(i,i-1))
22 # s3(i,k,l)=a(k,i)-(s4(l,k)*s4(l,i))
24 # s3(i,k,l)=s3(i,k,l-1)-(s4(l,k)*s4(l,i))
28 # s4(i,k)=a(k,i)/s2(i)
30 # s4(i,k)=s3(i,k,i-1)/s2(i)
40 # One parameter : n >= 10
44 # We want to set the parameter names...
46 # and 'n' is the name of the unique parameter
49 8 # Number of statements: 8.
52 # {i, j | 1<=i<=n; 1<=j<=i-1; j=1}
63 # {i, j | 1<=i<=n; 1<=j<=i-1; j!=1}
104 # {i, j | 1<=i<=n; i+1<=j<=n; 1<=k<=i-1; k=1}
109 1 -1 1 0 0 -1 # i+1<=j
112 1 1 0 -1 0 -1 # k<=i-1
117 # {i, j | 1<=i<=n; i+1<=j<=n; 1<=k<=i-1; k!=1}
122 1 -1 1 0 0 -1 # i+1<=j
125 1 1 0 -1 0 -1 # k<=i-1
131 1 -1 1 0 0 -1 # i+1<=j
134 1 1 0 -1 0 -1 # k<=i-1
139 # {i, j | 1<=i<=n; i+1<=j<=n; i=1}
150 # {i, j | 1<=i<=n; i+1<=j<=n; i!=1}
167 # We want to let CLooG set the iterator names.
171 # Scattering functions ALLOCATION + ORIGINAL SCHEDULING
173 # p c1 c2 c3 c4 c5 c6 i j n 1
174 0 1 0 0 0 0 0 0 -1 -1 0 1 # ins1 : i+j-1
175 0 0 1 0 0 0 0 0 -1 0 0 0 # i
176 0 0 0 1 0 0 0 0 0 0 0 0 # 0
177 0 0 0 0 1 0 0 0 0 -1 0 0 # j
178 0 0 0 0 0 1 0 0 0 0 0 0 # 0
179 0 0 0 0 0 0 1 0 0 0 0 0 # 0
180 0 0 0 0 0 0 0 1 0 0 0 0 # 0
183 # p c1 c2 c3 c4 c5 c6 i j n 1
184 0 1 0 0 0 0 0 0 -1 0 0 0 # ins2 : i
185 0 0 1 0 0 0 0 0 -1 0 0 0 # i
186 0 0 0 1 0 0 0 0 0 0 0 0 # 0
187 0 0 0 0 1 0 0 0 0 -1 0 0 # j
188 0 0 0 0 0 1 0 0 0 0 0 -1 # 1
189 0 0 0 0 0 0 1 0 0 0 0 0 # 0
190 0 0 0 0 0 0 0 1 0 0 0 0 # 0
193 # p c1 c2 c3 c4 c5 c6 i n 1
194 0 1 0 0 0 0 0 0 -1 0 1 # ins3 : i-1
195 0 0 1 0 0 0 0 0 -1 0 0 # i
196 0 0 0 1 0 0 0 0 0 0 -1 # 1
197 0 0 0 0 1 0 0 0 0 0 0 # 0
198 0 0 0 0 0 1 0 0 0 0 0 # 0
199 0 0 0 0 0 0 1 0 0 0 0 # 0
200 0 0 0 0 0 0 0 1 0 0 0 # 0
203 # p c1 c2 c3 c4 c5 c6 i n 1
204 0 1 0 0 0 0 0 0 0 0 0 # ins4 : 0
205 0 0 1 0 0 0 0 0 -1 0 0 # i
206 0 0 0 1 0 0 0 0 0 0 -2 # 2
207 0 0 0 0 1 0 0 0 0 0 0 # 0
208 0 0 0 0 0 1 0 0 0 0 0 # 0
209 0 0 0 0 0 0 1 0 0 0 0 # 0
210 0 0 0 0 0 0 0 1 0 0 0 # 0
213 # p c1 c2 c3 c4 c5 c6 i j k n 1
214 0 1 0 0 0 0 0 0 0 -1 -1 0 1 # ins 5 : j+k-1
215 0 0 1 0 0 0 0 0 -1 0 0 0 0 # i
216 0 0 0 1 0 0 0 0 0 0 0 0 -3 # 3
217 0 0 0 0 1 0 0 0 0 -1 0 0 0 # j
218 0 0 0 0 0 1 0 0 0 0 0 0 0 # 0
219 0 0 0 0 0 0 1 0 0 0 -1 0 0 # k
220 0 0 0 0 0 0 0 1 0 0 0 0 0 # 0
223 # p c1 c2 c3 c4 c5 c6 i j k n 1
224 0 1 0 0 0 0 0 0 0 0 -1 0 0 # ins 6 : k
225 0 0 1 0 0 0 0 0 -1 0 0 0 0 # i
226 0 0 0 1 0 0 0 0 0 0 0 0 -3 # 3
227 0 0 0 0 1 0 0 0 0 -1 0 0 0 # j
228 0 0 0 0 0 1 0 0 0 0 0 0 0 # 0
229 0 0 0 0 0 0 1 0 0 0 -1 0 0 # k
230 0 0 0 0 0 0 0 1 0 0 0 0 -1 # 1
233 # p c1 c2 c3 c4 c5 c6 i j n 1
234 0 1 0 0 0 0 0 0 -1 -1 0 0 # ins 7 : i+j
235 0 0 1 0 0 0 0 0 -1 0 0 0 # i
236 0 0 0 1 0 0 0 0 0 0 0 -3 # 3
237 0 0 0 0 1 0 0 0 0 -1 0 0 # j
238 0 0 0 0 0 1 0 0 0 0 0 -1 # 1
239 0 0 0 0 0 0 1 0 0 0 0 0 # 0
240 0 0 0 0 0 0 0 1 0 0 0 0 # 0
243 # p c1 c2 c3 c4 c5 c6 i j n 1
244 0 1 0 0 0 0 0 0 0 -1 0 0 # ins 8 : j
245 0 0 1 0 0 0 0 0 -1 0 0 0 # i
246 0 0 0 1 0 0 0 0 0 0 0 -3 # 3
247 0 0 0 0 1 0 0 0 0 -1 0 0 # j
248 0 0 0 0 0 1 0 0 0 0 0 -2 # 2
249 0 0 0 0 0 0 1 0 0 0 0 0 # 0
250 0 0 0 0 0 0 0 1 0 0 0 0 # 0
252 1 # We want to set the scatering dimension names.
253 proc c1 c2 c3 c4 c5 c6