add generic isl_pw_qpolynomial_bound

[barvinok.git] / tests / kristof3

D 1
8 7
   0   0   1   0   0  -1   0
   1   0   0   0  -1   0   5
   1   0   0   0   1   0   0
   1   6   0   1  -6   0  -6
   1  -1   0   0   1   0   1
   1   0   0   0   0   1   0
   1   0   0   0   0  -1   5
   1   0   0  -1   0   0   5

F 0
216