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
lattice_width.c: try vertices of previous integer hulls in new integer hulls
2007-10-25
S
v
en V
e
rdoolaege
barvinok/polylib
.
h: remove compatibility with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
move Vector_Oppo
s
e to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ve
r
doolaeg
e
remove_al
l
_
e
qu
a
lities: keep removing equa
l
iti
e
s
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdool
a
ege
r
e
m
o
v
e_all_e
q
ualities: h
a
ndle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ver
d
oolae
g
e
re
m
o
v
e
_
all_equalities: min
o
r
co
d
e c
l
e
a
n
-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
expor
t
Polyhedron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdoolaeg
e
po
l
ar
_
signed_
c
o
n
e_consumer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdo
o
laege
Pa
r
am_Inner_Pr
o
duct: fi
x
use
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc: fix typo
in Michele Verg
n
e's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Ad
d
missing file
s
f
r
om polymake client
to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoola
e
g
e
polymake/README
:
mention
-
-with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
make/Make
f
ile
.
in: add work-around fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
evalue
.
c: print_eval
u
e: always print newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdoolaege
options
.
c: fix typo in --approxi
m
ation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
doolaege
topcom: fix heur
i
stic fo
r
se
l
ecting rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Ver
d
oolaeg
e
bar
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
M
e
rge br
a
nch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdool
a
ege
Document TOPCOM b
a
sed chamber d
e
comp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolae
g
e
test TOPCOM cha
m
ber
decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Optionally use TOPCOM to
c
ompute ch
a
mber de
c
ompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
le
x
min: add (protected) missing a
l
gor
i
thm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
a
m
: add target
f
or cr
e
ating dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update voting
t
h
eory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aeg
e
document
barvinok_summate a
n
d b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolae
g
e
d
o
c: consistent u
s
e
o
f Barvi
n
ok's
i
ni
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoo
l
aeg
e
b
a
rvinok_summate: cor
r
ect options
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
Document
Euler-Maclaurin based summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: change example
environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: add some hi
d
den s
e
ct
i
ons to t
a
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: a
n
other do
c
um
e
nt refering to the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
dool
a
ege
add some te
s
ts
f
or E
u
ler-Mac
l
aurin ba
s
ed summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
Eu
l
er-Macl
a
u
r
i
n
based summation for 1D
p
roblems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaeg
e
Eul
e
r-Maclaur
i
n ba
s
ed summation f
o
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
decompos
e
r
.
cc:
a
void use
of half
-
open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate: verify solu
t
ion over whole paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
introduce barv
i
nok_sum
m
ate
a
s
a wr
a
pp
e
r for eval
u
e_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add eval
u
e_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
doolaege
evalue_
{
div,mul
}
: handle
s
ome
triv
i
al cases
m
ore efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
l
a
ttic
e
_
p
oint: export fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
e
v
a
lue
.
c: extract common code for const
r
uc
t
i
o
n
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: ex
p
ort Param_
P
olyhed
r
on_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d e
v
alue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
fix type of ev
a
lue_polyn
o
m
ial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support c
o
mputation
o
f
B
erno
u
lli po
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sepa
r
ate
co
m
putatio
n
of Ber
n
oulli co
e
fficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdo
o
laege
latt
i
ce_point:
us
e
Param_Ve
r
tex_Comm
o
n
_Denomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdo
o
la
e
g
e
make
d
eco
m
poser
.
h
s
elf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
reduce_domain: avoid u
s
e of macro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
export evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
s
e
piplib during basis
r
edu
c
ti
o
n
i
f no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundl
e
d p
i
plib by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
Us
e
bu
n
dled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
o
o
laege
a
d
d polyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
b
erns
t
ein: a
l
low li
n
k
ing agains
t
unins
t
alled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoola
e
ge
add more missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdoolaege
add dummy implementations of f
u
nctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolae
g
e
update "Counting with r
a
ti
o
nal ge
n
era
t
ing
f
u
n
c
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Verdoo
l
aege
b
a
rv
i
nok
.
cc:
sp
l
it off part
construct
i
n
g generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
V
e
rdool
a
ege
b
a
rvinok
.
cc: split
o
f
f pa
r
t dealing with e
x
ist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
*count
e
r: avoid recomput
a
tion
o
f de
n
ominators
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
counter: remove red
u
ndant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
ch
a
n
g
e
type o
f
s
om
e
"sig
n
"s
to int a
s
they can onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven V
e
rdool
a
ege
doc: upda
t
e Algorithm
i
ca
pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdo
o
l
a
ege
evalue
.
c
:
make parameter
n
ames of t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verd
o
ol
a
ege
samp
l
e
.
c: Poly
h
edron_R
e
move
F
ixedColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
rdoolaege
util
.
c:
r
em
o
ve_e
q
ualities
:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven V
e
rdoo
l
aege
Param
_
Po
l
yhedron_Pri
n
t: print eve
r
yt
h
ing t
o
g
i
v
e
n fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoola
e
g
e
b
arvino
k
_enu
m
e
rate_with_options:
don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
b
a
rvinok
.
cc: don't free P argument in e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
remov
e
_a
l
l_equalities: also r
e
move equal
i
ties in context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
v
o
lume
.
c: avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n
Verdo
o
laege
export Param_Inne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvin
o
k_enum
e
r
ate
.
cc:
ad
d
minimal check on in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaege
more prot
o
type changes to co
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaeg
e
e
value
:
p
r
int_e
v
a
l
ue: make
p
arameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoola
e
ge
Always com
p
ile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
p
o
l
yt
o
p
e
_sc
a
n: us
e
a
rgp fo
r
ar
g
ument
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdool
a
e
g
e
configure
.
in: allow specific
a
tio
n
o
f
de
f
ault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
erdoolaege
co
n
solida
t
e
ca
l
ls to Polyhedron2Param_
D
omai
n
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdool
a
ege
volume
.
c
:
fi
x
typo
in
c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoo
l
aege
Make
f
ile
.
am: add $(EXEEXT) for
cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
Makefile
.
am:
f
orce
r
ebuild librari
e
s
i
n subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
only test barvinok_maximize if it h
a
s
been/can be
cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rd
o
olaege
barvinok
0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
e
rdoolaege
testlib
.
cc:
w
ork a
r
ound incomplete namesp
a
ce support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolae
g
e
scale
.
c:
en
u
merate_narrow_fla
t
ed: don't simplify constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
declar
e
variables at star
t
of
c
ode block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
doc: update doc
u
men
t
ation
of op
t
i
ons
a
nd some fu
n
ction
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
l
y
hedron_Sample: fa
c
tor p
o
l
yhedron i
f
p
o
s
si
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
Polyhed
r
on_
S
am
p
l
e: compu
t
e vertic
e
s of 1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyh
e
dron_S
a
m
p
le: remove all
equa
l
i
t
i
es from
poly
h
ed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
a
d
d po
s
sibility to use
GLPK as LP sol
v
er
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaege
P
olyhe
d
r
on
_
Sample: postpone removal o
f
ra
y
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sam
p
le: use lp sol
v
er for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
lexmin
:
move cho
i
ce of lp solver to u
s
e outside
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
polysign
.
h: use
c
orrect
name of PL_pol
y
h
edron_af
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
next