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_enumerate_e: avoid infinite loop when presented with incorrect input
[barvinok.git]
/
bernstein
/
examples
/
basicLinear2.matrix
blob
651c93eafb3743e603114a4dc954115daca11b9a
1
4 6
2
3
#s n m P Q cte
4
1 1 0 0 0 -1 # n >= 1
5
1 -1 1 0 0 0 # m >= n
6
1 0 -1 1 0 0 # p >= m
7
1 1 0 0 -1 1 # n + 1 >= q
8
9
0 4
10
11
n m P Q
12
13
n
14
15
2
16
17
3 4
18
1 1 -1 1
19
1 0 1 -2
20
1 0 0 1
21
22
{P,-1+Q}
23
{-1+Q}
24
{P}
25
26
3 4
27
1 1 0 -1
28
1 0 -1 2
29
1 0 0 1
30
31
{P,1}
32
{1}
33
{P}