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
introduce barvinok_summate as a wrapper for evalue_sum
2007-09-08
Sv
e
n V
e
rdool
a
ege
i
n
troduce
b
ar
v
inok_summ
a
te a
s
a wrapp
e
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
_{d
i
v,mul
}
: h
a
ndle s
o
me trivial cases
more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latti
c
e_point:
export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
o
l
a
ege
eval
u
e
.
c: extract common code
f
or construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
volum
e
.
c:
export Param_Po
l
yhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
f
i
x
type of eval
u
e_poly
n
omial
a
r
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
u
p
p
o
r
t
c
o
m
putation of Bernoul
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
s
eparate co
m
putation of
Berno
u
lli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
latt
i
ce_
p
oint: us
e
Param_Vertex_Common_Deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
make decomposer
.
h s
e
lf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
reduce_doma
i
n
:
a
void
u
se of macro parameter
with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
doolaege
U
s
e
piplib during b
a
sis reduction if no oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
ad
d
pipli
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
U
se
b
undled
P
olyLi
b
by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolae
g
e
add polylib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: allow linking agains
t
uninstall
e
d
,
b
ut b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more
missi
n
g assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
erdoo
l
aege
add dummy i
m
plementati
o
ns of func
t
i
o
ns tha
t
de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ve
r
doo
l
ae
g
e
upd
a
te "
C
o
u
nting with rational gen
e
rating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
barvinok
.
cc: spli
t
o
f
f pa
r
t construc
t
i
ng generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
barvinok
.
cc: spli
t
o
ff part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
*c
o
unte
r
: avoid rec
o
mput
a
tio
n
o
f
d
e
nominat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
counter
:
r
emove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
Verdoolaege
change
t
yp
e
of s
o
me "sign"s to int as th
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
doc: upda
t
e
Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ve
r
dool
a
ege
e
valu
e
.
c:
make
p
arameter names of type c
o
ns
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
s
a
mple
.
c: P
o
l
y
h
edron_Remo
v
eF
i
xedColum
n
s:
correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoo
l
a
ege
util
.
c
: remove_e
q
ua
l
i
t
ies: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
r
d
oolaege
Param_Polyhe
d
ron
_
Print: print everything to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate_with_options: don't a
d
d con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
barvi
n
o
k
.
cc: don't fr
e
e P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven
Ve
r
doolaege
remove_all_equal
i
t
i
e
s
:
also remove eq
u
alities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Verdoolae
g
e
expo
r
t
Param_Inner_Pro
d
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
V
e
r
doolaege
barvinok_enumerate
.
cc: add minimal che
c
k o
n
i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
dool
a
ege
more prototy
p
e
changes to
c
onst ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolae
g
e
evalue: print
_
evalue: mak
e
parameter names con
s
t ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
e
r
d
oolaege
polyt
o
pe_scan:
use argp
f
or argum
e
n
t
pa
r
sing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verd
o
ol
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Ver
d
oolaege
configure
.
in: allow specification of
default
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
rdoo
l
aege
c
ons
o
lida
t
e calls to Polyh
e
d
r
on2
P
ar
a
m_Dom
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
v
olume
.
c
:
fix typo in
comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en V
e
rdoolaeg
e
Ma
k
efile
.
am: add $(E
X
EEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
f
orce r
e
b
u
ild
l
ib
r
aries in
subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
only test
b
arvinok_maximize i
f
it
ha
s
been/can be cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
a
e
g
e
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
te
s
tlib
.
cc: work a
r
o
u
nd incomplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c
: enu
m
erate_narrow_flated: don't s
i
mplif
y
constr
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declar
e
variables at sta
r
t
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
doolaege
doc: upd
a
t
e do
c
u
m
e
n
tation of options a
n
d some functio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_Sample:
factor polyhedro
n
if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoola
e
ge
Polyhedron_Sample: compute vertices
of
1
D
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
P
olyhe
d
ro
n
_Samp
l
e: r
e
move all equa
l
ities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
add
possib
i
lity to
use GL
P
K as LP sol
v
er
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Pol
y
hedron_Sample:
postpo
n
e
removal o
f
rays unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
Polyhedron_Sample
:
use lp solver for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
oolaeg
e
lexmin: mo
v
e cho
i
c
e of l
p
s
olver to u
s
e
out
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoo
l
aege
po
l
ysig
n
.
h: use cor
r
ec
t
name
o
f PL_
p
olyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
o
o
l
aege
barvin
o
k_enumerate: plug m
e
mory leak
i
n Bernoulli ap
p
rox
i
m
ation
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaeg
e
b
a
r
v
ino
k
_en
u
mer
a
t
e
_e_r
:
d
o
n
't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
evalue_
f
rac2poly
n
omial: re
c
he
c
k
evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
util
.
c: L
i
n
e_Length: don't
get
con
f
used by
p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
M
a
k
e
file
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoola
e
ge
bernstein: ca
r
ry th
r
ough va
r
iable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en V
e
rdoolaege
bernstein: don't ass
u
me input poly
n
omial h
a
s been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
evalue_r
e
ad
.
c: corr
e
ct
c
o
n
stness of name in
p
ar
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
lae
g
e
evalu
e
_r
e
ad: accept
c
on
s
tant multiple of
variab
l
e without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
v
alue
.
c: evalue_su
m
:
b
etter handlin
g
o
f negative
v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n Verd
o
olaege
evalue
.
c
:
r
e
order_term
s
: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolae
g
e
eva
l
ue: declare first argument of
e
mul cons
t
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaege
evalu
e
.
c: emul: don't use expl
i
c
i
t_complement
o
n
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a
test
for eval
u
e_s
p
lit_per
i
ods
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolaege
e
value
.
c: evalue_split_period
s
:
make sure se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eval
u
e
.
c: polyn
o
mial_projection: use evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
do
o
laege
add a test for barvinok_ma
x
imize a
n
d barvin
o
k_summa
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
b
arvinok_summate
:
s
u
pport
v
erificat
i
on
o
f
r
e
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Ver
d
oolaege
evalue
.
c
:
evalue_su
m
: split
i
n
t
o orthan
t
s + some refacto
r
ing
commit
|
commitdiff
|
tree
2007-06-10
Sven
Ver
d
ool
a
ege
barvi
n
ok_union: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoo
l
a
e
g
e
barvinok_enumerate_union_series_with_op
t
ions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_reducti
o
n_cdd
.
cc: get
correct
d
ual solu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_r
e
duc
t
i
o
n_
g
lpk
.
c: c
o
rrectly set type
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaege
b
a
sis_reducti
o
n
_
glp
k
.
c: check fo
r
sanity of
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
g
e
op
t
ion
s
:
mention de
f
ault and availabl
e
solvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Ve
r
dool
a
e
g
e
po
l
yh
e
dron_sa
m
pl
e
: take
option
s
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoola
e
ge
doc: m
o
re ab
o
ut power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolae
g
e
d
oc: typ
o
commit
|
commitdiff
|
tree
2007-05-30
S
v
en Verdoola
e
ge
d
o
c:
repeat
Matthia
s
' stopped Barvinok
e
xperiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoolaege
add barvinok_su
m
mate to sum a quasi-polynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olaege
e
v
alue_r
e
a
d:
f
ix for top-level
fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
laeg
e
bernoulli
.
c: Bernoulli_sum_evalue: re
d
uce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rd
o
olae
g
e
be
r
noulli
.
c: pe
r
form nes
t
ed sum
s
appro
x
i
m
ati
o
n dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
olaege
ad
d
polynomial appr
o
ximation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Ver
d
oolaege
util
.
c: extract for_eac
h
_lower_u
p
p
e
r_boun
d
from P
a
ra
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
erdoolaeg
e
decomposer: use N
T
L to invert matri
x
rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
la
t
tice_po
i
nt
.
cc: all
o
w rays
a
nd ver
t
ex to ha
v
e
b
e
en
.
.
.
commit
|
commitdiff
|
tree
next