update isl for generic isl_pw_qpolynomial_bound

[barvinok.git] / tests / evalue / neg

#variables x

        n + 20 + x >= 0
        n - x >= 0
        n >= 0
        -x - 1 >= 0

x^2