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
evalue.c: print_evalue: always print newline at the end of element in partition
2007-09-21
Sven Verdoolaeg
e
evalu
e
.
c: p
r
int_evalue: al
w
ays print newlin
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n Verdoolaege
options
.
c: fix
typo in --approx
i
mation-meth
o
d d
e
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
ool
a
ege
top
c
o
m: fix heuri
s
tic
f
or selecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
la
e
ge
b
a
rvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Me
r
ge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdo
o
laege
Docume
n
t TOPCOM based cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
test TOPCOM chamber deco
m
positio
n
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoo
l
aege
Optionally
use TOPCOM t
o
compute
c
hamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
lexmin: add (protected) missing algorithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Make
f
i
le
.
am
:
ad
d
target for creating dist
w
i
th
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
doc:
u
pdate
v
o
t
i
n
g theor
y
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docu
m
ent barv
i
nok_summate an
d
b
a
rv
i
n
ok_ma
x
imize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
d
o
c: consis
t
ent us
e
o
f Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
b
a
rvinok_
s
ummate:
c
or
r
ect op
t
ions description
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
D
ocumen
t
Eu
l
er-Ma
c
laurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: change ex
a
mple e
n
vironment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doolaege
doc:
add
some hidden
s
ections to tab
l
e of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
doc: another do
c
umen
t
referin
g
to the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
add some tests for Euler-Maclauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based summa
t
i
o
n for
1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
E
u
ler-Maclaurin b
a
sed summa
t
ion for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
g
e
d
ec
o
mpo
s
e
r
.
cc:
a
v
o
id u
s
e of half-
o
pen
c
on
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
barvinok_s
u
mma
t
e: veri
f
y
solut
i
on over whole paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
i
nt
r
oduce barvin
o
k_
s
ummate as a wrappe
r
for
e
value_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oolaege
add eva
l
u
e
_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdool
a
ege
evalue_
{
div,mul}:
h
and
l
e som
e
tri
v
ial cases
more efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
lattice_point: export fractio
n
al_
p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
evalue
.
c: extra
c
t
c
o
mmon code for const
r
ucti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doo
l
a
e
g
e
volume
.
c:
e
xport Param
_
Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
fix ty
p
e of evalue_pol
y
nomial argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
support computat
i
o
n
o
f
Berno
u
l
li po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
separat
e
co
m
p
u
tation of Bernou
l
li c
o
ef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
la
e
ge
latt
i
ce
_
point: use Param_Vertex_Comm
o
n_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
make
decomposer
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
reduce_dom
a
in:
a
void use of m
a
cro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
ge
expo
r
t evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use piplib during basis reduction i
f
n
o other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
U
se
bundled pipli
b
by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
ad
d
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e
bund
l
ed Po
l
yLib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
ad
d
polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
d
oolaege
bernstein
:
allow link
i
ng
a
gainst uninsta
l
led,
b
ut b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdo
o
l
a
ege
a
d
d m
o
re
miss
i
ng assert
.
h #i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy im
p
lement
a
tio
n
s o
f
f
u
nctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
update "Coun
t
in
g
with r
a
tio
n
al
generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
erdo
o
laeg
e
b
ar
v
inok
.
cc:
split
o
f
f
part con
s
t
r
uc
t
ing ge
n
e
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
oola
e
g
e
barvinok
.
cc: s
p
lit
o
f
f part dealin
g
with ex
i
s
ten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n Verdoolaege
*
counter: avoid recomputati
o
n of den
o
minat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
ola
e
ge
counter: remove redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolae
g
e
c
h
ange type
of some
"
s
ign"s to
int as they
c
an on
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
doc: updat
e
Algorithmica publicati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven
V
erdoolaege
eval
u
e
.
c: make parameter
names
of type con
s
t char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven V
e
rd
o
ola
e
ge
samp
l
e
.
c:
P
olyhed
r
on_RemoveF
i
xedCol
u
mns: corre
c
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
rdoolaege
util
.
c
: rem
o
ve_equalities
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyh
e
dron_Pri
n
t: print everythin
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven V
e
rdoolaeg
e
b
a
rv
i
nok_enu
m
erate_with_
o
pt
i
on
s
: don't add
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoo
l
ae
g
e
barvino
k
.
cc: don't free P
a
rgument
in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
l
aege
remove_all_equalities: also remove
e
qualities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
volume
.
c: avoid wa
r
n
i
n
gs
commit
|
commitdiff
|
tree
2007-07-27
S
ven V
e
rdoola
e
ge
export Param_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-07-25
Sven
Verdoolaege
barvinok_enumerate
.
cc:
a
dd minimal check o
n
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
mo
r
e
prototype changes to co
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven V
e
rd
o
olaege
evalue:
prin
t
_evalu
e
: m
a
k
e
parameter
names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoola
e
ge
A
l
ways comp
i
le poly
t
o
pe_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoo
l
aege
polytope_
s
can:
u
se argp for argu
m
ent par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdo
o
laege
d
o
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
con
f
igure
.
in: allow specificati
o
n of defaul
t
pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
V
erdo
o
laege
cons
o
l
idate calls to Polyhedron
2
P
a
ra
m
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
e
g
e
volume
.
c:
f
ix ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: add $(EXEEXT) fo
r
cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdo
o
laege
Makefile
.
am: fo
r
ce rebu
i
l
d
libr
a
ries i
n
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
ol
a
ege
only test
barvinok_maximiz
e
if it has been/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
te
s
tlib
.
cc: work around incomplete namespace suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
laege
sca
l
e
.
c: enum
e
rate_na
r
r
ow_flated: don't simplif
y
co
n
st
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
ge
declare
variable
s
at
s
tart
of code
block
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n V
e
r
doolaeg
e
doc: update documentation of options and some function
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
Polyh
e
dron_Samp
l
e: factor po
l
yhedron if possib
l
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
r
d
oola
e
ge
Polyhed
r
on_Sample: com
p
ute ver
t
ices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyhedron_Sample: remove al
l
equalit
i
es from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibil
i
ty to
u
se
G
L
PK as
L
P
solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_Sample: postpone re
m
oval of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolae
g
e
P
olyhedro
n
_
Sa
m
p
l
e:
u
se lp s
o
lv
e
r for fin
d
ing ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
le
x
min
:
move choice
o
f
l
p
solve
r
t
o us
e
o
u
ts
i
de
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolae
g
e
po
l
y
sign
.
h: use correct
name of
PL_
p
o
lyhedron
_
aff
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
barvinok
_
e
nume
r
ate: plug memory
leak in Be
r
noulli approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
b
ar
v
inok_enumerat
e
_e_r: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
erdoolaege
e
value_
f
rac2polynomi
a
l: recheck evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolae
g
e
util
.
c: Line_Length
:
don'
t
get confused by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
d
o
olaege
Ma
k
efile
.
am: stop af
t
er fir
s
t failed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
ernstein: carr
y
through varia
b
le renaming to
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
berns
t
ein: don'
t
a
s
sume
input polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
evalue_read
.
c
:
c
orrect constne
s
s of nam
e
i
n
param
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
V
erdoolaege
e
v
al
u
e_read
:
accept con
s
tant multi
p
le of var
i
abl
e
wit
h
ou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n Verdoolaege
evalue
.
c: evalue_sum:
b
etter handling of negat
i
ve values
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
V
erdoolaege
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdo
o
laege
evalue: declare first
argume
n
t of
em
u
l
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
eval
u
e
.
c: emul: don'
t
use
e
xplicit_compl
e
m
ent
o
n arguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
ad
d
a test fo
r
evalue_
s
plit_periods
commit
|
commitdiff
|
tree
next