barvinok 0.41.8
[barvinok.git] / tests / euler / dull_p.pwqp
blob15db75a531a2005c2da1d2d79fb1b8436bc10002
1 [n] -> { [x, y] -> x^20 * y : x >= 0 and n >= x + y and y >= 0 }