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
rename barvinok_maximize to barvinok_bound
[barvinok.git]
/
bernstein
/
examples
/
basicTestParameterPosNeg.matrix
blob
da385576bfe9729da14317bfbccfb1c9bf3adda5
1
3 5
2
3
#s n m p cte
4
1 1 0 0 1 # n >= -1
5
1 -1 1 0 0 # m >= n
6
1 0 -1 1 0 # p >= m
7
8
0 3
9
10
n m p
11
12
n^3+n
13
14
1
15
16
2 3
17
1 1 1
18
1 0 1
19
20
{ -2, -1/3+2/3*p-p^2, p+p^3, -2/3+4/3*p }
21
{-2,-1/3+2/3*p-p^2,p+p^3}
22
{-1/3+2/3*p-p^2,p+p^3,-2/3+4/3*p}