add generic isl_pw_qpolynomial_bound
[barvinok.git] / tests / example2
blob2d75524ebd75dec1be110a3df7693beaa1b5b4df
1 # example on page 3
2 D 1
3 4 4
4    1   1   0   0
5    1   0   1   0
6    1  -2  -1  10
7    1   0  -1   2
8 F 0
9 16