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
barvinok_summate: verify solution over whole parameter domain
2007-09-08
S
v
en
V
er
d
oola
e
g
e
barvi
n
ok_summate: verify so
l
ution over whole pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
n
tro
d
u
ce barvinok
_
summate as a wr
a
pper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add evalue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
g
e
ev
a
l
ue_{div,mul}: handl
e
som
e
t
rivial cases more
e
fficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
l
attic
e
_p
o
int: expor
t
fracti
o
nal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
evalue
.
c: extract common code for construct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
volume
.
c: e
x
port Param
_
Poly
h
edron
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
o
laege
add
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
fix type of evalue_pol
y
nomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
s
u
p
p
ort co
m
putat
i
on of Bern
o
u
l
l
i
polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sepa
r
a
t
e computatio
n
o
f Be
r
noull
i
co
e
f
fi
c
ie
n
ts a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
lattice
_
po
i
nt
:
use Param_Verte
x
_C
o
mmon_Deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ma
k
e
decomposer
.
h
self-
c
onta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
r
e
d
u
ce_domai
n
: a
v
oid use of mac
r
o para
m
eter with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoola
e
ge
e
x
p
o
rt
evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
Use pipli
b
during basis reduct
i
on if no other
LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
l
aege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add pip
l
ib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
ol
a
e
g
e
U
s
e bundled
Pol
y
Lib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
add poly
l
ib subm
o
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
bernstein:
a
llow linking
a
gainst un
i
n
s
talled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
a
d
d more missing assert
.
h #in
c
lu
d
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
a
d
d dummy i
m
p
lementations o
f
func
t
ions that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
l
aege
update "Coun
t
ing with ra
t
ional generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
ba
r
v
i
nok
.
cc:
s
pli
t
o
f
f part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erd
o
olaege
barvi
n
o
k
.
cc: s
p
l
i
t off par
t
dealing w
i
th existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*co
u
nter: avoi
d
reco
m
putation of denominat
o
rs whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
counter: remove
re
d
undan
t
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some "sign"s
to in
t
as the
y
c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ver
d
oolaege
d
o
c:
u
pda
t
e
Algorithm
i
c
a
publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aege
evalue
.
c: make
p
arameter na
m
es o
f
type
c
o
nst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdoola
e
ge
sa
m
ple
.
c:
Polyhedron_RemoveF
i
xedColumn
s
:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c:
r
emove_equalities
:
fix
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoo
l
a
ege
Para
m
_Polyhed
r
on_
P
rint: print e
v
eryth
i
ng to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
b
arvinok_enumerate_with_options:
d
on't ad
d
c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
b
arvinok
.
cc: don't fre
e
P argu
m
ent in
e
numerate
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdoolaege
rem
o
v
e
_all_equal
i
ties:
al
s
o remove equ
a
l
i
t
i
es in con
t
ext
commit
|
commitdiff
|
tree
2007-07-29
S
ven
V
erdoolaege
vo
l
ume
.
c:
a
void warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdool
a
ege
e
x
port Param_
I
n
n
er
_
Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvino
k
_
enumer
a
te
.
cc: add
minimal check
on
i
nput
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdoolaege
more prototype chang
e
s to
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolae
g
e
evalue: pr
i
nt_eva
l
u
e
: make par
a
m
e
t
er names const char*
s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdool
a
e
g
e
A
lways compile polytope
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
po
l
ytope_scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
erdoo
l
aeg
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Ver
d
oolaege
configure
.
in: a
l
low s
p
ecifica
t
ion of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolida
t
e calls
t
o Polyh
e
dron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
v
o
lum
e
.
c: fix
t
ypo
i
n comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Ma
k
e
fil
e
.
am: add $
(
E
X
EEXT)
fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laeg
e
Makefile
.
am
:
force re
b
uild libra
r
ies
in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
only test barvino
k
_ma
x
imize if it has been/
c
an b
e
crea
t
e
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
testlib
.
cc: w
o
rk arou
n
d
i
n
complete n
a
mespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
scale
.
c: enumerat
e
_
narrow_
f
l
ated
:
d
on't simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
decla
r
e v
a
ri
a
bles at s
t
art of code block
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
doc: up
d
ate documenta
t
ion of
o
pti
o
ns and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhedron
_
Sa
m
ple: factor poly
h
edron if possibl
e
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
P
o
lyhed
r
on_Sample: compute v
e
rtices of 1D
poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
g
e
P
olyhedron_Sa
m
ple: remove all equal
i
ties
f
r
o
m
polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
ad
d
possi
b
ility to us
e
GLP
K
as LP
solver
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdo
o
laege
Polyhedron_Sample:
p
ostpo
n
e removal
of rays unti
l
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aeg
e
Polyh
e
dron_Sa
m
ple:
u
se lp
solver
fo
r
f
i
nd
i
ng range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: mov
e
c
hoice
of lp sol
v
er t
o
use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h
:
use correct na
m
e of PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
ba
r
vin
o
k_enumerate: plug memory leak in
B
ernoulli
a
pprox
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
barvinok_e
n
um
e
rate_e_r: don
'
t assume
AddConstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
aege
evalue_frac2polynomial
:
recheck e
v
alu
e
a
f
t
er evalue_spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
util
.
c: Line_Len
g
th: don't
get
confused by posi
t
iv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
o
la
e
g
e
Make
f
i
l
e
.
am
:
stop after fi
r
st
failed
t
est
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
olaege
be
r
nstein: carry through
v
ariable renam
i
ng
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't
a
ssum
e
input
pol
y
nomial has been
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eva
l
u
e
_re
a
d
.
c:
c
orr
e
c
t constness of nam
e
i
n parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoo
l
aege
e
v
a
lue_read: accept
constant multiple o
f
va
r
iable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Ve
r
doolaege
evalue
.
c: ev
a
lue_sum
:
bette
r
handling of negati
v
e valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaeg
e
evalue
.
c:
reor
d
e
r_te
r
ms: f
i
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
d
o
olaeg
e
evalue:
d
eclar
e
first
a
rgum
e
nt
o
f
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
eval
u
e
.
c: emul: don
'
t
u
se expl
i
c
i
t
_
comp
l
em
e
nt o
n
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
g
e
add a test for ev
a
lue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Hara
l
d
.
De
v
os@elis
.
.
.
f
i
n
d_f
r
a
c
tional_with_
m
ax_peri
o
ds: initiali
z
e local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_
s
pl
i
t
_
periods:
make sure
se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolaege
eva
l
ue
.
c: polynomial_p
r
ojecti
o
n: use evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verd
o
o
l
aege
a
dd a test for barvi
n
ok_m
a
ximiz
e
and barvin
o
k_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oola
e
ge
barvinok_summate: support v
e
r
i
fication of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolaege
ev
a
lue
.
c: eval
u
e_su
m
:
s
plit in
t
o
orthan
t
s + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
b
arvinok_union: use ar
g
p for arg
u
ment pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en Verdoolaege
b
arvinok_en
u
merate_union_s
e
ries_wi
t
h
_
op
t
ions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
basis_reduction_cdd
.
cc: get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
b
asis_reduction_glpk
.
c:
c
orrectly
set ty
p
e o
f
row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis
_
r
e
d
uction
_
glpk
.
c: check for sanity
of
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
option
s
: men
t
ion default and avai
l
able solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
ae
g
e
polyhedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaege
doc: more abo
u
t
pow
e
r sum
s
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoo
l
aeg
e
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
en
V
erdoolaege
doc: repeat Matt
h
ias' stopped Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Verdoolaege
add barvinok_summat
e
to
s
um
a
qu
a
s
i-polynomi
a
l over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eva
l
u
e
_read: fix
f
o
r top-level f
r
actional pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verd
o
o
l
aege
berno
u
lli
.
c: Berno
u
lli
_
sum_evalue: redu
c
e resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perform nes
t
ed sums approxima
t
ion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
add polynomial approximation based
on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
laege
util
.
c: extract for
_
each_l
o
w
e
r_upper_bound fro
m
ParamLine_Length
commit
|
commitdiff
|
tree
next