update isl for change in coalescing

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

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