lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
[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