update isl for generic isl_pw_qpolynomial_bound
[barvinok.git] / bernstein / examples / philippePolynomialCoeff.matrix
blobd36644aed956acc51a9e728c7b5418430a8889e6
1 5 6
2 #  i  j  N  M cst
3 1  1  0  0  0  0
4 1 -1  0  1  0  0
5 1  0  1  0  0  0
6 1  1 -1  0  0  0
7 1  0  0  0  1  0
9 0 4
11 i j N M
13 (1/5*N+N^2)*i^2+5*j+N*i
17 3 4
18    1    0    1    0 
19    1    1    0    0 
20    1    0    0    1 
22 { 0, N^4+1/5*N^3+N^2, 5*N+N^4+1/5*N^3+N^2, 5/2*N+1/2*N^2, 5/2*N+N^4+1/5*N^3+N^2, 1/2*N^2}
23 {0}
24 {5*N+N^4+1/5*N^3+N^2}