1# language: FORTRAN
2f
3
4# One parameter : n
51 3
6#  n  1
71  0  1
8# We want to set the parameter names...
91
10# and 'n' is the name of the unique parameter
11n
12
132 # Number of statements: 2.
14
151
16# {i, j | 1<=i<=n-1; i+1<=j<=n}
174 5
18#  i  j  n  1
191  1  0  0 -1
201 -1  0  1 -1
211 -1  1  0 -1
221  0 -1  1  0
230 0 0
24
251
26# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
276 6
28#  i  j  k  n  1
291  1  0  0  0 -1
301 -1  0  0  1 -1
311 -1  1  0  0 -1
321  0 -1  0  1  0
331 -1  0  1  0 -1
341  0  0 -1  1  0
350 0 0
36# We want to let CLooG set the iterator names.
370
38
392
40# Scattering functions
411 6
42# c1  i  j  n  1
430  1 -1  0  0  0
44
451 7
46# c1  i  j  k  n  1
470  1  0  0 -1  0  0
481
49proc
50
512
52# Scattering functions
533 8
54# c1 c2 c3  i  j  n  1
550  1  0  0 -1  0  0  0
560  0  1  0  0  0  0  0
570  0  0  1  0  0  0  0
58
593 9
60# c1 c2 c3  i  j  k  n  1
610  1  0  0  0  0 -1  0  0
620  0  1  0  0  0  0  0 -1
630  0  0  1  0  0 -1  0  0
640
65
66