add some tests for Euler-Maclaurin based summation

[barvinok.git] / tests / euler / triangle_p

#variables x,y
x -2 >= 0
y -4 >= 0
-x -y + n + 7 >= 0

x * y