update isl for generic isl_pw_qpolynomial_bound
[barvinok.git] / bernstein / examples / test3Deg3Var.matrix
blob1fe4a77fafc69f68fe66103535e0978640d3c67e
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/3+4/3*p, p+p^3, 2, 1/3+2/3*p+p^2}
21 {2}
22 {p+p^3}