barvinok_enumerate_e: avoid infinite loop when presented with incorrect input
[barvinok.git] / bernstein / examples / basicLinear.poly
blobeb55d5df3014d98de2143427204a5cf2b78c229c
1 3 5
3 #s  n  m  p  cte
4  1  1  0  0   -1  # n >= 1
5  1 -1  1  0    0  # m >= n  
6  1  0 -1  1    0  # p >= m
8 0 3