barvinok_e.cc: enumerate_sum: use barvinok_summate instad of evalue_sum

[barvinok.git] / tests / evalue / toplas

#variables i,j

i >= 0
4 n - i -2 >= 0
j >= 0
n -j -1 >= 0
i +j - 2n +1 >= 0
-i -j + 4n -2 >= 0
i + j -3 n +1 >= 0
-i +3 n -1 >= 0

-1/2 *i^2 + -3/2 * i + -1 * j + -1 *n^2 + 4*n + 2* i *n