repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
summate.c: handle equalities for all summation algorithms
2008-05-03
Sven
Verdoolaege
summate
.
c: handle equal
i
ties for all
summatio
n
algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summ
a
te
.
c: barvinok_
s
u
mmate
:
move co
m
mon parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: ev
a
lue_sum: move s
i
g
n han
d
li
n
g int
o
esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
barvi
n
ok_e
.
cc: enu
m
e
r
ate
_
s
u
m
: use
b
arvin
o
k
_
s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summ
a
t
e
.
c: extract barvinok_summate from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
d
o
olaege
rename summ
a
te
.
c
c
t
o ba
r
vi
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
e
v
a
lue
.
c: reduce_evalue: reduce
fl
o
or w
i
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
Add Laure
n
t expansion b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
e
v
alue
.
c
:
extend e
e
qual to
h
andle
domain
s
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c
: ex
t
ract bi
n
o
mial and factor
i
al from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ver
d
oolaege
power
.
h: extract
from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
laege
int
r
oduce ev
a
lue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oola
e
ge
lat
t
ice_
p
oint
.
c
c: e
x
port relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
lattice_poi
n
t
.
h: make su
r
e corr
e
ct ev
a
lues
are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Ver
d
o
olaege
lattice_p
o
int
.
c
c: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doo
l
aege
uti
l
.
c: i
n
ternalize
ugl
y
bv_
c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: mult
i
_mo
n
om/l
a
ttic
e
_p
o
i
n
ts
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoolaeg
e
d
oc: clean
up "expo
n
ential su
b
stitutio
n
" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
test_bound
.
cc: avoid loss of precision caused
b
y
conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
o
l
aege
barvinok_bound: o
p
tion
a
l
l
y ta
k
e maximal s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
l
aege
barvinok_bou
n
d: add --iterate
o
p
tions for evalu
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
ve
r
ify
.
c: export functions for setting
and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
ege
verify
.
c:
e
value_optimum: allo
w
c
omputati
o
n
o
f op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernstein
.
cc: evalue2
e
x: don
'
t
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolae
g
e
bound
.
cc: fix call to eva
l
ue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
ege
e{add,
m
ul}_per
i
od
i
cs: plug memor
y
le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
eval
u
e
_bern
s
t
e
in_coefficient
s
:
h
an
d
l
e
prob
l
e
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ver
d
oolaege
lattice_wid
t
h
.
c: skip
d
ire
c
tion
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
M
a
kefile
.
a
m: add
cdd94e
-
test
to dis
t
ri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
o
m
ega/occ: op
t
ionally use par
k
er for computi
n
g
cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
nor
m
alization
.
c: skew
_
to_positive_orthant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/convert
.
cc: relation2Domain: only c
o
l
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdool
a
ege
occ: add dump f
o
r dumping in barvinok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
barv
i
nok_enumer
a
te_e: optionall
y
use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
standard_cons
t
raints:
take co
n
s
t
raints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
lization
.
c: extr
a
ct standard_c
o
nst
r
a
ints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Ver
d
ool
a
e
g
e
pa
r
ker/count_s
o
l
u
tion
s
.
cc:
f
i
x
treatmen
t
of e
x
is
t
en
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Ver
d
oolaege
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
A
dd p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolae
g
e
eule
r
.
cc: evalue_deri
v
e: handle constant
p
o
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add some test sets
fr
o
m cases
2
00
4
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
rena
m
e barvinok_maxi
m
ize to barvinok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add
a
test
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_prop
a
gation: r
e
move redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoo
l
aege
test_
b
ou
n
d: record number of
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bou
n
d
: c
o
nv
e
rt quasipolynomials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bo
u
n
d:
c
om
p
a
r
e polynomial bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
verify
.
c: opti
m
um: handle input ev
a
luating t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
ool
a
e
g
e
verify
.
c: ex
t
ract evalue
_
op
t
i
mum from
ma
x
i
m
ize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
ver
i
fy
.
c: ext
r
act common co
d
e for verifyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e
_
range_pr
o
pag
a
tion: add monotonici
t
y tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
barvi
n
ok_m
a
xim
i
ze: optionally use (ba
s
i
c
) range propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Add some support for dea
l
ing
w
i
th evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_enume
r
ate: suppor
t
use of Euler-Mac
l
au
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
implement
B
e
rnoull
i
_sum as conver
s
i
o
n fr
o
m unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
e
ge
Bernoulli_sum_eval
u
e: exploit integer bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
keep
t
rack of nu
m
be
r
of Be
r
noull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c
:
prote
c
t shar
e
d evalue from modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test
B
ern
o
ulli su
m
s based exa
c
t enumera
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vino
k
_
count_with
_
o
ptions: compute
(exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernou
l
li
_
sum_eval
u
e: opti
o
nal
l
y handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
lattice_poi
n
t
.
h: exp
o
rt fractio
n
a
l
_part
w
ith C
l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
e
numerate_wit
h
_options: compute (exact)
Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue:
handle e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
B
e
rnoul
l
i
_
sum_e
v
alue
:
cut
o
ff so
m
e
redunda
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
B
e
r
n
oulli_sum_eval
u
e:
m
ake sure
no
empty pa
r
tition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bern
o
ulli_
s
u
m_evalue: remove redundant con
s
train
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoulli
.
c:
mi
n
or refactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
o
laege
Bernoulli_
s
um: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
e
rnou
l
li_sum_evalue: m
a
ke
s
ure enough m
e
mory
is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
for_eac
h
_lower_
u
pper
_
bou
n
d: add
a
n
other
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ve
r
ify
.
c: adjust default ran
g
e to
context if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
eul
e
r
.
cc:
summate_o
v
er_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
param_util
.
c: export Pa
r
am_Verte
x
_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Para
m
_Polyhedron_Facet: p
a
ss facet defi
n
ing constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdo
o
l
aege
gen
f
un
.
c
c: pa
r
allel_p
o
lytope
s
: don'
t
bot
h
er
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_
s
plit_domains_into_ort
h
ants: don't re
d
uce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
a
d: onl
y
allow
terms to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ev
a
lu
e
_read
:
only accept
i
m
p
licit m
u
l
tipli
c
a
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
olaeg
e
ev
a
lue_read: accep
t
c
onstraints
c
ontain
i
n
g "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_b
e
r
n
st
e
in_coeff
i
cients: ensur
e
result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piec
e
wise_l
s
t:
c
orrectly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
remove
_
a
ll_equalities: keep removing parame
t
er
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
u
p
da
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: consistent
use of
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Ve
r
doolaege
do
c
: update now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdool
a
ege
for_each_lower_
u
pper_
b
ound: allow
abs
e
nce of
lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
evert "ea
d
d_partitions: try to combine multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
evalue_r
e
ad_partition: p
u
t partitions ba
c
k
i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
r
doolaege
e
v
a
lue: reduce_evalu
e
: add note on
some misse
d
o
pportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
ae
g
e
be
r
nstei
n
.
c
c: hand
l
e i
n
put wit
h
u
nions
+ relation
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
max
i
mize
.
cc: deal wi
t
h unio
n
s in
inp
u
t during verif
i
cati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_substitute
:
pr
o
perly hand
l
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
g
e
eval
u
e
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aeg
e
e
v
a
l
ue_rea
d
:
correc
t
ly re
a
d v
a
riable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_read: accept top leve
l
"r
e
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
eva
l
ue
_
b
ack
s
ubstitut
e
: add r
e
quired modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
ev
a
lue
.
c
: *_part
i
t
i
ons
:
simplify constraint
s
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
next