update isl for generic isl_pw_qpolynomial_bound

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

4 4
1 1 0 0
1 -1 0 2
1 0 1 0
1 0 -1 2

0 2

x y

x*(1-x)*y*(1-y)

1

1 2
   1    1 

{ 0, 1, -2, 2/3, 4/3, -1/3, 4, -1, 1/3, -2/3 }
{-2}
{4}