update pet for fix in distribution

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

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