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
NTL_QQ.cc: add stdlib include for abort hidden in NTL_vector_impl
[barvinok.git]
/
bernstein
/
examples
/
philippeNeg.matrix
blob
dda8b780c803399a41486509e6166a2f16704ad7
1
4 5
2
# i j N cst
3
1 1 0 0 1 # i >= -1
4
1 -1 0 1 0 # N >= i
5
1 0 1 0 1 # j >= -1
6
1 1 -1 0 0 # i >= j
7
8
0 3
9
10
i j N
11
12
j+1/2*i^2+1/2*i
13
14
1
15
16
2 3
17
1 1 1
18
1 0 1
19
20
{ 3/2*N+1/2*N^2, -5/4-1/4*N, -1/2+N+1/2*N^2, -1+1/2*N+1/2*N^2, -3/4+1/4*N, -1 }
21
{-5/4-1/4*N,-1+1/2*N+1/2*N^2}
22
{3/2*N+1/2*N^2,-3/4+1/4*N}