summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space

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

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