update polylib for make distclean fixes

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

[n] -> { [x] -> floor((x + n)/2) * x : -10 <= x <= n }