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
barvinok 0.41.8
[barvinok.git]
/
tests
/
ehrhart
/
e2.in
blob
131648ae3bf73cbd0b3c69bffde5e0af0c29be5f
1
# 0 <= i <= P
2
# 0 <= j <= 2i+Q
3
# 0 <= k <= i-P+R
4
# 0 <= P,Q,R
5
#----------------
6
7
# i j k P Q R cte
8
6 8
9
1 1 0 0 0 0 0 0 # i >= 0
10
1 -1 0 0 1 0 0 0 # i <= P
11
1 0 1 0 0 0 0 0 # j >= 0
12
1 2 -1 0 0 1 0 0 # j <= 2i+Q
13
1 0 0 1 0 0 0 0 # k >= 0
14
1 1 0 -1 -1 0 1 0 # k <= i-P+R
15
16
3 5
17
1 1 0 0 0
18
1 0 1 0 0
19
1 0 0 1 0