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
bernstein: numeric2value: fix typo to allow correct conversion of big values
2008-05-04
Sve
n
Verdoolaege
bernstein: nu
m
eric2
v
alu
e
: fix typ
o
to allow
cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
u
til
.
c: Facto
r
_Contex
t
:
e
x
tr
a
cted from b
a
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
summ
a
te
.
c: barvinok_summate: ign
o
re floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalu
e
.
c
:
add
e
v
a
l
ue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
om
e
ga/occ: print barvinok version
n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
doc:
u
pdate some re
f
e
ren
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
M
a
k
e laurent based summat
i
o
n the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: barvinok_summate: ha
n
dle quasi-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oolaeg
e
reduce_evalue
:
e
x
trac
t
out evalue_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
evalue
.
c
: eval
u
e
_sh
i
f
t
_variables: allow shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c: handle equalities for all summation
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
d
oolaege
summate
.
c: barvin
o
k
_
su
m
mate: m
o
ve common
parts of
s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c:
e
v
alue_sum: move sig
n
han
d
l
i
ng into e
s
u
m
_
over_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
r
doolaeg
e
barvinok_
e
.
cc: enumerate_sum:
use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
su
m
mate
.
c: extra
c
t barvinok_s
u
mma
t
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
e
ge
rename s
u
mm
a
te
.
c
c
to barvinok
_
s
u
mm
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Ver
d
oola
e
ge
ev
a
lue
.
c: reduce_
e
v
alue: reduce floor w
i
t
h
c
o
n
stant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Ad
d
Laurent expansio
n
ba
s
ed sum
m
a
t
ion
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
Verdoolaege
e
value
.
c: extend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomi
a
l
.
c:
e
xtract binomial
a
nd
f
actorial from e
u
le
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
power
.
h: extr
a
ct from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolae
g
e
introduce
e
valu
e
_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
lattice_p
o
int
.
cc:
e
xport relat
i
ve_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
att
i
ce_p
o
int
.
h: m
a
ke sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_point
.
cc: ad
d
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
o
l
ae
g
e
util
.
c: internalize u
g
ly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
doolaege
l
a
ttice_poin
t
.
cc: m
u
lti_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoola
e
ge
do
c
: clean
u
p "expo
n
ential substitution" s
e
c
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
o
laege
test_bound
.
cc:
a
void
l
o
s
s of pr
e
cision
cause
d
by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvin
o
k_b
o
und: optionally tak
e
maximal size o
f
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
barvinok_bou
n
d: a
d
d --itera
t
e options for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doola
e
ge
verify
.
c: export fu
n
ctions
f
or setting
and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doolaege
ver
i
fy
.
c: eval
u
e_optimum: all
o
w computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
b
ernstein
.
cc: evalu
e
2ex:
d
on'
t
assume
a
l
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ver
d
oolaege
bound
.
cc: fix
call
to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
e
{
add,mul}_
p
eriodics
:
plug memo
r
y leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
la
e
g
e
evalue_bernstei
n
_c
o
e
f
ficients: han
d
le
probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verd
o
o
l
aeg
e
lattice_width
.
c
:
skip d
i
rect
i
ons that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
Verdoolaege
Ma
k
efile
.
am: add
cd
d
94e-test
t
o distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaeg
e
o
m
ega/occ: opt
i
onally use parker for c
o
m
p
utin
g
cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
olaege
om
e
ga
/
convert
.
cc: relat
i
o
n2Domain:
o
nly col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
c
c
: a
d
d dump for d
u
m
p
i
ng in barvinok_e
n
u
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
barvinok_enumer
a
te_e: op
t
ionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaeg
e
standard_constraints: take c
o
nstraints
i
n
stead of p
o
ly
h
ed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
n
o
rma
l
i
z
ation
.
c:
e
xtract stan
d
ard_constraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ve
r
dool
a
e
g
e
parker/count_solu
t
io
n
s
.
cc:
f
ix tre
a
tment of
existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
do
o
laege
comp
i
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
ege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: eva
l
ue
_
derive
:
handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
add s
o
me test sets from cases 2004 and cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
renam
e
barvin
o
k_
m
a
x
imi
z
e to
barvin
o
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
o
l
a
ege
e
value_range_propagati
o
n: remove
redunda
n
t polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_boun
d
: r
e
cord number of polynomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound: convert quas
i
polyn
o
mia
l
s
t
o polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare polynomial bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: optimum: handle
i
nput evaluating to
n
eg
a
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
v
e
rify
.
c: extra
c
t evalue_optimum
fr
o
m
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
verify
.
c: extract comm
o
n co
d
e
for
v
erif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
evalue_range_propagation:
add
m
onotonic
i
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_maxi
m
i
ze: optionally use (basic)
r
ange prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add some s
u
pport for de
a
ling
with evalues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_enumerate: sup
p
o
rt
use of
Euler-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
i
mplement Bernoulli_su
m
as c
o
n
version from un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
B
erno
u
ll
i
_sum_ev
a
lue: exploit integer
bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
keep tr
a
c
k
of num
b
e
r of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoulli
.
c: pr
o
tect
s
hared eva
l
ue from m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bern
o
ulli s
u
ms based
e
xact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ba
r
vinok_count_with_optio
n
s: c
o
mput
e
(exac
t
) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verd
o
o
l
aege
Bernou
l
li_sum_eva
l
ue: optionally h
a
n
d
le fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice_point
.
h
:
e
xpor
t
fractio
n
al_pa
r
t wit
h
C
li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok_enumerate_
w
ith_o
p
t
i
ons: c
o
mpu
t
e
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Berno
u
lli_sum_ev
a
lue: cut
off s
o
me redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
u
m
_e
v
a
l
ue: make su
r
e n
o
empty
p
ar
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_e
v
alue
:
r
e
move
r
edundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bernoulli
.
c:
min
o
r
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bernoull
i
_sum: handl
e
co
n
text con
s
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli
_
su
m
_
e
v
a
lue: make
s
ure
e
nou
g
h memo
r
y
is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
for_ea
c
h_lowe
r
_upp
e
r_bound: ad
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c
:
adjust default
range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdo
o
l
a
ege
euler
.
c
c
: s
u
mmate_over_domain: only c
o
ns
i
der a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
o
olaege
param_util
.
c: e
x
port Pa
r
am_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
a
ege
Param
_
Polyhedron_Fac
e
t: pass
f
acet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
genfun
.
cc: pa
r
a
l
l
e
l_poly
t
o
p
es: don't bo
t
her handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
e
va
l
ue
_
split_d
o
mains_into_
o
r
thant
s
: don't reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
e
val
u
e_read:
only allow ter
m
s to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
e
ge
eva
l
ue_read: only
a
ccept implicit
m
u
ltiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
la
e
g
e
evalue_read: accept constrain
t
s
c
ontain
i
ng "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
evalu
e
_bern
s
te
i
n_coefficie
n
ts: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
g
e
berns
t
ein
:
piecewise
_
l
s
t: c
o
rrectly pr
i
nt
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
r
e
mov
e
_
a
ll_equalities: keep
removing p
a
rame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oo
l
aege
doc:
consist
e
nt use of Kevi
n
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verd
o
olaege
doc: update now publi
s
hed pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound:
allow a
b
sence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert
"
eadd_p
a
r
t
itio
n
s
:
t
r
y
to combin
e
multi
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
evalue_read_p
a
rtition: put par
t
ition
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
next