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
Sv
e
n Verdoolaege
p
o
l
ymake/README: menti
o
n --w
i
th-barvinok configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
er
d
oolaege
p
olym
a
ke/Ma
k
e
f
ile
.
in: a
d
d work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolae
g
e
evalue
.
c:
print_eva
l
u
e
: alwa
y
s
p
rint newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c:
fix t
y
po in --approxim
a
tion-meth
o
d description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n
V
erdoolaege
to
p
co
m
: fix heuris
t
ic
for select
i
ng rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
dool
a
e
g
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Merge branch
't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
D
o
cument TO
P
C
O
M b
a
sed chamber decomp
o
sit
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
er
d
oolaege
test TO
P
COM chamb
e
r de
c
ompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ve
r
d
o
o
laege
Opti
o
nal
l
y use TOP
C
OM to compute chambe
r
decompo
s
i
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lex
m
in: add (prot
e
cted
)
missing algo
r
i
t
hm include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
r
d
oolaege
Makefil
e
.
a
m
: add tar
g
et for
c
r
e
a
ting dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: update voting theory
r
eference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
document
barvinok_s
u
mmate
and barvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
ool
a
eg
e
doc: c
o
nsiste
n
t use
of Bar
v
i
n
o
k's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summat
e
: correct options descriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
dool
a
ege
Docume
n
t
Euler
-
Maclaurin based s
u
mmati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
hange example environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: add some hidd
e
n sections to
t
a
b
l
e
of
c
o
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdo
o
laeg
e
d
oc: another document
r
eferin
g
to the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
ge
add some tests for E
u
ler-
M
aclauri
n
base
d
s
u
mm
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
Eu
l
er-Maclauri
n
base
d
summation for 1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
Euler-Ma
c
laurin based
s
umma
t
ion
f
or 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
decomposer
.
cc:
avoid use
o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barvin
o
k_
s
ummate
:
verify
s
o
l
u
tion over whole p
a
ramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
introduce barvinok_summat
e
as a wr
a
pper
f
o
r evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
dd evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
ool
a
ege
evalue_{
d
iv,m
u
l}: handle some tri
v
ial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
latt
i
ce_point: e
x
port fr
a
c
t
i
o
nal_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
evalue
.
c: extract common code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c:
export
Param_Polyh
e
dro
n
_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
fix ty
p
e
of evalu
e
_
p
olynomial argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
s
uppo
r
t computatio
n
of Bernou
l
li polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
sep
a
r
a
te com
p
ut
a
tion o
f
Ber
n
o
u
lli coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
ttice_point: use Param_V
e
rtex_Comm
o
n
_
Denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
mak
e
d
ecompos
e
r
.
h s
e
lf-contai
n
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoola
e
ge
reduce_domain: avoid use of
m
a
c
ro par
a
me
t
er with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
exp
o
rt evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
U
s
e
p
iplib during basis reduction if no othe
r
LP
solv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Us
e
bundled piplib by defa
u
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
Use bundled Pol
y
L
i
b b
y
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add pol
y
lib
su
b
m
o
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
b
erns
t
ei
n
: al
l
ow
linking against
unins
t
alled
,
b
u
t b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olaege
a
d
d more missing assert
.
h
#includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
l
a
e
g
e
add du
m
my i
m
plementation
s
of functions that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counting with
ra
t
i
onal gen
e
rating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ver
d
o
olaege
barv
i
nok
.
cc
:
s
p
lit off part c
o
nstructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
dool
a
eg
e
barvinok
.
c
c
: spl
i
t off part deal
i
ng
w
ith exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdo
o
l
a
e
g
e
*coun
t
er:
avoid recomputation of d
e
nomi
n
at
o
rs
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
e
rdoola
e
ge
counter: remo
v
e r
e
dundant
m
em
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
change type of s
o
me
"
s
ign"s
to int as they can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaeg
e
evalue
.
c:
make parameter names
of type c
o
n
st ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verd
o
o
l
a
e
ge
samp
l
e
.
c:
P
o
lyhedro
n
_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remove_equalities: fix
t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolae
g
e
Param
_
Po
l
yhedron_Print: prin
t
everyth
i
n
g to gi
v
en file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoola
e
g
e
barvinok_enumerate_with
_
o
p
tions:
d
on't a
d
d contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
barvinok
.
cc:
don'
t
free P argum
e
n
t
in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
ol
a
eg
e
remove
_
a
ll_equalities: also r
e
move eq
u
alities in
context
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n Verdoolaege
volume
.
c: avoi
d
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoola
e
ge
export Param_
I
nner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
e
n Ve
r
d
o
olaege
barvinok_enumerat
e
.
cc
:
add minimal chec
k
o
n input
commit
|
commitdiff
|
tree
2007-07-19
Sven
Ver
d
oolaege
more prototype chan
g
es to
c
o
nst char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
la
e
ge
evalue: print_ev
a
lue: make para
m
eter nam
e
s const ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdool
a
ege
Always co
m
pile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olaege
polytope_scan: use a
r
gp for ar
g
ument
parsin
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Ve
r
do
o
laege
configure
.
in: all
o
w sp
e
cification of defa
u
lt p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
e
n Verdoolaege
conso
l
idate
c
alls to Polyhedron2Param_Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Ve
r
d
o
o
l
aege
volume
.
c
:
f
ix typ
o
i
n comment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdool
a
ege
Makefile
.
a
m
: a
d
d $(EXEEXT) for
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaeg
e
Make
f
il
e
.
am: force
r
ebuild libraries
i
n
s
ubdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doola
e
ge
onl
y
t
e
s
t barvinok
_
maximi
z
e
if
i
t has been/can be crea
t
ed
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
tes
t
lib
.
cc: work around i
n
c
o
mp
l
et
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
s
c
ale
.
c: enu
m
erate
_
n
a
rro
w
_fla
t
e
d
: don
'
t s
i
mplify
constraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
declar
e
variables a
t
start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
doc:
u
pdate documentation of options a
n
d some functions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhed
r
on_Sample: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
Polyh
e
dron_Sample: compute vertices of 1D polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Po
l
yhed
r
o
n_Sample:
remo
v
e all equalitie
s
f
r
om polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
add possi
b
ility to use GLP
K
as LP
solver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhed
r
on_Sample: postpone removal of
r
ay
s
u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: use
lp solver for f
i
nding ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
lexmi
n
: move
choice of lp
solver to use
o
u
t
side ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
p
olysign
.
h: use correct
n
ame
o
f
P
L
_polyhedron_
a
ffin
e
_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
b
a
rvinok
_
enumera
t
e: plug memory leak in Bernou
l
li
approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
ege
barvinok_enu
m
erate_e_r: d
o
n't as
s
ume AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
evalue_fr
a
c2polyno
m
ial: rech
e
ck evalue after e
v
a
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
ut
i
l
.
c:
L
ine_
L
ength:
d
on't get
c
onfus
e
d by
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdo
o
laege
Makefile
.
am: stop after fi
r
st failed test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verd
o
o
laege
bernstein: carr
y
t
hro
u
gh variable renaming t
o
debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Ver
d
oolaege
bernstein: don'
t
assume
i
np
u
t
polynomial ha
s
be
e
n
e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c
:
c
o
r
rec
t
constne
s
s
of name in parame
t
e
r_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
evalu
e
_re
a
d:
a
c
c
ept consta
n
t multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
value
.
c: evalue_
s
um:
better hand
l
ing of negativ
e
val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
ev
a
l
ue
.
c: re
o
rder_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
e
value: declare first argum
e
nt
of emul const
commit
|
commitdiff
|
tree
next