# Language | |
c | |
# Context | |
1 3 | |
1 0 1 | |
0 | |
# Number of statments | |
1 | |
1 | |
# { (i,j,k,l) | -i+l >= 0, j-1 >= 0, -j+l >= 0, k-1 >= 0, i-k >= 0, 1 >= 0 } | |
6 6 | |
1 -1 0 0 1 0 | |
1 0 1 0 0 -1 | |
1 0 -1 0 1 0 | |
1 0 0 1 0 -1 | |
1 1 0 -1 0 0 | |
1 0 0 0 0 1 | |
0 0 0 | |
0 | |
# Scattering functions | |
1 | |
8 13 | |
0 1 0 0 0 0 0 0 0 0 0 0 0 | |
0 0 1 0 0 0 0 0 -1 0 0 0 0 | |
0 0 0 1 0 0 0 0 0 0 0 0 0 | |
0 0 0 0 1 0 0 0 0 -1 -1 0 0 | |
0 0 0 0 0 1 0 0 0 0 0 0 0 | |
0 0 0 0 0 0 1 0 0 -1 0 0 0 | |
0 0 0 0 0 0 0 1 0 0 0 0 0 | |
1 0 0 0 0 0 0 0 0 0 0 0 1 | |
0 |