summate.c: sum_base: check equality constraints in Param_Polyhedron

[barvinok.git] / tests / euler / square_p3.pwqp

[n] -> { [x, y] -> x * y :
         n >= -9 + 3x and x >= 2 and y >= 4 and y <= 5 }