verify.c: verify_point_data_init: use isl_val
[barvinok.git] / tests / ehrhart / e5.in
blobbf10bb2d473500a90d43698f870ca7376f516406
1 # 1 <= i <= N
2 # 1 <= j <= i
3 # j <= k <= M
4 # 1 <= N,M
5 #-------------
7 #  i  j  k   N  M
8 6 7
9 1  1  0  0   0  0  -1
10 1 -1  0  0   1  0   0
11 1  0  1  0   0  0  -1
12 1  1 -1  0   0  0   0
13 1  0 -1  1   0  0   0
14 1  0  0 -1   0  1   0
16 2 4
17 1 1 0 -1
18 1 0 1 -1
20 N M
21 5th example