8
# We want to set the parameter names...
10
# and 'n' is the name of the unique parameter
13
2 # Number of statements: 2.
16
# {i, j | 1<=i<=n-1; i+1<=j<=n}
26
# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
36
# We want to let CLooG set the iterator names.
41
# Scattering functions