barvinok_bound: convert to isl_pw_qpolynomial once
[barvinok.git] / tests / ehrhart / e13.in
blob5f782ea83260a811ce1fbf4eb45fa63d7e54ce0a
1 # example 13
2 #  i  j  k  n  m  p cons
3 6 8
4 1  1  0  0  0  0  0  0
5 1 -1  0  0  1  0  0  0
6 1  0  1  0  0  0  0  0
7 1  2 -2  0  0  1  0  0
8 1  0  0  1  0  0  0  0
9 1  1  0 -1 -1  0  1  0
11 3 5
12 1           1  0  0  -9
13 1           0  1  0  -1
14 1           0  0  1  -1
16 n m p
17 example 13