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
Param_Inner_Product: fix use of value_lcm
2007-10-05
Sven Ve
r
doolaege
Param_Inner_Product: fix us
e
o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
laege
doc:
f
i
x typo
in Mic
h
e
l
e Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
doola
e
ge
Add missing files
from polymake client t
o
d
istribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Us
e
gmp's gc
d
rather tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
polymake
/
R
E
A
D
ME: mention --with-barvi
n
ok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
polymak
e
/Makefile
.
in: add work-around
for po
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
evalu
e
.
c: print_evalue: always print
n
ewline at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolaege
opti
o
ns
.
c: fix ty
p
o in
-
-ap
p
roxim
a
t
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolae
g
e
t
o
p
c
o
m
: fix heuristi
c
for selecting rows
to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
aege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
erge branch
'
topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM
b
ased ch
a
m
be
r
deco
m
posi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st
T
OPCOM
ch
a
mber
d
ecompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Optionally use TOPCO
M
t
o
c
omput
e
c
hambe
r
d
eco
m
pos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
doolaege
lexmin: add (protect
e
d) missin
g
al
g
orith
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Makefile
.
am:
a
dd target for creatin
g
dist wi
t
h g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
d
oc: up
d
a
t
e voting
t
heory
r
e
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erd
o
ola
e
ge
document barvinok_summate a
n
d b
a
rvin
o
k_max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: c
o
nsistent use
of Barvin
o
k
'
s initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
b
a
rvinok_summate: cor
r
ect options des
c
ript
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolaege
D
o
c
u
m
e
nt Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
r
do
o
la
e
g
e
doc: change exa
m
ple
environm
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
do
c
:
add some hidden sections to table of
conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another doc
u
ment refering to the
l
ib
r
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
add so
m
e
test
s
for Euler-Maclau
r
in bas
e
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Euler-Mac
l
aurin
based
s
ummation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
Eul
e
r
-Maclaurin bas
e
d summation for
2D prob
l
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: avoid us
e
o
f
h
alf-o
p
en
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
barvino
k
_
s
ummat
e
: verify solution over whole
p
a
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
i
ntro
d
u
c
e
ba
r
v
inok_summate as a
w
r
a
p
per for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add
evalue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
evalue_{div,m
u
l
}
: h
a
ndle som
e
trivial cases more effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
lattice_point
:
ex
p
o
rt fractional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
evalu
e
.
c: extract common code for co
n
structi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
vo
l
ume
.
c: export Param
_
Pol
y
hedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolae
g
e
add ev
a
lue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type o
f
evalue_polyno
m
ial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
u
pp
o
rt computat
i
on o
f
Bernoul
l
i polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sepa
r
a
te computation of B
e
rnoulli coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
la
t
tice_
p
oint: use
P
a
ram_Vertex_Commo
n
_
Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
make decomposer
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
red
u
ce_domai
n
: avoi
d
use of
mac
r
o
param
e
t
er w
i
th n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
laege
Use
p
i
plib during
b
asis re
d
uct
i
on if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bu
n
dle
d
piplib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
olaege
a
d
d
p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaeg
e
Use bundled Pol
y
L
ib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
e
g
e
add polylib
submod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
bernstein: al
l
o
w
linking
against un
i
nstalled, but buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
add mor
e
m
i
ssi
n
g asser
t
.
h #
i
nclud
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
erdoolaege
ad
d
dummy implementations of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
update "Counti
n
g w
i
t
h
ra
t
iona
l
gene
r
ating functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
barv
i
nok
.
cc: spl
i
t off part
c
onstr
u
cting
g
e
nera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
barvinok
.
cc: s
p
lit off
p
a
r
t dealing
w
it
h
exis
t
ent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoid recomputation of
d
e
n
o
minato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
coun
t
er: remove redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
do
o
laege
change
t
y
p
e of s
o
me "sign
"
s to int as they can
o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
l
a
ege
doc:
u
p
date Algorithmica
p
ublica
t
ion
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Ver
d
oolaege
evalue
.
c: make para
m
eter n
a
m
e
s of type cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdool
a
eg
e
sample
.
c: Polyhedron_Remov
e
FixedCol
u
mns: corre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
til
.
c: remove_equali
t
ies: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
oolaege
Param_
P
olyhedron_Print: prin
t
e
v
e
r
ythin
g
t
o
giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
bar
v
inok_enumerate_wi
t
h_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verd
o
olae
g
e
barvinok
.
cc
:
don't free P arg
u
ment in en
u
mer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoola
e
ge
remove_all_equalities: also r
e
move equalities in context
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n Verdoolaege
volume
.
c:
a
void w
a
rning
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
exp
o
rt P
a
r
am_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verdoo
l
aege
b
a
rvinok_enumerate
.
cc: ad
d
minimal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
ae
g
e
more p
r
ototype changes to c
o
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
evalue
:
print_eval
u
e:
make parameter n
a
m
e
s co
n
s
t
char
*
s
commit
|
commitdiff
|
tree
2007-07-11
S
v
e
n Verd
o
ola
e
g
e
A
l
ways compile p
o
lyt
o
p
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olaege
p
o
lytope_scan
:
use argp for argument
p
arsin
g
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdoolaege
do
c
: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verdoolaege
configur
e
.
in: allo
w
specification of d
e
fa
u
lt pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doola
e
ge
consoli
d
ate calls to Po
l
yhedron2Para
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdo
o
laege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
V
erdoolaege
Makefile
.
a
m: add $(EXEEX
T
) fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: force rebuild librari
e
s in subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
only test barvinok_m
a
ximiz
e
if it has
b
ee
n
/can be creat
e
d
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
tes
t
lib
.
cc: work
aroun
d
i
ncomplete
n
amespace s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
scale
.
c: enum
e
rate_n
a
rrow_flated
:
don
'
t simp
l
ify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
d
eclare variable
s
at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update docu
m
entat
i
on of options and s
o
me fu
n
ctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyh
e
dron_Sampl
e
:
f
ac
t
or polyhedr
o
n if p
o
ssib
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oo
l
aege
Poly
h
edron_Sample: compute ve
r
tices
o
f 1
D
polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron_Sample: re
m
ove all equalit
i
es from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
add
p
ossib
i
lity to use GLPK as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhed
r
o
n_
S
ample: p
o
stp
o
ne
removal of ra
y
s until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyhedr
o
n_Sample: use lp solver
for
f
i
n
d
ing
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
dool
a
ege
lexm
i
n: m
o
ve choice of lp s
o
lver to use ou
t
side basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
polysign
.
h: use correct nam
e
of
P
L_polyhe
d
ron_aff
i
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laege
bar
v
inok_enumerate: plug m
e
mory
l
eak in B
e
rnoulli approximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
barvinok
_
e
n
u
merate_e
_
r:
d
on't assume
A
ddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
evalue_frac2polynomial: recheck
evalue afte
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
e
rdoolaege
util
.
c: L
i
ne
_
Le
n
gth: don't get c
o
nfused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
aege
Makefile
.
am: stop
after first failed tes
t
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
doolae
g
e
bernstein:
c
arry
t
hro
u
gh varia
b
le re
n
aming to debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
erdoolaege
bernstei
n
: d
o
n't assume inpu
t
polynomial
h
as been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Ve
r
d
oo
l
a
e
ge
evalue_
r
ead
.
c:
c
orrect const
n
ess of na
m
e in
p
a
r
a
m
e
te
r
_new
commit
|
commitdiff
|
tree
next