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
rename summate.cc to barvinok_summate.cc
2008-05-03
Sven Verdool
a
ege
r
ename summa
t
e
.
cc to b
a
r
vinok_
s
ummate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
reduce_evalue: r
e
d
u
ce floor
w
i
t
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaeg
e
Add La
u
rent expa
n
sion
b
as
e
d
summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
value
.
c: extend ee
q
ual to
h
andle
domain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Ve
r
doolaege
binom
i
al
.
c: extrac
t
binomial
and f
a
ctoria
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
p
o
wer
.
h:
e
xtract from
eul
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
introduce eval
u
e_shift_varia
b
le
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoo
l
aege
l
attice_point
.
cc:
e
xpor
t
relative_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Verdoo
l
aege
lattice_point
.
h: make
s
ure corre
c
t
evalues ar
e
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdool
a
ege
lattice_poi
n
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
do
o
laeg
e
u
til
.
c
:
i
nternalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
la
t
tice_
p
o
i
nt
.
cc: m
u
lti_mon
o
m/lattice_
p
oint
s
: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Ver
d
o
o
laege
doc: clean up "exponenti
a
l
substitution" sec
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss
of precision caused by
c
onv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
b
a
rvi
n
ok_
b
o
u
nd: o
p
tionally
t
a
ke m
a
ximal siz
e
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
barv
i
nok_
b
ou
n
d: add --iterate
o
p
t
i
ons
for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
v
e
rify
.
c: exp
o
rt functions
for set
t
ing
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolae
g
e
v
e
rify
.
c: evalue_optimum: allow comput
a
ti
o
n of
o
pt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
lae
g
e
bernste
i
n
.
cc: evalue
2
ex: don't a
s
sume
a
ll periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaege
bound
.
cc: fix call to e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
g
e
e{add,mul}_period
i
cs:
p
l
u
g memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
eva
l
ue_bernstein_coefficien
t
s: handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c: ski
p
d
i
rections that are i
d
en
t
i
ca
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdo
o
l
a
ege
Makefi
l
e
.
a
m
:
add cdd9
4
e-te
s
t
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
la
e
ge
omega/oc
c
: option
a
lly use parker
for computing cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
o
o
laege
normalization
.
c: skew_to_posit
i
v
e
_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
laege
o
m
e
ga/
c
onvert
.
cc: re
l
a
t
ion2Do
m
ain: only co
l
le
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dumpin
g
in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
barvinok_enu
m
erate_e: optiona
l
l
y
u
se parker
'
s method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
l
a
ege
stand
a
rd_
c
onst
r
ai
n
ts: t
a
ke co
n
st
r
ai
n
ts in
s
tead o
f
po
l
yhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
e
ge
n
orm
a
lization
.
c
: extract standard_con
s
traints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Ver
d
oolaeg
e
p
arker/count_solu
t
ions
.
c
c
:
fi
x
treatme
n
t
o
f exi
s
tenti
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
d
oolaeg
e
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
o
o
laeg
e
eul
e
r
.
cc: evalue_d
e
rive: handle con
s
ta
n
t polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
a
dd some test
se
t
s from case
s
2004
a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
rename barvinok
_
maximize t
o
barvi
n
o
k_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doo
l
a
ege
add a test for tes
t
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
evalue_range_propagat
i
on:
remove redundant p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
aege
t
est_bound:
record number of polynomial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: conv
e
rt quasipolynomials t
o
polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
te
s
t_bound: compare
p
olynomial
b
ound a
l
g
o
ri
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
opti
m
um: handle input evalu
a
ting
to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
e
xtract
e
value_optim
u
m
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: extract common
c
o
d
e for v
e
rifyi
n
g opera
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
e
value_range_p
r
op
a
gation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
barvinok_ma
x
imize:
o
p
tiona
l
ly use (ba
s
ic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
A
d
d
s
ome support
f
or de
a
ling with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_enum
e
rate: support use
o
f
E
u
ler-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
implement Ber
n
oulli_sum as conversion
from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
Be
r
noulli_
s
um_eval
u
e: exploit integer bo
u
n
d
s to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
k
e
e
p
track of number of Bernou
l
l
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
bernoulli
.
c: protect share
d
e
v
alue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoulli sums based
exact enumer
a
tio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
ba
r
vi
n
ok_co
u
nt_with
_
option
s
: com
p
u
t
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernou
l
li
_
sum_evalue: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoo
l
aege
lattice_poi
n
t
.
h: export fr
a
ctional_
p
ar
t
wit
h
C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
barvi
n
ok_enumerate_with_options
:
compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_s
u
m_evalue: handle equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
do
o
lae
g
e
Bernoulli_sum_eval
u
e: cut o
f
f some r
e
dun
d
ant
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Be
r
noulli_su
m
_eva
l
ue: make sure n
o
empty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
laege
Bernoulli
_
s
u
m
_
ev
a
lue: re
m
ove r
e
d
u
nda
n
t
c
onst
r
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdo
o
l
a
eg
e
bernoulli
.
c: minor refac
t
or
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Bernoulli_sum
:
handle c
o
ntext
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
nou
l
li_s
u
m_evalue: m
a
ke sure enough me
m
ory is
allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
f
or_e
a
c
h_l
o
wer
_
upper_bound: add another
c
allbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust de
f
ault r
a
nge to contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
eg
e
euler
.
c
c
: summate_over_d
o
m
ain: o
n
ly consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: export P
a
ram_Ver
t
ex_S
e
t
_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Param_Polyh
e
d
r
on_Facet:
pa
s
s face
t
defining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
g
en
f
un
.
cc
:
parallel_polytopes: do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalu
e
_
s
p
lit_
d
o
mains_into_o
r
thants
:
don't re
d
uce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
e
val
u
e_read: only allow terms to cross
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_read: on
l
y accept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
e
value_r
e
ad: acce
p
t
constra
i
nts containing
"
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eval
u
e_b
e
rns
t
ein_coefficients: ensure result part
i
tion
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
bernstein: piecewise_l
s
t: correctly p
r
int and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
remo
v
e
_
all_
e
qualiti
e
s: keep removing pa
r
a
mete
r
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaeg
e
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consist
e
nt use of K
e
vin's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aege
doc:
u
pdate now publ
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
Revert "eadd_
p
a
r
t
iti
o
ns:
t
r
y t
o
combine
m
u
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
ev
a
lue_read_partition: put partitions
back in t
h
e s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue:
r
educe_evalue: add note on some mis
s
ed o
p
por
t
un
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle inpu
t
w
i
th unions +
relation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc
:
deal with uni
o
ns in
i
nput during verification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdool
a
e
g
e
evalue_substitute:
p
roperly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: cl
e
an up emul a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
e
v
alue
_
read: corre
c
tly read variable
n
a
me
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
laege
evalue_re
a
d
: accep
t
top level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
evalue_backsubsti
t
u
te:
a
dd requi
r
ed modulo
c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
ol
a
ege
e
value
.
c
:
*_partitions:
s
implif
y
constraints
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
d
o
c:
more spe
c
ifi
c
in
f
or
m
a
t
i
o
n on buggy cddlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Ve
r
doolaege
c
o
nfigure
.
in: require cddlib 0
.
9
4
e
by testing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
e
n Verdoolae
g
e
c
o
nfigure
.
in: only compile
occ if code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
ge
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdo
o
laege
a
dd some tests fo
r
imple
m
e
ntation of projection theorem
commit
|
commitdiff
|
tree
next