blob: 0c581c4eadc8478b5ef780e3f4f48d333f891222 [file] [log] [blame]
# language: C
c
# parameter {n | n>=2} {m | m>=2}
2 4
# m n 1
1 1 0 -2
1 0 1 -2
1 # We set manually the parameter names: m, n
m n
1 # Number of statements:
1
# {i, j | 2<=i<=n 2<=j<=m n+2-i-j>=0}
5 6
# i j m n 1
1 1 0 0 0 -2
1 -1 0 0 1 0
1 0 1 0 0 -2
1 0 -1 1 0 0
1 -1 -1 0 1 2
0 0 0
1 # We set manually the iterator names: i, j
i j
0 # No scattering functions