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

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

[n] -> { [x, y] -> 1 : n >= 1733 - 6795x + 2660y and 16y >= -842 + 195x and 70y >= 15 - x }