repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.26
2008-01-16
Sve
n
Verdoolae
g
e
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaeg
e
add some tests for im
p
l
e
m
entat
i
on of pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: d
o
cument new
options and new a
p
plicati
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
AU
T
H
O
RS: update suppor
t
information
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
ege
g
e
n
f
un
.
cc: short_rat:
:
p
r
int: c
o
rrectly p
r
int polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
port
series as barvinok_enum
e
r
ate_ser
i
e
s
a
n
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
do
o
laege
remove
_
p
arameter_eq
u
a
lities: sto
p
"r
e
m
oving" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
leave fre
e
ing of P a
r
gum
e
nt to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
doc: docume
n
t impl
e
m
entation of
t
he pro
j
ection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_
s
er
i
es implemen
t
i
ng the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc: fix
a
nd docum
e
nt pa
r
all
e
l polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oolae
g
e
Onl
y
compile zsolve if gcc 3
.
4 or l
a
ter is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
M
ove
G
i
NaC-independent part of l
i
brary to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
pol
y
l
ib
:
upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoo
l
aege
doc:
how to coun
t
the n
u
mber of elem
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
do
c
/impleme
n
tation
.
tex: avoid multip
l
y defi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
l
attice_width
.
c: try vertices of previou
s
integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document integ
e
r hull
compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
hull
.
c:
ad
d
a
l
l points f
o
und by sampling dir
e
ctly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizations for
gene
r
alized
basis
r
educ
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
ola
e
ge
Sup
p
o
r
t
use of gene
r
alize
d
basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add
P
olyh
e
dr
o
n_Inte
g
er_Minimum for c
o
mputi
n
g the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
d
o
c: document g
e
n
er
a
lized b
a
sis
redu
c
t
i
o
n b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc/barvinok
.
bib: ad
d
missing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
more missing assert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
ev
a
l
ue
.
c:
a
d
d mi
s
sing
i
nclude of all
o
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
c
o
nfi
g
ure
.
i
n
:
pas
s
path o
f
G
MP i
n
stallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configu
r
e
.
in: onl
y
compile libbarvinok as a
stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_Re
d
uced_B
a
sis: don't sto
p
too early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdool
a
ege
compute_width_directions: only
k
eep li
s
t of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don'
t
install libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erd
o
olaege
version
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
co
n
f
i
gure
.
i
n
:
don't set with
_
{
p
oly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
P
olyhe
d
ro
n
_Sample: be sati
s
fied wi
t
h a
reasona
b
le
cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaeg
e
c
one
_
integer_hull: op
t
ionally prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
b
asis_re
d
uction: kee
p
t
r
ack of n
u
mber
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
options: move --print-stats to
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bern
s
tein: rework
t
estin
g
framewor
k
to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
er
d
ool
a
ege
bernstein: add
p
iecewise_lst
:
:i
s
_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer ve
r
s
i
o
n
s of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
standard_const
r
aints: move fr
o
m topcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove depend
e
ncy on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
zsolve: add
b
anner
.
h to dist
r
i
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoola
e
ge
Polyhed
r
on_Lattice_Wid
t
h_Dire
c
tions: p
r
in
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ve
r
doolaege
ba
s
i
s
_re
d
uction_pip:
a
bort o
n
invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
README: explain how to get subm
o
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verd
o
o
l
aeg
e
d
o
c: document latt
i
ce width co
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some l
a
ttice width tests
fr
o
m Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Polyhedr
o
n_Lat
t
ice_Width:
d
ec
i
d
e on facet
s
to
c
los
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
ad
d
Pol
y
hed
r
on_Latti
c
e_W
i
dth for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoola
e
g
e
hilber
t
.
c: add
C
on
e
_Inte
g
er
_
Hull for computing vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign: add pi
p
-
b
acked ver
s
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: ad
d
constraints_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
polysign_c
d
d:
s
w
itch t
o
use of Mat
r
ix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
pol
y
sign_gl
p
k: switch t
o
use of
Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
d
o
c: doc
u
ment
computat
i
on of Hilbe
r
t basis of a c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdo
o
lae
g
e
C
o
n
e_Hilbert_Basis:
u
se
standar
d
_c
o
nstra
i
nts to a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use
z
solve to co
m
pute
H
ilbert bas
i
s
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
compile
zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
z
s
o
l
ve: don't install headers and
ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lv
e
:
i
n
itialize Backup
T
ime in ZS
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve:
z
solveSystem:
add m
i
ssing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
:
o
verride L
I
BS
from to
p
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
add zsolve from
4
t
i
2-1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
param_u
t
il
.
c:
export bi
t
_vecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
topco
m
.
c:
ex
t
r
act part of code for s
e
tting u
p
stand
a
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verdoolaege
g
e
n_fun::Hadamard_product: print progre
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verd
o
ola
e
ge
m
ove --verbo
s
e option to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:summate
:
han
d
le fu
l
l specializatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
Repla
c
e incr
e
ment
a
l infi
n
ite set counter
b
y
"
r
e
g
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
mak
e
counter
:
:add
_
f
a
lling_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
me
r
ge (most of) common
part of coun
t
e
r an
d
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounte
r
: handle specializatio
n
of po
l
y
n
omials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
i
count
e
r: don'
t
bother "
n
ormal
i
z
i
ng
"
t
h
e exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
export n
e
g_left
_
h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
asis_reduc
t
ion_
c
dd: check for
possibly incorrec
t
outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Po
l
yhedro
n
_Sam
p
l
e
: h
a
n
dle poly
h
edron b
e
com
i
ng e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue
*
:
a
lways return
a v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
g
en
_
fun
:
:operator evalue
*
: r
e
move commented ou
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
arvinok_enumerate_e
.
cc: handle verificatio
n
of
pr
o
blem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvino
k
_
e
numerat
e
_e: optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_e: support verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
barvinok_enu
m
erate_e: support conversion of
gene
r
a
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
l
attice_poi
n
t
s: anot
h
er micro-optim
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
la
t
tice_p
o
ints_fixed: n
a
no-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
g
en_fun::ad
d
:
contex
t
of
sum
should be unio
n
of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
b
a
r
v
inok_enumerate: use verif
y
infrastruc
t
ure for ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
g
e
n
fun
.
cc: pr
i
nt_power: drop spaces aroun
d
"/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
count_point
s
_
e
: fal
l
b
a
ck to count
_
poin
t
s if
t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Mak
e
fil
e
.
am: check-evalue: print na
m
e o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
verify: add check_poly
_
print hel
p
er fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
gen_fun: make sure context
i
s always s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
redu
c
er::reduce: can
o
n
i
c
alize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
s
hort_rat:
:
print: correctly print
o
ut terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
barvinok_
s
er
i
es:
rechec
k
for equalities after co
m
puti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
ex
p
ort Matri
x
_Read f
o
r
r
eading Matr
i
x from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
pa
r
a
m_
u
til
.
c: add Param_V
e
r
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
util
.
c: supporting_constrai
n
ts: return bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
polylib: update for Matrix
_
Extend
commit
|
commitdiff
|
tree
next