add some tests for Euler-Maclaurin based summation

[barvinok.git] / tests / euler / dull_p

#variables x,y
x  >= 0
y  >= 0
-x -y + n >= 0

x^20 * y