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 ORIGINAL SCHEDULING
173 # c1 c2 c3 c4 c5 c6 i j n 1
174 0 1 0 0 0 0 0 -1 0 0 0 # i
175 0 0 1 0 0 0 0 0 0 0 0 # 0
176 0 0 0 1 0 0 0 0 -1 0 0 # j
177 0 0 0 0 1 0 0 0 0 0 0 # 0
178 0 0 0 0 0 1 0 0 0 0 0 # 0
179 0 0 0 0 0 0 1 0 0 0 0 # 0
182 # c1 c2 c3 c4 c5 c6 i j n 1
183 0 1 0 0 0 0 0 -1 0 0 0 # i
184 0 0 1 0 0 0 0 0 0 0 0 # 0
185 0 0 0 1 0 0 0 0 -1 0 0 # j
186 0 0 0 0 1 0 0 0 0 0 -1 # 1
187 0 0 0 0 0 1 0 0 0 0 0 # 0
188 0 0 0 0 0 0 1 0 0 0 0 # 0
191 # c1 c2 c3 c4 c5 c6 i n 1
192 0 1 0 0 0 0 0 -1 0 0 # i
193 0 0 1 0 0 0 0 0 0 -1 # 1
194 0 0 0 1 0 0 0 0 0 0 # 0
195 0 0 0 0 1 0 0 0 0 0 # 0
196 0 0 0 0 0 1 0 0 0 0 # 0
197 0 0 0 0 0 0 1 0 0 0 # 0
200 # c1 c2 c3 c4 c5 c6 i n 1
201 0 1 0 0 0 0 0 -1 0 0 # i
202 0 0 1 0 0 0 0 0 0 -2 # 2
203 0 0 0 1 0 0 0 0 0 0 # 0
204 0 0 0 0 1 0 0 0 0 0 # 0
205 0 0 0 0 0 1 0 0 0 0 # 0
206 0 0 0 0 0 0 1 0 0 0 # 0
209 # c1 c2 c3 c4 c5 c6 i j k n 1
210 0 1 0 0 0 0 0 -1 0 0 0 0 # i
211 0 0 1 0 0 0 0 0 0 0 0 -3 # 3
212 0 0 0 1 0 0 0 0 -1 0 0 0 # j
213 0 0 0 0 1 0 0 0 0 0 0 0 # 0
214 0 0 0 0 0 1 0 0 0 -1 0 0 # k
215 0 0 0 0 0 0 1 0 0 0 0 0 # 0
218 # c1 c2 c3 c4 c5 c6 i j k n 1
219 0 1 0 0 0 0 0 -1 0 0 0 0 # i
220 0 0 1 0 0 0 0 0 0 0 0 -3 # 3
221 0 0 0 1 0 0 0 0 -1 0 0 0 # j
222 0 0 0 0 1 0 0 0 0 0 0 0 # 0
223 0 0 0 0 0 1 0 0 0 -1 0 0 # k
224 0 0 0 0 0 0 1 0 0 0 0 -1 # 1
227 # c1 c2 c3 c4 c5 c6 i j n 1
228 0 1 0 0 0 0 0 -1 0 0 0 # i
229 0 0 1 0 0 0 0 0 0 0 -3 # 3
230 0 0 0 1 0 0 0 0 -1 0 0 # j
231 0 0 0 0 1 0 0 0 0 0 -1 # 1
232 0 0 0 0 0 1 0 0 0 0 0 # 0
233 0 0 0 0 0 0 1 0 0 0 0 # 0
236 # c1 c2 c3 c4 c5 c6 i j n 1
237 0 1 0 0 0 0 0 -1 0 0 0 # i
238 0 0 1 0 0 0 0 0 0 0 -3 # 3
239 0 0 0 1 0 0 0 0 -1 0 0 # j
240 0 0 0 0 1 0 0 0 0 0 -2 # 2
241 0 0 0 0 0 1 0 0 0 0 0 # 0
242 0 0 0 0 0 0 1 0 0 0 0 # 0
244 1 # We want to set the scatering dimension names.