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
make debuggin easier by keeping track of recursion depth
[barvinok.git]
/
tests
/
ehrhart
/
e1.in
blob
d5fbcd3ed74741acc2fce6e359b6a61a11cad125
1
# This is the first example in the Ehrhart paper
2
4 6
3
1 1 0 0 0 0 i >= 0
4
1 -2 0 1 0 0 -2i + P >= 0
5
1 0 1 0 0 0 j >= 0
6
1 0 -2 0 1 0 -2j + Q >= 0
7
8
2 4
9
1 1 0 0 P >= 0
10
1 0 1 0 Q >= 0
11
12
P Q
13
CL'96 example