add some tests for Euler-Maclaurin based summation

[barvinok.git] / tests / euler / square

x -2 >= 0
-x + 3 >= 0
y -4 >= 0
-y +5 >= 0

x * y