blob: 0c581c4eadc8478b5ef780e3f4f48d333f891222 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# 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
|
