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
add evalue_mul_div
2007-09-08
Sven Verdoolaege
add evalue_
m
ul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olae
g
e
evalue_{div,m
u
l
}: handle some trivial
c
ases more efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolae
g
e
lattice_p
o
i
n
t: ex
p
ort fra
c
t
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoo
l
aege
e
value
.
c: ext
r
act common
cod
e
for con
s
t
ruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
volume
.
c: export Param_Po
l
yhed
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix
type of evalue_polynomial argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
support compu
t
ation of
B
ernoulli poly
n
omials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
s
eparate computation of
B
e
r
noulli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
l
attice_p
o
int: use Param_V
e
rte
x
_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
a
ege
make
d
e
composer
.
h se
l
f-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
reduc
e
_doma
i
n
:
avoid use of macro parameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoola
e
ge
e
xport evalue_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
U
s
e piplib
d
uring ba
s
is reducti
o
n i
f
no other L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
Use bundl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
add
p
ipl
i
b modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
Use bund
l
ed Po
l
yLib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
a
d
d
polyl
i
b subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
bernstein: allow
linking against uninstall
e
d,
b
ut
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
e
n Verdoolaege
add mo
r
e missing ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n Verdoolaege
add d
u
mmy implement
a
t
ions of fun
c
tions that
d
ep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
eg
e
upda
t
e "Count
i
ng
w
ith rationa
l
generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvino
k
.
cc: spli
t
off par
t
constructi
n
g
g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
barvi
n
ok
.
cc: s
p
lit
off
pa
r
t
d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*counter: avoid r
e
computatio
n
of
d
enominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
c
o
unt
e
r: rem
o
ve redu
n
dant
membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
change
type of
s
om
e
"sig
n
"s to int as they
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
dool
a
ege
d
oc: updat
e
Algorithmica pub
l
i
cat
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sven
V
erdoolaege
evalue
.
c: make p
a
rameter na
m
es of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
e
rdoolaege
sa
m
ple
.
c: Polyhedron_RemoveFixedColumns: corr
e
c
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdo
o
laege
util
.
c: remov
e
_equalit
i
e
s
:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolaege
Param_Polyhedro
n
_Print: print ev
e
rything to given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaeg
e
barvin
o
k_
e
numerate_with_
o
ptions: don't add co
n
te
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
erdoolaege
b
a
rvinok
.
cc: don't free P arg
u
ment in e
n
u
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remov
e
_all_equalities:
a
lso
r
e
move equalit
i
es in con
t
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaeg
e
v
olume
.
c: avoid
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Verdoola
e
ge
expor
t
P
aram_Inner_P
r
o
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
barvinok_e
n
u
merate
.
cc: add minimal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n
Verdoolaege
more prototype changes to c
o
n
st char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Ver
d
oolaege
eva
l
ue: print_evalu
e
: make p
a
rameter names con
s
t
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolae
g
e
polytope_scan: u
s
e argp for argum
e
nt
parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoo
l
a
ege
configu
r
e
.
in: allow speci
f
ica
t
ion of default pr
e
fi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoola
e
g
e
co
n
s
o
l
idate calls to
P
olyhedr
o
n2Pa
r
am_Dom
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
o
olaege
volume
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
Make
f
ile
.
am: add $(EXE
E
XT) fo
r
c
y
gwi
n
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
Ma
k
efile
.
a
m:
f
orce rebu
i
l
d
libra
r
ies in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoo
l
aege
only t
e
st barvinok_maximi
z
e if it has bee
n
/
c
an be create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
b
arvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
t
estli
b
.
cc: work aroun
d
i
n
complet
e
namespace
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
scale
.
c: enu
m
er
a
te_narrow_
f
la
t
ed: don't simplify co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declar
e
variables at start of cod
e
b
l
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
do
c
: upda
t
e documentation of optio
n
s and
s
om
e
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
P
olyhedron_
S
ample
:
facto
r
poly
h
edron if po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedron_Sample
:
comput
e
vertices of
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
Polyhedron_Sample: remove al
l
equalities from
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n V
e
rdoolaege
a
dd p
o
ssibility
to us
e
GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
doolaege
Poly
h
ed
r
o
n_Samp
l
e: postpone
r
emo
v
al
of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verd
o
olaeg
e
P
olyhedron_Sample: use lp s
o
lv
e
r for f
i
nding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
l
e
x
min: move c
h
oice of lp
solver to u
s
e outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaege
polysi
g
n
.
h:
use c
o
rr
e
ct name of PL
_
po
l
yhedron_af
f
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
la
e
ge
b
arvi
n
ok
_
enumerat
e
: plug memory leak in Bernoulli appr
o
ximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ver
d
o
o
l
a
ege
bar
v
inok_
e
numerate_e_r:
d
on
'
t assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
evalue_
f
rac2polynomial: rech
e
ck
eval
u
e
a
fter ev
a
lue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
util
.
c: L
i
ne_
L
ength: don
'
t
g
e
t con
f
use
d
b
y posit
i
vity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoola
e
ge
Ma
k
e
f
ile
.
am: st
o
p after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
be
r
nstein: car
r
y through variab
l
e re
n
aming
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
bernstein:
d
on't assume inpu
t
polynomial ha
s
been
expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_
r
ead
.
c: correct constness of name in p
a
ramete
r
_new
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdool
a
e
g
e
eva
l
ue_r
e
ad: accept constant mu
l
ti
p
le
o
f variable withou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
e
n
V
e
rdoolaege
eva
l
ue
.
c: evalue_sum: bet
t
er handling of nega
t
ive
values
commit
|
commitdiff
|
tree
2007-06-15
S
ven
V
erdoolaege
evalue
.
c
:
r
eorder_terms:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue: declare first argument
of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalu
e
.
c
:
emul
:
don't
u
se exp
l
icit_co
m
p
l
ement on
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
Verdoolaege
a
d
d a test
for e
v
a
lue_split_
p
eri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
e
v
alue
.
c: eval
u
e
_
split_periods: ma
k
e sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
polynomial_projection: use evalue_e
x
t
r
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a te
s
t for barvinok_m
a
ximiz
e
and barv
i
nok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolae
g
e
b
arvinok_summate: support verificat
i
on of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oola
e
ge
evalue
.
c: evalue_
s
um: split into orthants
+
som
e
refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ve
r
doolaege
b
arvinok_un
i
on: u
s
e argp for
a
rgument parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaege
barvinok_enumer
a
te_union_series_w
i
th_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rd
o
olae
g
e
basi
s
_reduction
_
c
d
d
.
c
c:
g
et correct
dual solution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Ve
r
doolaege
basi
s
_reduction_glpk
.
c
: corre
c
tly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_glpk
.
c: ch
e
c
k for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
o
p
tions: menti
o
n de
f
ault and available s
o
lver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
poly
h
e
d
ron_sample: tak
e
o
p
tio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdool
a
ege
doc: more
ab
o
ut power
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven V
e
rd
o
olaege
do
c
:
typo
commit
|
commitdiff
|
tree
2007-05-30
S
ven Verdool
a
ege
doc:
r
ep
e
at Matthias' s
t
opped
B
arvin
o
k e
x
periments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olaeg
e
add barvinok_summate to sum a
q
uasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olaege
evalue_read: fi
x
for t
o
p-level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bernoulli
.
c: Bernoulli_sum_evalue: reduce res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolae
g
e
bernoulli
.
c: perform nested
s
ums approximation
d
e
p
th
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add
polynomial approximati
o
n based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
la
e
ge
u
til
.
c
: extract for_each_
l
ower_
u
pper_bound from Pa
r
amL
i
ne_
L
ength
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
e
r
d
o
o
laege
decompo
s
er: use
NTL t
o
inver
t
matrix rat
h
er
t
han co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
latt
i
c
e_
p
oint
.
cc:
a
llow rays
a
n
d
v
ertex to have b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
c
o
un
t
er: optimize summing
over po
i
nts in
fund
a
pipe
d
commit
|
commitdiff
|
tree
next