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 a test for test_bound
2008-03-31
S
ven Verd
o
ol
a
e
ge
add a te
s
t
f
o
r
t
est_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
eval
u
e_rang
e
_
p
rop
a
gation:
r
emov
e
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound: record n
u
m
b
er o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bound: convert quasipolynom
i
als t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
com
p
are p
o
lynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rif
y
.
c: op
t
im
u
m:
h
andle input evalu
a
t
i
n
g to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: extract
evalue
_
optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
verify
.
c: extract
common c
o
de for
v
erifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
e
va
l
u
e_
r
ange_propag
a
tion: add monotonicity
test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_m
a
ximize:
o
ptionally use
(
basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
olaege
Add some su
p
por
t
for
dealing wi
t
h
e
values that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
barvinok_
e
n
u
m
era
t
e
:
support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
im
p
lement Bernoul
l
i
_sum a
s
conv
e
rsion f
r
om unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
B
ernou
l
li_sum_evalue: exploit integer
boun
d
s to
red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
k
e
ep
track of number of
B
ernoulli
su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoulli
.
c: p
r
otect share
d
eval
u
e fr
o
m
mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli
sum
s
bas
e
d exact enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_coun
t
_w
i
th_options: compute (exa
c
t) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
ernoulli_sum_evalue:
optiona
l
ly h
a
ndle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
lattic
e
_point
.
h: exp
o
rt fractional_par
t
with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
barvinok
_
en
u
merat
e
_with_op
t
i
on
s
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_ev
a
lue: h
a
ndle equal
i
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Bernoulli_su
m
_
e
value: cu
t
off some red
u
ndan
t
pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
Bernoulli_su
m
_e
v
alue: make sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdo
o
laege
Bernoull
i
_sum_e
v
a
l
ue: remove re
d
u
n
dant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
b
er
n
oulli
.
c:
m
inor refa
c
to
r
i
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
ge
B
ernoulli_
s
um: handle context
c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_
e
value: make sure enough memory is alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
for_ea
c
h_lower_upper_bou
n
d: add an
o
t
h
er c
a
llback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adj
u
s
t
default
r
ange to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
e
u
ler
.
cc: summate_over_domain: on
l
y
consider ac
t
ua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
p
a
r
a
m_util
.
c: export Param_Vertex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
P
aram
_
Polyhedr
o
n_Facet: pass f
a
cet d
e
fining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: parallel_pol
y
t
opes: don't both
e
r handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domain
s
_into_o
r
thants:
don't
r
ed
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
evalue
_
read: only allow terms to c
r
oss
n
e
w
li
n
es in
s
id
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
e
v
alu
e
_read
:
only acc
e
pt implic
i
t
mult
i
pli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
evalue_read:
a
ccept constraints c
o
nt
a
ini
n
g "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_bernstein_
c
oeff
i
cients: e
n
sure result part
i
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
bernstein: piecew
i
se_lst: c
o
rrec
t
ly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
laeg
e
r
emove_all_e
q
ualities: ke
e
p
r
e
mov
i
ng
par
a
met
e
r equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
r
doo
l
aege
doc: consistent
u
se of Ke
v
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
doc: updat
e
now pu
b
li
s
h
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolae
g
e
for_each_lower_upper_bound: allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaeg
e
Revert
"eadd
_
p
a
r
titions:
t
ry to combine multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
olaege
e
value_r
e
ad_pa
r
t
i
tion: pu
t
partit
i
o
ns
b
ac
k
in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue: reduce_evalue: add note on some
miss
e
d o
p
portu
n
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
b
ernstein
.
cc: handle input with
u
n
ions + re
l
ation v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
dool
a
ege
maximi
z
e
.
c
c
:
deal with unions in in
p
ut
durin
g
verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
ev
a
lue_subst
i
t
u
t
e
: properly handl
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
evalu
e
.
c: clean up emul
a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue_read: correctly
read
va
r
iable n
a
m
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_r
e
ad: acc
e
p
t top lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
o
laege
u
pda
t
e
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoolaege
e
val
u
e_backsubstitute: add required modu
l
o constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
S
v
en V
e
rdoolaeg
e
eva
l
u
e
.
c: *_partitions
:
simp
l
i
f
y
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Verdoolaege
d
oc: more spe
c
ific
i
nformation on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
configure
.
in: require cddlib 0
.
94e
by te
s
ti
n
g for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
con
f
igure
.
in
:
only co
m
p
i
l
e
occ if cod
e
_
g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add som
e
tests fo
r
imple
m
ent
a
ti
o
n of projection the
o
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
do
c
:
document new
o
p
t
ions
a
n
d new application
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AUTHORS: updat
e
support
i
nfo
r
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfu
n
.
cc: sh
o
r
t_rat::pr
i
nt: corre
c
tly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
xport series
as barvin
o
k_enumerate
_
series
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
r
emove_parameter_
e
qual
i
ties: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
l
eave freeing of P argument to
ca
l
ling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
do
c
: document imple
m
e
n
tation
o
f
the
pr
o
jection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enu
m
erate_
e
_ser
i
es i
m
plementing the
pr
o
jectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c
: fix and
docume
n
t
parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only
c
ompile zsol
v
e
if gc
c
3
.
4 or late
r
is available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaeg
e
M
o
v
e GiNaC-ind
e
pendent pa
r
t
o
f library to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaeg
e
polylib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc:
how to count the number of elements in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/imp
l
ementat
i
o
n
.
tex: avoi
d
m
u
ltip
l
y defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
latt
i
ce_width
.
c:
try
vertices of pre
v
ious inte
g
e
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
cument integer hull
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hul
l
.
c
:
a
dd a
l
l
p
oints
found by s
a
mpling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoo
l
a
e
ge
P
oss
i
b
l
e
optimizations for
generalized basis red
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Sup
p
ort us
e
o
f generali
z
e
d
basis reducti
o
n to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdo
o
lae
g
e
add Polyhedr
o
n_In
t
eger_Mi
n
im
u
m for computing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
l
a
e
ge
doc: document generalized basis
r
ed
u
ction based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c
/barvinok
.
bib:
a
dd missing st
r
in
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
V
erdo
o
laeg
e
add more missin
g
as
s
er
t
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
evalue
.
c
:
a
dd missing include of a
l
l
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
g
e
configure
.
in: pass path of GMP
installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
l
a
ege
configure
.
i
n: only
c
o
mpil
e
libbarv
i
nok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoola
e
ge
Polyhe
d
ron_Reduced_Bas
i
s: don't stop too early w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erd
o
o
l
aege
compute_width_directions: only keep list of
d
i
sti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doolaege
zsolve: don't install libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdool
a
e
g
e
v
e
rsion
.
c
: show u
s
e of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
o
olaeg
e
configure
.
in
:
don'
t
set wi
t
h_{
p
oly,pi
p
}lib_p
r
efix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoolaeg
e
Po
l
yhedron
_
Sample: be satis
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oo
l
aege
c
on
e
_intege
r
_hull: op
t
ionally
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ba
s
is_redu
c
tion: k
e
ep track of number of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
ol
a
ege
optio
n
s: move --prin
t
-stats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
l
a
ege
bernstein:
rework testing
framew
o
rk t
o
not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
bernstein:
a
d
d
pi
e
cewise_lst::i
s
_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
aege
support newe
r
versions of GiN
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
next