barvinok_options: include pointer to barvinok_stats instead of structure itself

[barvinok.git] / bernstein / examples / basicTestParameterPosNeg.matrix

3 5

#s  n  m  p  cte
 1  1  0  0    1  # n >= -1
 1 -1  1  0    0  # m >= n  
 1  0 -1  1    0  # p >= m

0 3

n m p

n^3+n