rename barvinok_maximize to barvinok_bound
[barvinok.git] / bernstein / examples / philippe.matrix
blob2d2ef3ddc87fc59332d25b696a897c0fac4246f2
1 4 5
2 #  i  j  N  cst
3 1  1  0  0   0
4 1 -1  0  1   0
5 1  0  1  0   0
6 1  1 -1  0   0
8 0 3
10 i j N
12 j+1/2*i^2+1/2*i
16 2 3
17    1    1    0 
18    1    0    1 
20 { 0, 3/2*N+1/2*N^2, 1/4*N, 1/2*N+1/2*N^2, 3/4*N, N+1/2*N^2}
21 {0}
22 {3/2*N+1/2*N^2}