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: another document refering to the library
2007-09-10
Sven V
e
rdo
o
laeg
e
doc:
a
nother d
o
cum
e
nt r
e
f
e
r
i
n
g to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
aege
a
dd som
e
t
ests fo
r
Euler-Mac
l
aurin bas
e
d s
u
m
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdoolaege
Euler-Mac
l
aurin based summation f
o
r 1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolae
g
e
Euler-Ma
c
laurin
based s
u
mmat
i
on for
2
D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
decomposer
.
cc: a
v
oid u
s
e of
half-o
p
en cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
b
ar
v
i
nok_summate:
verify solu
t
ion
o
v
e
r whol
e
par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
do
o
l
a
ege
i
n
troduce barvinok_summate as a
wrapper f
o
r
e
value_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
a
d
d
evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
e
value_{div,mul}:
ha
n
dle some tri
v
ial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latt
i
ce_p
o
int: export f
r
actional
_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolae
g
e
evalue
.
c: ext
r
act co
m
mon cod
e
for constr
u
ctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c
: ex
p
ort Para
m
_Po
l
y
h
edron_Fa
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of
e
valu
e
_
polynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
support comput
a
tion of
Bernoulli
p
olynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
ola
e
ge
separate computati
o
n o
f
Bernoulli coeffici
e
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
lat
t
ice_point: use Param_Vertex_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
make
d
ecomposer
.
h se
l
f-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
d
o
olaege
reduce
_
domain: av
o
id use of macro paramet
e
r w
i
th na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
e
xport evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rd
o
ola
e
ge
Use piplib
during basis re
d
uction if no other L
P
solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
U
s
e b
u
ndled piplib by d
e
fa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolae
g
e
ad
d
pip
l
ib
mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
U
se bund
l
ed PolyLib by
d
efaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
add po
l
yli
b
submod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
ber
n
stein:
allow linking against uni
n
stalled, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
a
d
d more mi
s
sing asse
r
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verd
o
olaege
add dummy impl
e
m
en
t
ations o
f
functions that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
up
d
ate "Counting with rational generating fun
c
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
b
a
rvinok
.
cc:
split
off pa
r
t
constructing
g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoola
e
g
e
barvinok
.
cc: spl
i
t off part dealing
w
ith existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolae
g
e
*coun
t
er: avoid
r
ecomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laeg
e
count
e
r: remove redundan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some "sign"s to int as they can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
doc: u
p
d
a
te Algor
i
thmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
r
doo
l
aege
e
value
.
c: mak
e
parameter
names of type const c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en Verdoola
e
ge
sam
p
l
e
.
c: Po
l
yhedron_RemoveFixedColumns: co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remove_eq
u
alities
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoola
e
g
e
Para
m
_
P
o
lyhedron_Pri
n
t
:
print ev
e
rything to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolae
g
e
barvino
k
_enumerate_with
_
o
p
tions:
don't
a
dd
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolae
g
e
barvinok
.
cc: don't free P argume
n
t in enum
e
rate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
remove_all_equalities: a
l
so
r
e
move equ
a
lities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
olum
e
.
c: av
o
id
warni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sven V
e
rdoola
e
ge
ex
p
o
r
t Param
_
In
n
er_
P
r
o
duc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvinok
_
enumera
t
e
.
cc: add min
i
mal
c
heck
o
n in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
more protot
y
pe
c
hanges to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaege
evalue: print_evalue: make parameter
n
a
m
es con
s
t char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
e
rdoolaege
Alw
a
ys
c
ompile po
l
y
t
ope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
o
o
la
e
ge
polyt
o
pe_sca
n
:
u
s
e
argp for argu
m
ent p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n
V
erdoola
e
ge
confi
g
ure
.
in
:
al
l
ow sp
e
cification of d
e
fau
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
consoli
d
ate
c
alls to
P
ol
y
hedron2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
ege
v
olume
.
c: fix typo
i
n comm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
Makefile
.
am: add
$
(EXEEXT) f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
le
.
am: forc
e
rebui
l
d librari
e
s in
s
ubdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Verdoolaege
only test barvinok_m
a
ximize if
i
t
has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
testl
i
b
.
cc:
w
ork a
r
ound inc
o
mplete nam
e
space
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
scale
.
c: enumerate_nar
r
ow_flated: d
o
n'
t
simp
l
ify c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
dool
a
ege
declare variables at sta
r
t o
f
code
b
lo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
lae
g
e
doc: update d
o
cumentation of
o
p
t
i
ons
and some
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
P
ol
y
hedron_Sample: fa
c
tor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedro
n
_Sample: comput
e
vertices o
f
1
D
polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
doolaege
Polyhedron_S
a
mp
l
e
:
re
m
ove all equalities from poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
a
d
d
p
ossibili
t
y
to
u
s
e GL
P
K
as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedron_S
a
mple: postpone re
m
oval
of rays un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
P
olyhe
d
ron_S
a
m
p
le: use lp solver for finding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
l
e
xmin:
m
ove choice of
l
p
solver to
us
e
outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
p
olysign
.
h: use corr
e
ct name of
PL_po
l
yhedr
o
n_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvi
n
ok_e
n
umerat
e
: pl
u
g memory leak in Bernoulli approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
b
a
r
vin
o
k_enumerate_e_r: don't assum
e
AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
doolaege
evalue_frac2polynomial:
r
ech
e
ck evalue a
f
ter eva
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
il
.
c: Line_
L
ength: don't get confus
e
d by positi
v
ity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Mak
e
fil
e
.
am: stop
after
first fa
i
led test
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n
Verdoolaeg
e
bernstein:
carry through variable ren
a
mi
n
g to
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
bernstein: d
o
n
't ass
u
me input polynomi
a
l has been
e
xpanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdo
o
l
a
e
g
e
e
v
a
lu
e
_
r
ead
.
c: cor
r
ect co
n
stness of name i
n
p
aram
e
t
e
r_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
evalue_r
e
ad:
accept constant multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoola
e
g
e
e
va
l
ue
.
c: evalue_su
m
:
bett
e
r handl
i
ng o
f
negat
i
ve values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doola
e
ge
evalue
.
c: reor
d
er_terms: fix
t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
evalue: d
e
clare
f
irst ar
g
ume
n
t of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
eg
e
evalue
.
c: emul: don't use explicit_complement on arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
add
a
test for evalue_
s
p
l
i
t_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
ola
e
ge
e
v
alue
.
c
:
evalue
_
spl
i
t_p
e
riods: make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdo
o
la
e
ge
evalu
e
.
c: polynomial_projection:
use
e
value_extract_
a
ffi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoo
l
aege
add a test for barvinok_maximize and barvinok_summ
a
t
e
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoo
l
a
ege
barvinok_summate: sup
p
ort verification of
resul
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doola
e
ge
evalue
.
c: eva
l
u
e
_sum: split into
orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
barvin
o
k_union: use ar
g
p for a
r
gume
n
t par
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaeg
e
barvinok_enumera
t
e_union_
s
e
r
ies_with_optio
n
s: fix
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaege
b
asis_reduction_c
d
d
.
cc
:
get correct dual so
l
ut
i
on
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
basis_redu
c
t
i
on
_
glpk
.
c: cor
r
e
ct
l
y set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
a
sis_r
e
duction_glpk
.
c: check for san
i
ty of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
options:
m
ention d
e
f
a
ult and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdo
o
l
aege
polyhedron_sample: ta
k
e options
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ve
r
doolaege
doc: more ab
o
u
t
power sums
commit
|
commitdiff
|
tree
2007-06-04
S
v
e
n
Ver
d
oolaege
do
c
: typo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n Verdoolaege
doc: repeat Matthias' stopped Barvinok exp
e
ri
m
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Verd
o
olaege
add barvinok
_
su
m
mate
t
o sum
a quasi-p
o
lynomial ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdoolaeg
e
ev
a
lue_
r
ead: fix f
o
r
t
op-level fractional part
commit
|
commitdiff
|
tree
next