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
doc: update some references
2008-05-03
S
v
en Verdoolaege
doc:
u
pdate some
r
eferen
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Make
l
a
u
rent based
s
u
mmation the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
summate
.
c: barvinok_summate: handle
quasi-p
o
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
re
d
u
ce_eva
l
ue
:
e
x
tract out e
v
a
lue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
evalue
.
c
: eva
l
u
e
_shift_variables: allow shift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
summate
.
c
:
handle equ
a
lities for al
l
summation algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
sum
m
a
t
e
.
c: barvinok_su
m
mate:
m
o
v
e common parts
of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
e
v
alue
.
c: evalue_sum: mo
v
e sign han
d
lin
g
into e
s
um_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
barvinok_e
.
cc: enu
m
e
r
at
e
_sum: use bar
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaege
summate
.
c
: extr
a
ct barvinok_summa
t
e fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
rename summate
.
cc t
o
barvinok_su
m
mat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
v
a
lue
.
c: redu
c
e
_evalue: reduce
f
loor with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laur
e
nt expansion based
summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
evalue
.
c
:
extend eequa
l
to handle dom
a
i
n
s
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verd
o
olaege
binomial
.
c: extr
a
ct
binomial
a
nd
f
a
ctorial
f
rom
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoo
l
a
e
g
e
power
.
h
:
e
xtract from
e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoo
l
aege
i
ntrodu
c
e eva
l
ue_shift_var
i
ables
commit
|
commitdiff
|
tree
2008-04-25
S
ve
n
Ver
d
oo
l
aege
latti
c
e_point
.
c
c: ex
p
ort r
e
lative_c
o
ordi
n
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
lattic
e
_point
.
h: make sure correct evalues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
erd
o
o
l
aege
latt
i
ce
_
poin
t
.
cc: add ceiling f
u
nctio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
ut
i
l
.
c
:
i
n
te
r
na
l
i
ze ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erdool
a
eg
e
latt
i
ce_point
.
cc: multi_monom/lattice_po
i
nts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
d
o
c: clean up
"
exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
t
e
s
t_bound
.
cc: a
v
oi
d
l
o
s
s of
p
recision ca
u
sed by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: optional
l
y take m
a
xi
m
al size of dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
barvinok_bo
u
nd: add
-
-iterat
e
options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
laege
veri
f
y
.
c: export fu
n
ctions for setti
n
g and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
verify
.
c:
e
val
u
e_
o
pti
m
um
:
allow c
o
m
p
u
t
ation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaeg
e
be
r
nstein
.
cc:
evalue2ex: don't ass
u
me all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bo
u
n
d
.
cc: fix
c
all to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verd
o
olaege
evalue_bernstein
_
coe
f
ficients: h
a
ndle proble
m
s
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
up
d
a
t
e
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce_w
i
dth
.
c: s
k
ip d
i
rection
s
th
a
t are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdo
o
l
a
ege
M
ak
e
fil
e
.
am: add cdd9
4
e-
t
est to dis
t
r
ibu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
olaege
o
mega/o
c
c: optionally use
parker fo
r
comput
i
ng cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verd
o
ol
a
ege
n
o
rmali
z
ation
.
c: s
k
ew_to_
p
ositiv
e
_ortha
n
t
: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
ome
g
a/convert
.
cc: relation2Domain: o
n
l
y collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
occ:
a
d
d
d
ump for dumping in barvinok
_
enu
m
erate_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
bar
v
in
o
k_enumerate
_
e
: optionally use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard_constraints: take constraints
i
nst
e
ad of pol
y
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
aege
normaliz
a
tion
.
c: e
x
t
ract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n
Verdoolaege
p
arker
/
count_solutions
.
cc: fix treatm
e
nt of
e
xistentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile pa
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
euler
.
cc
:
e
v
a
l
u
e_derive
:
handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add some te
s
t sets f
r
om cases 2004 a
n
d c
c
2005
p
aper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvi
n
ok_max
i
mize to barv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
add a test fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
a
e
ge
evalue_rang
e
_prop
a
gation: re
m
ove r
e
dundant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_boun
d
: record nu
m
ber
o
f
polynomial
s
as
"size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
un
d
:
convert
q
ua
s
ipoly
n
omial
s
to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
e
g
e
tes
t
_bou
n
d: compare pol
y
nom
i
al bound al
g
or
i
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ver
i
fy
.
c
: o
p
ti
m
um: handle input ev
a
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: extract ev
a
lue_op
t
imum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
ool
a
ege
veri
f
y
.
c: extract
c
ommon code for verifyi
n
g opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
evalue_range_prop
a
gation: add
m
onoton
i
city te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maxim
i
ze:
opt
i
o
nally use (basi
c
) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
ola
e
ge
Add som
e
support
f
or dealin
g
with evalu
e
s that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
barvino
k
_enumerate: supp
o
rt us
e
of Eule
r
-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
implement Bernoulli_su
m
as conv
e
rsion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
li_sum_evalue:
exploit integer b
o
unds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
k
e
ep track of number of
B
erno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoulli
.
c
:
p
rotect share
d
evalue from mod
i
f
i
cat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test Berno
u
l
li s
u
ms ba
s
ed exa
c
t
enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_with_options: c
o
mput
e
(ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
Bernoull
i
_sum_
e
value: opti
o
nally h
a
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
lattice_p
o
int
.
h
:
expo
r
t fract
i
onal_p
a
rt wi
t
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvinok_
e
nume
r
ate_with_options: comput
e
(
e
xa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doola
e
g
e
Bernoulli_
s
u
m_evalue: handle equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Ber
n
oulli_sum_evalue: cut o
f
f some redunda
n
t part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
B
ernoulli_sum_evalue: make sure
n
o
em
p
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
Be
r
noulli_sum_evalue
:
remove redundant constr
a
int i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoulli
.
c: minor refact
o
ri
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli
_
sum: ha
n
d
le context constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
for_each_lower_upper_bou
n
d: add
a
no
t
h
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
la
e
ge
ver
i
fy
.
c: ad
j
us
t
defau
l
t
r
ang
e
to co
n
te
x
t
i
f
need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc: summate_o
v
e
r_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
pa
r
am_
u
t
il
.
c:
e
xport P
a
ram_Ver
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Param
_
Poly
h
e
d
ron_Facet:
p
ass
f
acet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
genfun
.
cc:
p
ar
a
llel_p
o
lytopes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
evalue
_
split_doma
i
ns_into_o
r
than
t
s: don'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_r
e
ad: on
l
y allow t
e
rms to cr
o
s
s
newlines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
evalue_read: only
a
ccept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolae
g
e
evalue_rea
d
:
accept constraint
s
containin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaeg
e
e
v
alue_bernstein_coefficients:
ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
ber
n
stein: pie
c
ewise_lst
:
correctly print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
remove_a
l
l_eq
u
alities: k
e
ep remo
v
i
ng paramet
e
r equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc:
c
onsistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
doc: upda
t
e now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
for_each_lower_uppe
r
_bound: allow absence o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
l
a
ege
Rever
t
"eadd_p
a
rtitions: try
t
o
combine multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ola
e
ge
evalue_
r
ead_pa
r
tition: put partiti
o
ns bac
k
in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
e
v
alue:
r
educe_evalue
:
add note o
n
some
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
be
r
nstein
.
cc: handle input
with unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdo
o
laege
maximize
.
cc:
d
eal
w
ith un
i
ons in input during verification
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoolaeg
e
evalue_s
u
bs
t
i
t
ute: properly han
d
le relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
v
al
u
e
.
c
: clean
up e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olaege
evalue_read: correctly read variable names
commit
|
commitdiff
|
tree
next