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
2007-09-08
Sven Verdoolaege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
f
i
x type of eval
u
e_poly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support c
o
mputation of Bernoulli poly
n
om
i
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
s
e
p
a
r
a
te c
o
mputa
t
ion of Ber
n
o
ulli coeffic
i
ents and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdo
o
laege
lattice_point: use Param_
V
e
r
tex
_
Com
m
o
n
_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
dool
a
e
ge
mak
e
deco
m
p
o
s
e
r
.
h self-cont
a
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolae
g
e
re
d
uce_do
m
ain: avoid use of macro parame
t
er with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdo
o
la
e
g
e
export
eval
u
e_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use
p
iplib during basis r
e
d
uction if
no other
LP
so
l
ver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
Use bundled
p
iplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
laege
add
piplib mod
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
oolaege
Use bundl
e
d PolyLib by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
a
dd polylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
o
laege
be
r
nste
i
n: a
l
low li
n
king against
uninstall
e
d, but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
dool
a
ege
add more missing assert
.
h
#
incl
u
des
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implement
a
t
ions of
fu
n
ction
s
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
doolaege
update
"Counting
w
ith rat
i
on
a
l
g
e
nerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Ver
d
oolaege
barvinok
.
c
c: split off part co
n
structing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaeg
e
barvinok
.
cc:
spli
t
off pa
r
t dealing with exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*
c
ounter:
a
v
oid
recomputat
i
on of
d
enomin
a
tors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doo
l
aege
c
o
unter: remove redundant
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
change type of som
e
"s
i
g
n"s
to int as the
y
c
an only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoolae
g
e
doc: update Algorithmica p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
ae
g
e
ev
a
lue
.
c: make parameter n
a
mes of t
y
p
e
const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c:
Po
l
yhedron_RemoveFix
e
dColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verdo
o
lae
g
e
u
til
.
c: remove_equalities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n
V
e
rdoolaege
Param_P
o
l
yhedron_Pr
i
nt: print everything to give
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
arvinok_en
u
m
e
rate_wit
h
_options: don't a
d
d c
o
n
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n
Verdoo
l
aege
barvinok
.
cc: d
o
n't
f
r
ee P
a
r
gument in en
u
mer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
er
d
oolaege
r
em
o
ve_all_equa
l
ities: also
r
emove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
vol
u
m
e
.
c: avoid war
n
in
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven V
e
rdoolaeg
e
e
x
por
t
P
aram_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
er
d
o
o
laege
barvinok_enume
r
at
e
.
cc:
add minimal c
h
eck on i
n
p
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
more p
r
ototype changes to const
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue
:
print_evalu
e
: make
p
a
r
ameter na
m
es c
o
nst
char*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
ae
g
e
Always compile po
l
ytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olaege
po
l
ytope_scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Ver
d
oolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sve
n
Verdoolaege
c
on
f
igure
.
in: allow specificat
i
on o
f
default
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoolaege
consolidat
e
call
s
to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Ve
r
d
o
o
laege
volume
.
c:
fi
x
typo in comment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaeg
e
Makefile
.
am: add
$
(E
X
EEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
Makefi
l
e
.
am: f
o
rce rebuild l
i
braries in sub
d
i
r
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdo
o
laege
only test b
a
rvinok_maximize if
it has been/c
a
n
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaege
testli
b
.
c
c: work around in
c
omplete namespace s
u
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaege
scale
.
c: enumerate_
n
arrow_flated:
d
o
n't simpl
i
fy const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
declare v
a
r
iabl
e
s at
s
tart
o
f code
block
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
doc: updat
e
document
a
tion o
f
op
t
ions and som
e
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
la
e
ge
Polyhedro
n
_Samp
l
e: factor polyhedron if po
s
s
ib
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
Polyhe
d
ron_Sa
m
ple: compute
verti
c
e
s of 1D polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdool
a
ege
Polyhedron_S
a
m
p
le: remove all equalities from
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaeg
e
a
dd
p
ossibility t
o
use GLPK
a
s
LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
ool
a
ege
P
olyhedron_Sampl
e
:
p
ost
p
one remov
a
l of r
a
ys
u
n
t
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
Poly
h
edron_Sample:
u
s
e
lp
solver fo
r
find
i
ng rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
lexmin: move choice of lp solver to
use ou
t
side b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
pol
y
sign
.
h: use
c
orrect name of PL_p
o
lyhedron_
a
ffine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
b
a
r
vino
k
_enumerate: plug mem
o
ry leak in Bernoulli approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ba
r
vinok_enumerate_e_r: do
n
't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
evalue_f
r
ac2po
l
y
n
omial:
re
c
h
eck ev
a
lue a
f
te
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
il
.
c
: Li
n
e
_
Length: don't get confused
b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
Makefile
.
a
m
:
s
top
after
first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Ver
d
oolaege
b
ern
s
te
i
n: carry thro
u
gh variable r
e
nam
i
n
g to
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ber
n
st
e
in
:
don't assume
input polyn
o
mial has been e
x
pande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaeg
e
eval
u
e_read
.
c
:
corre
c
t constnes
s
of
n
ame in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
value_read:
ac
c
e
p
t constant multiple of
variable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
o
olaege
ev
a
l
u
e
.
c: eva
l
ue_
s
um: better handl
i
n
g of negati
v
e
v
a
l
ues
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
Verd
o
olaege
e
v
alue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n
Verdo
o
la
e
ge
e
value:
d
eclare first ar
g
um
e
nt of emul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
V
erdoolaege
evalue
.
c: emul:
d
on't
u
s
e
expli
c
it
_
complement on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoo
l
aege
add a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devo
s
@elis
.
.
.
f
i
nd_fr
a
ctional_with
_
m
ax_periods: in
i
t
i
ali
z
e
l
ocal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en
V
e
r
doolaege
evalue
.
c: evalue_s
p
l
it_
p
e
r
io
d
s:
m
ake sure select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en
V
e
rdoolaege
ev
a
lue
.
c: p
o
lynomi
a
l_projection:
u
se evalue_extract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add
a
t
est for
barvinok_maximize a
n
d
barvin
o
k_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvin
o
k_
s
umma
t
e: su
p
port ve
r
i
f
ic
a
tion
of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
eva
l
ue
.
c: evalue_sum: split into orthants + som
e
refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
r
dool
a
ege
barvinok_union: use ar
g
p
f
or
ar
g
ument p
a
rsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvinok_
e
numerate_union_series_with_
o
ptions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
basis_re
d
uction_cdd
.
c
c
:
ge
t
correct
d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
ba
s
i
s
_redu
c
ti
o
n_glpk
.
c: correctly s
e
t type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
bas
i
s
_
r
e
duction_glpk
.
c: check for sanity o
f
s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdool
a
ege
options: m
e
ntion default and available
solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
oolaege
polyhedron_samp
l
e: take o
p
tions
commit
|
commitdiff
|
tree
2007-06-06
S
ve
n
V
er
d
o
o
laege
d
oc: mor
e
abou
t
power su
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sve
n
V
erdo
o
laege
doc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoo
l
aege
doc
:
r
epeat Matthias
'
st
o
pped Barv
i
nok expe
r
iment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdool
a
ege
add barvin
o
k_summate
t
o
sum
a
qua
s
i
-polynomial ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ve
r
d
oolaeg
e
evalue_
r
e
a
d
:
f
i
x fo
r
t
op
-
level frac
t
ional p
a
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bernoull
i
.
c: Bern
o
u
lli_sum_eva
l
u
e:
r
educe resultin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perform nested su
m
s app
r
oxima
t
ion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdo
o
laege
add po
l
ynomial approximation based on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: extrac
t
for_each_lower_up
p
er_bound fro
m
ParamLine_Lengt
h
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolae
g
e
d
e
composer:
u
se
N
TL t
o
invert matrix rather tha
n
conve
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
at
t
ice_point
.
cc: allow r
a
ys and
v
ertex to ha
v
e been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counter: optimi
z
e summing o
v
er points in funda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verd
o
ol
a
e
ge
lattice_point
.
cc: avoid conve
r
sion between
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
c
onve
r
s
i
on
.
c
c
:
remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
eva
l
u
e
.
c:
evalue_po
l
ynomia
l
extracted
from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Ver
d
oolaege
evalue
.
c
: add
evalue_negate
commit
|
commitdiff
|
tree
next