1# ---------------------- CONTEXT ----------------------
2c # language is C
3
4# Context (no constraints on one parameter)
51 3                     # 1 line and 3 columns    
6# eq/in n  1
7    1   0  0            # 0 >= 0, always true
8
91 # We want to set manually the parameter name
10n                       # parameter name
11
12# --------------------- STATEMENTS --------------------
132 # Number of statements
14
151 # First statement: one domain
164 5                     # 4 lines and 3 columns
17# eq/in i  j  n  1
18    1   1  0  0 -1      # i >= 1
19    1  -1  0  1 -1      # i <= n-1
20    1  -1  1  0 -1      # j >= i+1
21    1   0 -1  1  0      # j <= n
220  0  0                 # for future options
23 
241
25# Second statement: one domain
266 6                     # 6 lines and 3 columns
27# eq/in i  j  k  n  1
28    1   1  0  0  0 -1   # i >= 1
29    1  -1  0  0  1 -1   # i <= n-1
30    1  -1  1  0  0 -1   # j >= i+1
31    1   0 -1  0  1  0   # j <= n
32    1  -1  0  1  0 -1   # k >= i+1
33    1   0  0 -1  1  0   # k <= n
340  0  0                 # for future options
35
360 # We let CLooG set the iterator names
37
38# --------------------- SCATTERING --------------------
392 # Scattering functions
40# First function
418 13                    # 3 lines and 3 columns
42# eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  n  1
43    0    1  0  0  0  0  0  0  0 -1  0  0  0     # p1 = i
44    0    0  1  0  0  0  0  0  0  0  0  0  0     # p2 = 0
45    0    0  0  1  0  0  0  0  0 -1  0  0  0     # p3 = i
46    0    0  0  0  1  0  0  0  0  0  0  0  0     # p4 = 0
47    0    0  0  0  0  1  0  0  0  0 -1  0  0     # p5 = j
48    0    0  0  0  0  0  1  0  0  0  0  0  0     # p6 = 0
49    0    0  0  0  0  0  0  1  0  0  0  0  0     # p7 = 0
50    0    0  0  0  0  0  0  0  1  0  0  0  0     # p8 = 0
51# Second function
528 14                    # 3 lines and 3 columns
53# eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  k  n  1
54    0    1  0  0  0  0  0  0  0  0  0 -1  0  0  # p1 = k
55    0    0  1  0  0  0  0  0  0  0  0  0  0  0  # p2 = 0
56    0    0  0  1  0  0  0  0  0 -1  0  0  0  0  # p3 = i
57    0    0  0  0  1  0  0  0  0  0  0  0  0  0  # p4 = 0
58    0    0  0  0  0  1  0  0  0  0 -1  0  0  0  # p5 = j
59    0    0  0  0  0  0  1  0  0  0  0  0  0 -1  # p6 = 1
60    0    0  0  0  0  0  0  1  0  0  0 -1  0  0  # p7 = k
61    0    0  0  0  0  0  0  0  1  0  0  0  0  0  # p8 = 0
62
631 # We want to set manually the scattering dimension names
64p1 p2 p3 p4 p5 p6 p7 p8 # scattering dimension names
65