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
doc: fix typo in Michele Vergne's name
2007-09-28
Sven Verdoolaege
doc: fix ty
p
o in
Mic
h
ele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
Add missing files from polymake client to d
i
s
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en V
e
rdoolaege
Use gmp's gcd rather
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polyma
k
e/README: mention --wit
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ve
r
doolaege
p
o
lym
a
ke/M
a
kefile
.
in: add work-around for
p
o
l
ymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
a
e
g
e
evalue
.
c: print_eva
l
u
e
: always print newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opti
o
ns
.
c
:
fix typo in
-
-a
p
pr
o
ximation-method descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Ver
d
ool
a
ege
topcom: fix heuristic for sel
e
cting r
o
ws t
o
use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Me
r
ge b
r
anch 'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
D
ocument
T
OPCOM
b
ase
d
c
h
amber decomposit
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPC
O
M chamber decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Optionally use
TOPCOM to compute c
h
amber
decomp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Ve
r
doolaege
lexmin:
a
dd (p
r
otected) missing algorith
m
i
nclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
M
ak
e
file
.
am: add target for creating dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
ge
doc: u
p
date voting theory
r
ef
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
ege
documen
t
barvinok_summa
t
e and ba
r
vinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
oc:
c
o
nsist
e
nt use
of Barvinok'
s
i
nitia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
dool
a
ege
b
arvinok_
s
um
m
ate: correct options descriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Document Eul
e
r
-
Ma
c
lauri
n
based su
m
mat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
doc: ch
a
nge e
x
ample
envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rd
o
ola
e
ge
doc: add some
h
idden
s
e
c
tions to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
ool
a
e
ge
d
o
c
:
another docume
n
t
r
e
fering to the
libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
ge
a
d
d some tests for
E
uler-Maclauri
n
based
s
ummati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
rdoolae
g
e
Euler-Maclaurin
based
s
umma
t
ion for
1D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Mac
l
au
r
i
n
b
a
sed
s
ummation for 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
decompose
r
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
barvinok_s
u
mmate: verify
s
olution over whole
parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
int
r
o
d
uce barvinok_sum
m
ate
a
s a wrapper for evalue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value_{div,mul}
:
han
d
le some trivial cases more efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolae
g
e
lat
t
ice_point: export fra
c
tional_part
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
do
o
l
aege
evalue
.
c: extract
c
ommon code for con
s
tru
c
tion b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
v
o
lume
.
c: export Param_Pol
y
hedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdool
a
ege
fix type of eval
u
e
_
p
o
l
ynomial
argument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
la
e
ge
support computation of Berno
u
lli p
o
l
yno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
s
eparate computa
t
io
n
o
f
B
er
n
oulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
ttice_point: us
e
Param_Ve
r
t
ex_Commo
n
_Denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
ma
k
e
decom
p
oser
.
h s
e
lf-contained
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
redu
c
e_doma
i
n: avoid use of
m
acro
p
a
r
a
meter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
export eval
u
e
_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use pi
p
l
i
b duri
n
g basis reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bu
n
dle
d
piplib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoola
e
ge
Use b
u
ndled
PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add polyl
i
b submod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
b
erns
t
ein: allow l
i
nking
a
g
a
ins
t
uninstalled, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaege
add mor
e
missing ass
e
rt
.
h
#include
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verd
o
ol
a
ege
add dumm
y
implementat
i
ons of functions t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
e
ge
update "Cou
n
ting wit
h
rati
o
n
a
l generating fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
barv
i
n
o
k
.
cc: spl
i
t off part con
s
truc
t
ing
genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
r
d
oolaege
b
a
rvinok
.
cc: split of
f
part dealing wi
t
h exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verd
o
olaege
*
c
o
u
nter: avoid r
e
computation o
f
denomina
t
or
s
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
cou
n
ter: rem
o
ve
r
e
d
undant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erd
o
olaege
c
h
a
n
ge type of so
m
e "s
i
g
n
"s to i
n
t
as they can
onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: updat
e
A
lgorithmica
publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdo
o
laege
evalue
.
c:
m
ak
e
parame
t
e
r
na
m
e
s of type const
cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c:
P
o
l
yhedron
_
RemoveFixedColumns: co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoo
l
aege
util
.
c: remove_equa
l
ities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Pa
r
am_
P
olyhedr
o
n_Print:
print ev
e
rything to giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barvi
n
o
k_enumerate_
w
ith
_
op
t
ions: don'
t
a
d
d
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc:
d
on
'
t free P a
r
gument in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
remove_all_eq
u
a
l
it
i
es:
a
lso remove equalities
i
n
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
o
la
e
ge
v
olu
m
e
.
c: avoid
w
a
rnings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Ver
d
oola
e
ge
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
b
a
r
vinok_enu
m
erate
.
cc: add minimal
c
heck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoola
e
ge
more
p
rot
o
t
ype
c
hanges to c
o
nst char *
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Ver
d
ool
a
ege
evalue: pr
i
nt_e
v
alue:
m
ake parameter name
s
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
o
olaege
Alway
s
com
p
ile pol
y
top
e
_
s
can
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Ver
d
oolaege
polytope_scan
:
use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
er
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n Verd
o
ol
a
ege
configure
.
in: al
l
ow specification of defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
consolidate cal
l
s to
Polyhed
r
on2Param_Dom
a
in
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaeg
e
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdool
a
ege
M
ak
e
file
.
am: add $(EX
E
EXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
f
orce rebuild libraries
i
n
s
ubdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
dool
a
ege
on
l
y test
barvino
k
_
maximiz
e
if it has been/can be
c
reated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barvinok
0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
test
l
ib
.
cc
:
work around inc
o
mp
l
ete
namesp
a
ce support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
scale
.
c: enu
m
e
r
ate_narrow_fla
t
ed: do
n
't simplif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
de
c
lar
e
variables at start of code bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
doc
:
update doc
u
mentat
i
o
n
of options and some functi
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: f
a
ctor polyhedr
o
n
i
f possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_
S
ample: compute ve
r
tices of
1
D
polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
Polyhed
r
on_Sampl
e
:
remove
a
ll equaliti
e
s fr
o
m poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibility to
use GLPK as
L
P solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Pol
y
h
e
dron_Sample: postpone
r
emoval of ray
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhed
r
on_Sample: use l
p
solver
for
f
i
nding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
lexmin: move choice of
lp solver
to use outside
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaege
p
o
l
ysign
.
h
:
use correct name of
PL_poly
h
edro
n
_
a
f
fine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
barvinok_enumerat
e
: plug me
m
o
ry leak in Bernoulli app
r
oximation
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
b
arvinok_enumerate_e_r: don't as
s
ume Ad
d
Cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
ev
a
l
u
e_frac2polynomi
a
l
: recheck e
v
alue af
t
e
r
evalue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
dool
a
e
g
e
u
t
i
l
.
c: Lin
e
_Length: don
'
t get c
o
n
fused
by
p
osi
t
i
v
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaeg
e
M
akefile
.
am
:
stop after fir
s
t
f
a
iled test
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oo
l
aege
b
e
r
n
stein
:
carry thr
o
u
g
h variable renami
n
g to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
ernst
e
i
n: d
o
n'
t
as
s
ume
input polynomial ha
s
been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoola
e
ge
evalue_read
.
c: co
r
rect constness of name i
n
par
a
mete
r
_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
d
o
o
laege
evalu
e
_
r
e
ad:
a
cc
e
p
t
c
onstant multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
next