update isl for change in coalescing

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

[n] -> { [x, y] -> x^20 * y : x >= 0 and n >= x + y and y >= 0 }