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
export Matrix_Read for reading Matrix from a stream
[barvinok.git]
/
tests
/
ehrhart
/
e2b.in
blob
fe8b4cb9379feba2535e7a50d7433d528fa943bf
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
# artificially bounded validity domain to check Preprocess2
17
6 5
18
1 1 0 0 0
19
1 -1 0 0 4
20
1 0 1 0 0
21
1 0 0 1 0
22
1 0 -1 0 10
23
1 0 0 -1 10