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
polymake/README: mention --with-barvinok configure option
2007-09-21
Sven
Verdoolaege
po
l
ymake/READM
E
: mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdo
o
laege
polymake/M
a
kefil
e
.
in: add
work-around for p
o
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
e
v
a
l
ue
.
c:
p
ri
n
t_evalue: always
p
ri
n
t newl
i
n
e at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdo
o
l
aege
op
t
ions
.
c
:
f
i
x typ
o
in --approxim
a
ti
o
n
-me
t
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
doolaege
topcom: fix h
e
uristic for selecting
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Ve
r
dool
a
ege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge
b
ranch 't
o
pco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docum
e
n
t TOPCO
M
based cham
b
er dec
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
aege
t
est
TOP
C
O
M
chamber decomposit
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Op
t
io
n
all
y
use TOPC
O
M to compute ch
a
mber decompos
i
tio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
lexmi
n
: add (protected) missing algorithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Ve
r
doolaege
Makefile
.
am: a
d
d
t
a
r
get for cr
e
ating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
update voting
theor
y
refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
documen
t
b
arvinok_sum
m
ate a
n
d
barvi
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
laege
doc: consist
e
nt use of
B
arvinok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdool
a
e
g
e
barvinok_summate: correc
t
op
t
ions descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Document
Eu
l
er-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdool
a
ege
do
c
: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laeg
e
do
c
: add some hidde
n
sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc
:
another document refering
t
o the
library
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
o
o
laege
a
d
d s
o
me tests for Euler-Maclaurin based summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Maclaurin based
summat
i
on for 1D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin bas
e
d sum
m
ation
fo
r
2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
d
ec
o
mpo
s
er
.
cc: avoid
u
s
e
of
h
alf-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
barvinok
_
summate: verify solution
o
ver wh
o
l
e parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
introdu
c
e barvinok_summ
a
te
a
s
a wrapper for
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add evalue_m
u
l
_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div
,
m
u
l}:
hand
l
e some trivial cases more efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
ool
a
ege
l
a
t
tice_po
i
nt: export fractio
n
al
_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
alu
e
.
c: extract common
c
ode for construction base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
volu
m
e
.
c: export
P
aram_Polyhe
d
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of e
v
alue_polyn
o
mial argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
su
p
por
t
com
p
utation
o
f
Bernoulli polynom
i
al
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
sepa
r
ate
c
omputation of Bernoull
i
coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latt
i
ce_point:
u
se Pa
r
am_Vertex_Common_D
e
no
m
ina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_
d
oma
i
n
: avoid use
of macro par
a
meter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
export eval
u
e_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
a
e
ge
Use piplib during basis r
e
du
c
t
ion if no other LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
Use
b
u
n
d
l
e
d piplib by
def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
a
d
d pip
l
ib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
Use bundled
PolyLib
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d po
l
ylib submo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
aege
be
r
nste
i
n:
a
llow
l
i
n
kin
g
a
g
ainst uni
n
stalled
,
but buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
e
n
Verdoolaege
add mo
r
e missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
doo
l
ae
g
e
a
d
d dummy
i
m
p
lement
a
tion
s
of functions that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doola
e
ge
u
pdat
e
"Counting with rational
g
enera
t
ing function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdo
o
laege
barvinok
.
cc: sp
l
it o
f
f
p
a
r
t
c
onstructing g
e
ne
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
ba
r
vinok
.
cc: split
o
ff part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
la
e
ge
*c
o
unter:
avoid recomputati
o
n of deno
m
inators wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
d
o
o
laege
c
o
unter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change
t
yp
e
of some "si
g
n"s
to int as the
y
can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolae
g
e
doc
:
u
p
d
ate Algorithmica publi
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verd
o
olaege
evalue
.
c: make p
a
rameter
name
s
of type
c
o
nst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
ven Verdoo
l
aege
sample
.
c: Po
l
yhedr
o
n_Remo
v
eFixedC
o
lumns
:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Ver
d
oolaege
util
.
c: remove_equalities
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
Ve
r
doolaege
Param_
P
olyhedr
o
n_Print: p
r
i
n
t
e
v
eryth
i
ng to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erd
o
o
laege
b
a
rvinok_e
n
u
merate_wit
h
_o
p
ti
o
ns
:
do
n
't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en V
e
rdoolaege
barvinok
.
cc: do
n
't free P argum
e
nt i
n
e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
remo
v
e_all_equalities: also r
e
move
e
qualities in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
volu
m
e
.
c: avoid war
n
in
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
expor
t
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoolaege
bar
v
inok_e
n
ume
r
ate
.
cc: add minimal che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en V
e
rdoo
l
a
ege
m
or
e
prototype ch
a
ng
e
s
to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
evalue: pr
i
nt_evalue: make paramet
e
r names con
s
t
ch
a
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoolaege
Always
compil
e
polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaeg
e
p
o
lytope_sc
a
n: use a
r
gp for arg
u
ment parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
e
r
d
oola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
r
doolaege
confi
g
ure
.
in:
a
l
l
ow sp
e
ci
f
icati
o
n o
f
d
e
fault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
c
o
nsolidate ca
l
ls to Polyhed
r
on2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
volume
.
c:
f
i
x typo
i
n commen
t
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoo
l
aege
Make
f
ile
.
am:
a
dd $(EXEEXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
r
doolaege
Makef
i
le
.
am: force rebuild
libra
r
ies i
n
subd
i
rs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
only
t
e
st bar
v
inok
_
maxim
i
ze if it has been/can be c
r
ea
t
e
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aeg
e
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
t
e
s
tlib
.
cc: work around
incompl
e
t
e namespace sup
p
o
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
sca
l
e
.
c
:
e
nu
m
e
rate_narrow_flated:
d
o
n't
s
i
mplif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
d
eclare
variable
s
at
start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
do
c
:
update
d
ocumentation of options and some
f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Polyhed
r
on_
S
ample: factor polyh
e
d
r
on if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
o
olaege
Polyh
e
dron_
S
a
mple: compu
t
e vertic
e
s
of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sample: rem
o
v
e
all
e
qualities from po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
add po
s
sibil
i
ty
t
o us
e
GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
Polyhed
r
on_Sample: postpone
r
emoval of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedro
n
_
Sa
m
ple: use lp
s
olver f
o
r finding
ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move
c
hoice of lp solver
to use outsid
e
basi
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h: use corr
e
ct nam
e
o
f PL_p
o
lyhed
r
on_affi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
barvinok_enumera
t
e:
plug memory leak in Bernoulli
approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
b
a
rvin
o
k_enumer
a
te_e_r: don't
assume
A
ddCons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdool
a
ege
e
va
l
ue_frac2polynomial: rec
h
eck evalue after eva
l
ue
_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolae
g
e
util
.
c: Line
_
Length: don'
t
g
et confu
s
ed b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Makefile
.
am: stop after first fail
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
bernstei
n
: carry throu
g
h variable renami
n
g to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdool
a
ege
bernstei
n
:
d
o
n
't assume in
p
ut
p
o
lynom
i
al
h
as
b
een
e
xp
a
nded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ev
a
lue
_
re
a
d
.
c: corre
c
t
con
s
t
nes
s
o
f
name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
o
l
aege
e
v
alue
_
r
ead:
a
ccept constant multi
p
le of variable w
i
t
hou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoola
e
g
e
evalue
.
c: evalu
e
_su
m
: bette
r
handling
of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
e
rdoolaege
evalue
.
c
: r
e
ord
e
r_ter
m
s: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
evalue: decla
r
e firs
t
ar
g
ument of emu
l
const
commit
|
commitdiff
|
tree
next