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.5
[barvinok.git]
/
tests
/
ehrhart
/
t1.in
blob
1711f197d87fb846ed2f2626733dd5ad2040ba9d
1
2
4 5
3
1 0 1 0 0 # j>=0
4
1 1 -1 0 0 # i>=j
5
1 1 0 -1 0 # i>=P
6
1 -1 0 0 10 # 10>=i
7
8
1 3
9
1 1 0 # P>=0
10
11
12
P
13
First simple test
14
15
---------------------------------------
16
Domain :
17
- P + 10 >= 0
18
P >= 0
19
20
Vertices :
21
[ 10, 10 ]
22
[ P, P ]
23
[ 10, 0 ]
24
[ P, 0 ]