repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
update omega for configuration issue
[barvinok.git]
/
tests
/
evalue
/
toplas
blob
fd51d3bfc406ad85d438e7e4b6e899ba5340b36e
1
#variables i,j
2
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
11
12
-1/2 *i^2 + -3/2 * i + -1 * j + -1 *n^2 + 4*n + 2* i *n