verify.c: check_EP_on_poly: drop unused variable

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

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