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
options: mention default and available solvers for basis reduction
2007-06-06
Sven Ver
d
oolaege
options: mentio
n
def
a
ult and a
v
ail
a
ble
s
o
lver
s
fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verd
o
olaege
polyhedron_sample
:
take optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Ve
r
doolaege
doc: more abou
t
power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc: repeat Matthias' stopped Barvino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaeg
e
add barvinok_
s
u
m
m
a
te to sum
a quasi-pol
y
nom
i
al
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdo
o
laege
evalue_read: fix for top-leve
l
frac
t
ion
a
l par
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
ol
a
ege
berno
u
l
li
.
c: Bernou
l
li
_
s
u
m_
e
value
:
red
u
ce
resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoo
l
aeg
e
b
ernoulli
.
c: perform
nested
sum
s
approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdo
o
laeg
e
add polynomia
l
a
pproxi
m
a
t
ion based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaeg
e
util
.
c
: extract for_each_lo
w
er_upper_b
o
un
d
from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
decompose
r
: use NT
L
t
o
i
n
v
e
r
t matr
i
x rather than c
o
nvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verd
o
olaege
lattice_point
.
c
c
: allow rays and vertex to
have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
count
e
r: optimize s
u
mming
o
ver points i
n
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
la
t
tice_po
i
nt
.
cc: av
o
i
d
co
n
v
ersi
o
n
betwee
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
conver
s
ion
.
cc: remove
rays2
m
atrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
evalue
.
c: evalue_
p
olyno
m
ial extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoola
e
ge
eva
l
ue
.
c
: add evalue_n
e
gate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
doc:
a not
e
on the connecti
o
n
between Todd po
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
e
g
e
d
o
c: points
i
n fundapiped: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barvino
k
.
c
c: simplify dpol
y
_n c
o
nstructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdool
a
ege
Remove "
n
or
m
alization" or p
o
wers in
d
enom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
de
c
ompo
s
er
.
cc: pass options to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven
V
erdoo
l
aege
barv
i
nok_count: optional
l
y use expo
n
ential substitution
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
V
erdoolaege
coun
t
e
r
.
cc: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpoly::div: avoi
d
c
omp
u
tation with r
a
tiona
l
n
u
mbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpo
l
y: use Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
V
erdo
o
laege
d
o
c: fix
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
add test for latti
c
e point co
m
puta
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
e
value_read
.
c: add eval
u
e
_read_from
_
str for
r
eading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue
_
read_from_fi
l
e: don't mod
i
fy va
r
_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_read: read more
g
eneral evalues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
eva
l
ue_convert
.
c
c:
a
d
d
m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
con
v
ersio
n
.
h:
generalize
r
ays2matr
i
x2 to
z
z2ma
t
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
h: mak
e
se
l
f-c
o
n
t
ai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue_read: extract from ma
x
imize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoo
l
a
e
g
e
enume
r
ator:
support pr
i
mal
(
half
-
o
p
e
n) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
e
n
umerator: han
d
l
e (dua
l
)
stopped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lat
t
ice_point
.
c
c: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
lattice_p
o
i
nt
.
cc: extract
c
oset
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaeg
e
lat
t
ice_
p
oin
t
.
cc: rename ceil
_
mod to
f
ract
i
onal_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice
_
point
.
cc: use so
m
e h
e
lp
e
r
functions to
s
i
mplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice
_
point
.
cc: impl
e
ment lookup-t
a
ble v
e
rs
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
move
m
o
r
e lattice point
c
o
mputatio
n
s to latti
c
e
_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdool
a
ege
b
a
rvinok
.
cc: lattice_point:
remove a spe
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
doc: i
n
tege
r
po
i
nts
i
n fundame
n
tal p
a
rallelep
i
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
util
.
c:
e
x
port Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
util
.
c: export Vector_Op
p
ose
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
s
cale
.
c:
move Param_
V
erte
x
_Common_Denominato
r
t
o param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
e
value
.
c: add eval
u
e_add_
c
o
nstant
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
eg
e
e
v
alue
.
c: affine2evalue: skip zero coeff
i
cient
s
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue
.
c: emul_poly:
e
fficiently handle case o
f
m
ul
t
iplica
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
b
um
p
ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc: update opt
i
ons and some functio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: d
o
cument vo
l
ume computation
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
doc: mo
r
e
r
ep
o
rts expla
i
ning parts of barvi
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
b
e
rnstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
a
ege
doc: t
r
ansfor
m
ation
o
f parameter domain to
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
barvi
n
ok
.
cc: barv
i
nok
_
count_f:
avoid warning on
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
util
.
c:
u
n
imodular_
c
ompl
e
te: han
d
l
e completion
of
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
arvinok_e
n
umerate
.
cc: handle all
l
ines in --seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoola
e
ge
b
arvin
o
k_enumerate
.
cc: series: p
l
u
g memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdo
o
laege
doc: document
l
e
ft_i
n
verse
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
doc: remove
r
ef
e
renc
e
to old barv
i
nok_
s
eries appl
i
cation
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: update eva
l
ue_bernstein
_
coe
f
ficien
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoo
l
aege
b
a
rvinok/opt
i
on
s
.
h
: put stats first
i
n
barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
Verdoolae
g
e
b
arvin
o
k_m
a
x
i
mize: re
a
d_eval
u
e: support relatio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoo
l
aege
berns
t
ein
.
cc: ev
a
lu
e
_be
r
nstein_coef
f
icie
n
ts:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolae
g
e
barvinok_maximize: eval
u
e_
r
ead: allo
w
identifiers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
b
arvinok_maximize: mo
v
e --(bernste
i
n-)re
c
urse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
ege
lib/argp:
f
ix lo
g
i
c
i
n
h
ol_clu
s
ter_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
b
arvinok_maximize: allow specification o
f
the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvinok_maximiz
e
: barf on
u
nexpected
f
irst
t
oken
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verd
o
o
l
aege
doc: more docu
m
ents refering to th
e
li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolae
g
e
evalue_
c
onvert
.
cc: evalue_coset: s
u
pport
re
l
ations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c:
p
ri
n
t_eva
l
ue:
always print ne
w
line
a
t
t
he end
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
d
oc: multivaria
t
e
q
uas
i
-poly
n
omials as lists of polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
eva
l
ue_convert
.
cc: include "config
.
h" to pi
c
k up USE_FD
S
TR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oola
e
ge
doc: ind
e
x ad
d
i
t
ions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolae
g
e
d
o
c:
t
r
iangulati
o
n
i
n primal space + so
m
e t
y
po fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
do
c
: docu
m
ent i
n
ne
r
_p
o
i
nt
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc: refer to Koeppe
a
rticle for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
eg
e
doc:
m
ore p
u
blicat
i
ons (im
p
licitly)
r
efering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdo
o
laege
conf
i
gure
.
in: add $(EXEEXT)
t
o optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
e
n
Verdoola
e
g
e
Makefile
.
a
m: make sur
e
distri
b
ution contains req
u
i
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
olaege
w
o
r
k
a
r
ound
incomplete na
m
es
p
ace support i
n
old c
o
mpil
e
r
s
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
d
isable some features if
f
dst
r
eam doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolae
g
e
ba
r
v
i
nok_enumerate
.
cc: avoid u
s
e
of f
d
s
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
ool
a
ege
barvinok_enume
r
ate: don't
print
(n
o
n
-
ex
i
sting) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolae
g
e
edomain
.
cc: a
v
oid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
conf
i
g
u
re
.
in: check for pol
y
l
ib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
declare var
i
ab
l
e at star
t
of code block
.
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoo
l
a
e
ge
Makefil
e
.
am: r
e
build li
b
rar
i
es in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoo
l
a
e
ge
ba
r
vinok_e
n
um
e
ra
t
e
:
recheck for
e
qualities
aft
e
r
"
variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc
:
a voting theory r
e
port that re
f
ers to the librar
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
V
erd
o
olaege
doc: update primal Barvinok r
e
ference
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verd
o
ola
e
g
e
doc: a
d
d journal version of impr
o
ved deri
v
ation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
volume
.
c: keep tra
c
k of
number of
s
i
mplices in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
te
s
t_approx: tes
t
volume computation
v
a
ri
a
tio
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
v
o
lume
.
c: volu
m
e_triangulate: use ver
t
ex
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
next