rename barvinok_maximize to barvinok_bound
[barvinok.git] / bernstein / examples / basicTestParameterPosNeg.matrix
blobda385576bfe9729da14317bfbccfb1c9bf3adda5
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
10 n m p
12 n^3+n
16 2 3
17    1    1    1 
18    1    0    1 
20 { -2, -1/3+2/3*p-p^2, p+p^3, -2/3+4/3*p }
21 {-2,-1/3+2/3*p-p^2,p+p^3}
22 {-1/3+2/3*p-p^2,p+p^3,-2/3+4/3*p}