update omega for configuration issue
[barvinok.git] / tests / evalue / toplas
blobfd51d3bfc406ad85d438e7e4b6e899ba5340b36e
1 #variables i,j
3 i >= 0
4 4 n - i -2 >= 0
5 j >= 0
6 n -j -1 >= 0
7 i +j - 2n +1 >= 0
8 -i -j + 4n -2 >= 0
9 i + j -3 n +1 >= 0
10 -i +3 n -1 >= 0
12 -1/2 *i^2 + -3/2 * i + -1 * j + -1 *n^2 + 4*n + 2* i *n