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
summate.c: barvinok_summate: move common parts of summation functions
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_sum
m
ate: move common part
s
of
summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
a
lue
.
c: evalue_s
u
m: m
o
ve
sign hand
l
ing into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
a
r
vinok_e
.
cc
:
enum
e
rate_sum: use b
a
rvin
o
k_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
summat
e
.
c
:
extract bar
v
inok_summate from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoo
l
aege
rename summate
.
cc to barvinok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
e
value
.
c: reduce_ev
a
l
u
e: reduce floor with con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expansion
based sum
m
at
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c:
exten
d
eequal to ha
n
d
l
e domains
an
d
NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
o
laege
binom
i
a
l
.
c: extract binomial and fa
c
tor
i
a
l from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
po
w
er
.
h: extract
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
in
t
rodu
c
e
e
value_shift_var
i
a
b
les
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
lattic
e
_
p
oint
.
cc:
exp
o
rt relat
i
ve_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_
p
oi
n
t
.
h: make sure correct evalues
ar
e
u
sed
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
erdo
o
laege
la
t
ti
c
e_
p
o
i
nt
.
cc: ad
d
ceili
n
g funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
util
.
c: internali
z
e ugly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en
V
erdool
a
ege
lattice_p
o
int
.
cc: multi_monom/latt
i
ce_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
o
c
:
c
le
a
n up
"
e
x
p
onent
i
al substitution"
secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
barvinok_
b
ound
:
optionally
take maximal
s
ize of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvinok_bound: add --iterat
e
options for
e
valuati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Ve
r
d
oolaege
verify
.
c: ex
p
ort fun
c
tions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erd
o
olaege
veri
f
y
.
c
: evalue_opt
i
mum:
allow computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bernstein
.
cc
:
evalue2ex: don
'
t assu
m
e all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaeg
e
bound
.
cc
:
fix ca
l
l
t
o evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
e
{ad
d
,m
u
l}_periodics: plug
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
e
v
alue_bernstein_coefficients: handl
e
problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaeg
e
u
pda
t
e pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verd
o
olae
g
e
lattic
e
_w
i
dth
.
c: ski
p
di
r
ect
i
ons
that are
iden
t
ica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Mak
e
file
.
a
m
: add cdd9
4
e-tes
t
to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
ege
omega/occ: opti
o
nally use p
a
rker for computing c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
doolaege
norm
a
lization
.
c
:
skew_to_posi
t
ive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
ome
g
a/convert
.
cc: relation2Domai
n
: only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
occ:
add
d
u
m
p
for dumpin
g
in barvinok_enumerate_e fo
r
ma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
bar
v
i
n
o
k
_enumer
a
te_e:
o
ptionally use pa
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
s
t
andard_constrai
n
t
s: tak
e
co
n
straints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
n
o
rmali
z
a
t
ion
.
c: extract standard_constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
e
g
e
parker/count_solution
s
.
cc: fix treatme
n
t of
existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
co
m
pi
l
e
p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdool
a
e
g
e
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
euler
.
c
c
: eva
l
ue_derive
:
handl
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ad
d
som
e
t
e
st
sets from
c
ases
2
004 and cc
2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ren
a
me barvinok_maximize to
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add
a test
f
or t
e
st_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range_pr
o
pagation: remove redundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: r
e
c
ord
n
u
m
b
er of polynomia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_bound:
c
onvert quasipolynomials to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
tes
t
_
b
ound
:
c
o
m
p
are
p
olynomial
b
ound algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c
:
optimum: ha
n
d
l
e
i
nput evaluating to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
aege
verify
.
c
: extrac
t
ev
a
lu
e
_optimum from m
a
x
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
extract common code for verifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_pr
o
pagation: add
m
onotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maxim
i
ze: optionally
use
(basic) ra
n
ge
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Add some
s
u
pport for dea
l
ing with
evalue
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
barv
i
n
ok_enumerate: su
p
por
t
us
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
i
m
plement
B
ernoull
i
_
sum as c
o
nversion
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bernoulli_s
u
m_evalue: exploit integer bounds
t
o redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Berno
u
ll
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protect shared e
v
alue from modifi
c
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Bernoulli sums based exact
e
nu
m
e
ra
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
b
arvin
o
k_cou
n
t_
w
it
h
_o
p
t
i
ons: c
o
mpu
t
e (exac
t
) B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Ber
n
oulli_s
u
m
_eva
l
ue: optionally handle f
r
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
latt
i
ce_point
.
h
:
ex
p
ort fractional_p
a
rt wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_enu
m
er
a
te_w
i
th_options: compute (
e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
e
ge
Ber
n
oulli
_
sum
_
evalue: ha
n
dle e
q
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_su
m
_ev
a
l
u
e: cut of
f
some re
d
undant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_e
v
a
l
u
e
: make
sure no empty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oo
l
aege
B
er
n
o
u
lli_
s
um_evalue: remov
e
redundant c
o
nstraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
ae
g
e
bernoulli
.
c: minor ref
a
c
t
or
i
ng
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
erdoola
e
ge
Bernoulli_sum: handle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
e
rnoulli_
s
um_e
v
a
l
u
e: make sure enough memory is al
l
o
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
f
o
r
_eac
h
_lowe
r
_upp
e
r_boun
d
:
add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
verify
.
c: adjust default rang
e
t
o
co
n
t
e
xt if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
e
ge
eu
l
er
.
cc: su
m
mate_over
_
doma
i
n: only consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
param_util
.
c: export Param_Vertex_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
P
a
ram_
P
olyhedron_F
a
cet: pass fa
c
et defining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
genfun
.
cc: paralle
l
_polytopes: don't bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ola
e
ge
evalue_split_domains_
i
nto_o
r
thants: don't reduce
e
val
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
eval
u
e_rea
d
: only a
l
low ter
m
s to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
value_read: only accept implicit multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdo
o
laege
evalue_read
:
acce
p
t constraints cont
a
ini
n
g "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
ev
a
lue_bern
s
tein_coefficients:
e
n
su
r
e resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
bernst
e
i
n
:
p
i
e
cewise_l
s
t
:
cor
r
e
c
tly
p
r
i
n
t an
d
evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
remove_a
l
l_equali
t
ies: keep removing para
m
ete
r
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consiste
n
t
use of Kevin'
s
in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoolaeg
e
do
c
:
u
pdate now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaeg
e
fo
r
_each_
l
ower_upper_bound:
allow a
b
s
en
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdo
o
laege
Revert "eadd_par
t
itions: try to combine
m
ultiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
e
v
alue_read_par
t
itio
n
:
put p
a
r
titions back in
t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
oolaege
evalue
:
reduce
_
eval
u
e
: add note on
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
ege
bernste
i
n
.
c
c: han
d
le input w
i
th uni
o
ns + re
l
atio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolaege
maximize
.
cc: deal with unions in inp
u
t du
r
ing ver
i
fic
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
e
v
a
lue
_
substitut
e
: properly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
o
ol
a
ege
evalue
.
c: clean u
p
emul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoola
e
ge
evalue_read:
c
or
r
ectly read variab
l
e
na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
e
v
alue_rea
d
: accep
t
t
op l
e
ve
l
"
r
elati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
update
poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalue_ba
c
k
s
ubstitute: add r
e
quired modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven
V
erdoola
e
ge
evalue
.
c: *_pa
r
titions: simplify constrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoo
l
aeg
e
doc: more specifi
c
information on buggy cddlib versi
o
ns
commit
|
commitdiff
|
tree
next