update isl for change in coalescing

[barvinok.git] / tests / euler / EML-product.pwqp

[N] -> { [x, y, x2, y2] -> x^2 * y^2 * x2^2 * y2^2 * N : 532y <= -347 + 1359x and 16y >= -842 + 195x and 70y >= 15 - x and 532y2 <= -347 + 1359x2 and 16y2 >= -842 + 195x2 and 70y2 >= 15 - x2 }