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
polytope_scan: reenable --direct option
2007-10-25
Sven Verdoolaege
polytope_scan
:
reenable -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
r
e
move_all_equa
l
it
i
es: keep removing equaliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaeg
e
remove
_
all_equalities
:
hand
l
e em
p
ty
polyhe
d
ron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdo
o
la
e
g
e
remove_al
l
_equali
t
i
es:
minor code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
x
port Po
l
yhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en V
e
r
do
o
laege
polar_signed_cone_consumer: cle
a
n up memory on inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven Ver
d
oolaege
Param_Inner_Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verd
o
olaege
doc: fix typo
in Michele V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing
f
ile
s
fr
o
m
p
olymake client
t
o distr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Use gmp's
g
c
d rathe
r
th
a
n
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
oly
m
ake/README:
m
ention --with-barvi
n
ok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake
/
Makefile
.
in: add work-ar
o
und for
p
olymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoola
e
ge
e
v
a
l
ue
.
c: print_e
v
alue:
always print newli
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdoolaeg
e
o
p
tions
.
c: fi
x
typo in --approximation-me
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n V
e
rd
o
o
laege
topcom
:
fi
x
heu
r
istic for
s
elec
t
ing rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
M
e
rge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent
TOPCOM
base
d
ch
a
mber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
test TOPCOM chamber deco
m
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use T
O
PCOM t
o
c
ompute chamber decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
l
e
xmin: add
(
protected) missing algori
t
hm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Makef
i
le
.
am: add t
a
rge
t
for creating dist with
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
doc: update v
o
ting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docu
m
ent barvino
k
_
s
ummate and b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
ool
a
e
g
e
d
o
c: consis
t
ent
use
o
f
Barv
i
nok's
initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_s
u
mmate:
correct opt
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoola
e
g
e
Docu
m
ent E
u
ler
-
Mac
l
aur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change exam
p
le environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
rdoolaege
doc
:
add some hid
d
en secti
o
ns
t
o
t
able of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
e
r
d
o
olaege
doc: a
n
o
t
her
doc
u
ment refering
to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
a
d
d some tests fo
r
E
u
ler-Maclaurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eul
e
r-M
a
c
laurin base
d
summation for
1
D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
e
g
e
Euler-Maclaurin based sum
m
ation
f
or 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
decomposer
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
barvinok_summate:
v
erify so
l
ution over wh
o
l
e parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolae
g
e
i
nt
r
oduce barvi
n
ok
_
summat
e
as a wr
a
pper f
o
r evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
ad
d
eval
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div
,
mul}: han
d
l
e
s
o
me trivial case
s
more efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
la
t
tice_point:
e
xport frac
t
ional_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
evalue
.
c
:
extract
common code fo
r
con
s
t
ruction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
volum
e
.
c: export
P
aram_Polyhedron_Fa
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
la
e
ge
fix t
y
p
e of e
v
alue_polynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
su
p
port computation of Bernoulli
pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
sepa
r
ate
computation of Bern
o
u
l
li coefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
lattice_point: use Param_Vertex_Commo
n
_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make de
c
omposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
reduc
e
_do
m
ain:
avoid u
s
e of m
a
cro pa
r
ameter
w
ith
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
exp
o
rt eval
u
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
U
s
e
p
i
pli
b
dur
i
ng basis reducti
o
n
if no ot
h
er LP solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
Use
b
und
l
ed pi
p
li
b
by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
Use
b
u
n
dled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polyli
b
subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
bernste
i
n: allow linking ag
a
inst uninsta
l
led, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
e
g
e
add mo
r
e
m
issing assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add
dummy implementat
i
on
s
of functions that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ver
d
oolaege
updat
e
"
Coun
t
ing w
i
th
rational
g
e
nerati
n
g
function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
r
v
inok
.
cc: s
p
li
t
o
f
f
p
a
rt
constructing gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ver
d
oolaege
barvinok
.
c
c:
s
plit
off part de
a
ling with
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
*count
e
r
:
avoid recomputatio
n
of
d
enom
i
nator
s
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
count
e
r
: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
cha
n
ge
type of some
"
sign"s to int
a
s
t
hey can onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoola
e
ge
doc: updat
e
Algor
i
thmic
a
publicatio
n
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
Verdoolaege
eval
u
e
.
c: make pa
r
ameter names
o
f ty
p
e c
o
ns
t
c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
aege
s
a
mpl
e
.
c:
P
ol
y
h
e
dron_Rem
o
veFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
V
e
r
d
oolaege
util
.
c: remo
v
e_equalities: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdo
o
l
a
ege
Param_P
o
lyhedron_Pr
i
nt: print
everythi
n
g to given
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolae
g
e
barvinok_enume
r
ate_with_op
t
ions: don't
a
d
d
co
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
barvinok
.
cc: don't free P argum
e
n
t
in
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
r
e
m
o
v
e
_all_equali
t
ies:
a
lso
r
emov
e
eq
u
alities i
n
c
o
n
te
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
o
lume
.
c: avoid war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sven V
e
r
d
oolaeg
e
export Pa
r
a
m
_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
r
d
o
o
laege
b
a
r
vinok_e
n
umerate
.
cc: add minimal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoo
l
aege
more prototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
a
eg
e
e
v
a
lue: print_evalu
e
: make parameter nam
e
s
c
o
n
st c
h
a
r
*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdoolaege
Alw
a
ys compi
l
e p
o
lytope
_
s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaege
p
olytope_scan: use
arg
p
for arg
u
ment par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdo
o
laege
c
onfigure
.
in: allow specif
i
cation of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolid
a
te
calls to Polyhed
r
on2Para
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
a
ke
f
ile
.
am: a
d
d $(EXEEX
T
) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
Makefile
.
am: force re
b
u
i
ld libraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoola
e
g
e
only test barvinok
_
maximize if it has been/ca
n
be created
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
ge
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: wor
k
around incomplet
e
namespace sup
p
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
scale
.
c
: enumerate_narrow_fla
t
ed: don'
t
simp
l
if
y
constraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare
v
a
riables
a
t star
t
of code b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
ola
e
ge
d
o
c:
u
p
d
a
te
docume
n
t
a
tio
n
of
options and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_S
a
mpl
e
: factor
p
o
l
yhedro
n
i
f possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyh
e
dr
o
n_Sample: compute vertices of 1D polyhe
d
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyhe
d
ron
_
Sa
m
ple: remov
e
all equa
l
i
t
ies from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
add
possi
b
ility to
use G
L
PK as LP s
o
lv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oo
l
aege
Polyhe
d
r
on_Sam
p
l
e
:
postpone
re
m
oval of rays until
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
ol
a
ege
Polyhedron_Sample: use l
p
s
o
lver for fi
n
ding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
lexmin: mov
e
ch
o
ice of
l
p sol
v
e
r to
use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
o
olaeg
e
p
o
lysign
.
h: use co
r
rect na
m
e
o
f
PL_polyhedron_affi
n
e_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verd
o
olaege
barvinok_enumera
t
e
:
p
l
ug memory leak in
Berno
u
ll
i
appro
x
ima
t
io
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvi
n
o
k_enumerate_e_r
:
don't assume AddConstr
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
next