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
S
v
en Ve
r
doolaege
r
e
name summate
.
cc
to
barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoo
l
a
e
ge
evalue
.
c: reduce_evalue: r
e
d
uce floor with
c
onsta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Ad
d
Laurent expans
i
on based summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
eva
l
ue
.
c: ex
t
end eequal to handle
domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oo
l
aege
binom
i
al
.
c: extract
binomi
a
l and factori
a
l from e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven V
e
rdoolaege
power
.
h:
extr
a
ct f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
introduce evalu
e
_shift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolae
g
e
la
t
t
i
ce_point
.
cc
:
export rel
a
tive_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolae
g
e
l
attice_poi
n
t
.
h
:
make sure cor
r
ect evalues a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
doolae
g
e
lat
t
ic
e
_point
.
cc:
a
dd ceiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
uti
l
.
c: in
t
ernal
i
z
e
u
g
ly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
e
rdoo
l
a
ege
lattice_point
.
cc:
m
ulti_monom
/
lattic
e
_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoolae
g
e
doc: clean
up
"e
x
pone
n
tial su
b
stitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
o
laege
test_bound
.
c
c
:
avoid
loss of
pre
c
is
i
on caused
by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aeg
e
barvinok_b
o
und:
o
pti
o
na
l
ly take max
i
mal size of
d
omain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvin
o
k_bound: add --iterat
e
o
p
tions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c:
expor
t
func
t
ions for
s
ett
i
ng and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
verify
.
c: evalu
e
_optimum
:
al
l
ow c
o
m
p
u
tation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
laege
b
ernstein
.
cc
:
ev
a
lue2ex:
d
on't
a
ssume all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
do
o
la
e
ge
b
o
u
n
d
.
cc: fix
c
all to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdoolaege
e{add,m
u
l}
_
p
eriodics: plug memory le
a
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
evalue_ber
n
stein_coefficie
n
ts: ha
n
dle probl
e
ms w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoolaege
lattice_width
.
c:
skip
d
i
r
e
c
tions that are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n Verd
o
olaeg
e
Makefile
.
am: a
d
d cdd94e-test
t
o distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
omega
/
occ: op
t
ionally use parker for co
m
p
ut
i
ng ca
r
d
i
na
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_p
o
sit
i
ve_orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolae
g
e
omega/conv
e
rt
.
cc: relati
o
n2Domain:
only collec
t
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
oolaege
occ: add du
m
p
for dumping in
b
arvino
k
_enu
m
erate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoo
l
aege
barvi
n
ok_enu
m
e
r
ate_e: optionally us
e
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdo
o
laege
standard_c
o
nstrai
n
t
s: take constraints instead
o
f
polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normali
z
ation
.
c: extract s
t
a
nd
a
rd_con
s
traints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
arker/co
u
nt_s
o
lutions
.
cc
:
f
i
x treatment of ex
i
stent
i
all
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
euler
.
cc: evalue_deri
v
e: handle
c
onstant poly
n
omi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
add s
o
m
e test sets from cases 20
0
4
a
n
d
cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
rename barvinok_maximize to barvi
n
ok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
eva
l
ue_range_propag
a
tion: remove re
d
un
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolae
g
e
t
e
st_bo
u
nd: record nu
m
ber of p
o
ly
n
omials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_
b
ound: c
o
nvert quas
i
po
l
ynomial
s
to poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
t
e
s
t
_bou
n
d: co
m
par
e
p
o
lynomial bound algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
verify
.
c:
o
ptimum: ha
n
dle input evaluating to nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: extract
evalue_optimum from
maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extra
c
t
com
m
on code for verifying op
e
ra
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_pr
o
pagat
i
on: add monot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
barv
i
no
k
_max
i
m
i
ze: option
a
lly use (basic) range pro
p
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
Add some
s
upport
f
o
r
dealing with evalu
e
s that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doola
e
ge
barvinok_e
n
umerate:
s
uppor
t
use of Euler-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
implement Bernoull
i
_
s
u
m as conversion from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernou
l
li_sum_evalue: exploit integer bou
n
ds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
k
e
ep track o
f
number of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
ern
o
ulli
.
c: pro
t
ect sha
r
ed ev
a
lue from modifica
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test B
e
r
n
oul
l
i
sums based exact en
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
barvinok_count_with_options: c
o
mp
u
te (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
oull
i
_s
u
m_evalue: optionally ha
n
d
le fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
la
t
tice_point
.
h:
ex
p
or
t
fractional_part with C li
n
kag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_enumerate_with_
o
ptions:
c
ompute
(
exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Bernoulli_s
u
m_evalue: cut of
f
some redundant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
erno
u
lli_sum_eva
l
ue: make sure no
empty
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eva
l
ue: remove
r
edundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
r
n
oulli
.
c: mi
n
o
r refa
c
t
o
rin
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
a
ege
B
e
rnoulli_sum:
h
andle
c
o
ntext constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
Bernoulli
_
s
u
m_ev
a
lue: ma
k
e sure en
o
u
g
h m
e
m
ory
i
s al
l
oc
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
for_each_lower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c:
adjust d
e
fault range to c
o
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: sum
m
ate_over
_
domain: only consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verd
o
o
l
aege
p
aram_util
.
c: export Param_
V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
P
a
ram
_
Polyhe
d
r
o
n
_Fac
e
t: pass facet def
i
ning constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaeg
e
genfun
.
c
c
: parallel_pol
y
topes: do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oo
l
aege
evalue
_
split_dom
a
ins_into_o
r
thants
:
don't reduc
e
e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oola
e
ge
e
v
alue_re
a
d:
only allow t
e
rms to cross newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead: only acc
e
pt implicit
m
ultiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
eva
l
ue_read: accept cons
t
rai
n
ts conta
i
n
ing "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_bernste
i
n
_coefficien
t
s
: ens
u
re re
s
ult par
t
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
bern
s
tein: pie
c
ewise_lst: corr
e
ctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolae
g
e
remove_all_
e
qua
l
ities:
k
eep
r
emoving para
m
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verd
o
olae
g
e
up
d
ate p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
ae
g
e
doc:
co
n
sistent use
o
f
K
ev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc: update now pub
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
for_each_low
e
r_upper
_
b
ound: a
l
low absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aege
Revert "eadd_pa
r
t
i
tions: t
r
y to
c
ombine multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
evalue_r
e
ad_partition: put partitio
n
s bac
k
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdool
a
e
g
e
e
value: reduce_evalue: add no
t
e
on s
o
me missed opp
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolaege
bernst
e
i
n
.
cc: handle input with unions + relation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
ma
x
imize
.
c
c
: deal with unions
i
n
inpu
t
during v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
lue
_
subst
i
tute: pr
o
pe
r
ly
h
a
ndle
r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e
.
c: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_read: correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: accep
t
top
lev
e
l
"relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolaege
evalue_backsubstitute:
add
r
equired modulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
ev
a
lue
.
c: *_parti
t
ions: simplify co
n
straint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoolaege
doc: more
specific i
n
for
m
at
i
on on buggy cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
e
r
d
oolaeg
e
configure
.
in: require
cddlib
0
.
9
4
e b
y
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en V
e
r
d
oolaege
configure
.
in
:
only compi
l
e
occ if code
_
gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add some tests f
o
r implementation of project
i
on theore
m
commit
|
commitdiff
|
tree
next