update polylib for make distclean fixes

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

[n, m] -> { [x] -> ((x^2 + n) + x * m) : m >= 5x and n <= 3x }