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
Euler-Maclaurin based summation for 2D problems
2007-09-10
Sven
V
erdoo
l
aege
Euler-Macl
a
urin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvin
o
k_summate: verify so
l
ution ov
e
r whole
p
aramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
int
r
oduce barvinok_sum
m
a
t
e as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
eva
l
u
e
_{di
v
,mul}:
handle s
o
me trivial cases more efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattice_po
i
n
t
:
e
xport fr
a
ctional_
p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
a
e
ge
e
v
alue
.
c
:
e
x
tr
a
ct common code f
o
r
c
on
s
truct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
volume
.
c: export
Par
a
m
_P
o
l
y
hedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
ad
d
ev
a
lue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
fix type
o
f
e
valu
e
_polynomial arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oo
l
aege
sup
p
ort
c
om
p
utatio
n
of Be
r
noulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
sep
a
rate c
o
mputation of Bernoul
l
i coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
aege
lattice_point: use Pa
r
am_Vertex_C
o
m
m
on_Denomi
n
ato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
make decompose
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
reduce_domain: avoid
u
se of m
a
cr
o
para
m
eter w
i
th n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
export ev
a
lue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
U
s
e p
i
plib during basis reduction if no ot
h
er LP sol
v
er
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use
b
undled p
i
plib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
la
e
ge
add piplib
m
odul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use b
u
ndle
d
PolyLib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
ad
d
po
l
ylib
submo
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
bernstein:
a
llow
linking ag
a
inst u
n
installed, but
bui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ver
d
oola
e
ge
add mo
r
e missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n V
e
rdoola
e
ge
add dummy impleme
n
t
a
ti
o
ns of
functions
that d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ver
d
oolaege
update "Counting with
rational gene
r
a
t
ing f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
ba
r
vinok
.
cc: spl
i
t o
f
f
p
art
c
onstructing g
e
neratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvin
o
k
.
cc: split o
f
f part
dea
l
ing
w
ith existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdo
o
laege
*counter: av
o
id recom
p
utation
of deno
m
inators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
c
o
unter: remov
e
redund
a
nt membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolae
g
e
chan
g
e type of some
"
sign
"
s
t
o i
n
t as t
h
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
doc: up
d
a
t
e Algo
r
i
thmic
a
pub
l
icat
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
V
e
rdoolaege
evalue
.
c
: make p
a
rameter
n
ames
of
t
ype const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oolaege
s
a
mple
.
c: Polyhedr
o
n_R
e
m
o
veFi
x
edColumns:
corre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
Verdo
o
laege
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_Print: print everything to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoo
l
aege
barvinok_enumerate
_
with
_
options: do
n
't add cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdoolaege
barv
i
nok
.
c
c
:
d
on't free P arg
u
me
n
t in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doo
l
a
e
ge
remove_all_
e
qualities: also remov
e
e
qual
i
ties in
context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
e
ge
v
o
lume
.
c:
a
v
o
i
d warni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
expor
t
Param_Inner_
P
ro
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdool
a
ege
bar
v
in
o
k_enumerate
.
cc: add minimal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
mo
r
e
p
rotot
y
pe change
s
t
o
c
onst c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdoolaege
evalue: pri
n
t
_
ev
a
lue: make parameter names co
n
st char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en V
e
rdoola
e
g
e
Always compile
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaege
polytope_scan: use a
r
gp for ar
g
ument
p
ar
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoola
e
ge
configu
r
e
.
in:
a
l
l
o
w specificat
i
on of
defaul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidat
e
calls to Poly
h
edron2Param_D
o
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c:
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
Makefi
l
e
.
a
m: add $(EXEEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Ver
d
oolaege
M
ake
f
i
l
e
.
a
m: force rebuild libraries in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Ve
r
doolaeg
e
only test
b
ar
v
inok_
m
axim
i
ze if it
h
a
s
been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
barvi
n
o
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
ol
a
ege
testlib
.
cc: work
a
ro
u
nd incomple
t
e name
s
pace
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
scale
.
c: enume
r
ate_nar
r
ow
_
flated: don't simplify c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare
v
aria
b
les
a
t sta
r
t of co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
o
o
laeg
e
doc:
update documentation
o
f options and som
e
f
uncti
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedron_Sa
m
ple: factor polyhe
d
ron if p
o
ssi
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedro
n
_Samp
l
e:
c
ompute vertices of 1
D
p
o
l
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyh
e
dron_Sampl
e
: remo
v
e al
l
e
qua
l
ities from polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
doolaege
a
d
d poss
i
bili
t
y to use GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdool
a
ege
Polyh
e
dron_Sampl
e
: postpone rem
o
val of rays un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_Sample
:
use lp
solver for f
i
nding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
lex
m
in: move choice of l
p
solver to us
e
outside
b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
polys
i
gn
.
h:
use co
r
rect name of
P
L
_p
o
l
yhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
barv
i
nok_enu
m
erate: plug m
e
mory leak
i
n
Bernoulli a
p
p
ro
x
i
ma
t
ion
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate_e_r:
d
on't assu
m
e AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
ol
a
ege
ev
a
lue_f
r
ac2
p
olyno
m
ia
l
: rech
e
ck evalue a
f
ter evalue
_
spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
uti
l
.
c: Line_Length: don't get confu
s
ed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoola
e
ge
Mak
e
f
i
le
.
a
m
:
stop aft
e
r first f
a
iled test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoo
l
a
e
g
e
berns
t
ein: carry th
r
ough v
a
riable
r
e
n
aming
to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
ae
g
e
bernstein
:
don't assum
e
input polynomial
has been
expanded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
V
e
r
doolaege
evalue_re
a
d
.
c
:
correct constness of n
a
me in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
e
v
alue_read:
a
ccept constant m
u
ltiple of va
r
ia
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n Verdoolaege
e
value
.
c:
eval
u
e_s
u
m: bette
r
h
andli
n
g of negative
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c
:
reorder
_
terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
evalue: d
e
clare fi
r
s
t argument o
f
e
mul
c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
aege
e
v
alue
.
c: emu
l
: don't use ex
p
l
ici
t
_comp
l
e
m
ent on argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oo
l
aege
add
a
test fo
r
evalue_spl
i
t_per
i
ods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c: evalu
e
_split_perio
d
s:
m
ake sure select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdoolaege
evalue
.
c: pol
y
nomia
l
_pr
o
jection: use evalue_e
x
tract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
r
d
o
o
l
aege
add a test for
b
arvinok_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdo
o
la
e
ge
barvinok_s
u
mm
a
te: su
p
port v
e
r
ification of re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
e
value
.
c:
evalue_sum:
s
plit into o
r
thants + some refacto
r
ing
commit
|
commitdiff
|
tree
2007-06-10
S
v
en
Ve
r
doolaege
barv
i
nok_u
n
ion: use argp
f
o
r
a
r
gument
p
arsing
commit
|
commitdiff
|
tree
2007-06-09
S
ven Verdoolaege
barv
i
nok_enumerate_unio
n
_se
r
ies
_
with_options
:
fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
b
a
sis_reduction_cdd
.
cc:
get
co
r
rect d
u
al solutio
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n
V
e
rdoo
l
aege
ba
s
is_
r
educti
o
n
_glpk
.
c: correctly set t
y
pe of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
eg
e
basis_reduction
_
glpk
.
c: check for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verdoolaege
options: mention
default
a
nd
a
vailable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
polyhedro
n
_sample
:
take
optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Ver
d
oolaege
doc: more ab
o
ut p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n
V
erdool
a
eg
e
doc: repeat Matthias' stopped Ba
r
vinok exp
e
riments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdool
a
ege
ad
d
barvinok_summate
t
o su
m
a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laege
eval
u
e_read: f
i
x
f
or top
-
lev
e
l f
r
acti
o
nal pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdoolaeg
e
bernoull
i
.
c: Berno
u
lli_sum_eva
l
ue: reduce res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en
Verdoolaeg
e
bernoulli
.
c: perform nested sums approxima
t
i
o
n
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
add polynomial
a
pproximati
o
n b
a
sed o
n
nested sums
commit
|
commitdiff
|
tree
next