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
evalue.c: add evalue_floor2frac
2008-05-03
Sven
V
erdoolaege
evalue
.
c
:
add evalu
e
_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
omega/oc
c
: print barvinok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
d
o
c: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
M
a
ke
l
aure
n
t
based s
u
mmation the defa
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
s
ummate
.
c
:
b
a
rvinok_sum
m
ate: hand
l
e
q
uasi-pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
reduce_evalue: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c:
eval
u
e_shift_v
a
riables: al
l
ow
s
h
if
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
r
doolaege
s
u
mmate
.
c: hand
l
e equalities for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summa
t
e
.
c: barvi
n
o
k
_summate
:
mov
e
common parts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
e
value
.
c: ev
a
lue_sum
:
m
o
v
e
sign
h
andling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
barvinok_e
.
cc: enumerate_sum: use b
a
rvinok_
s
umm
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summate
f
rom
bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename
su
m
mate
.
c
c to barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoola
e
ge
evalue
.
c
: re
d
uce_e
v
al
u
e: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
Add Lau
r
ent expansion
b
ased summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
evalue
.
c: exten
d
eeq
u
a
l
t
o
handle
domains an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oola
e
ge
binomia
l
.
c: extra
c
t b
i
nomial and factorial from
eul
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
power
.
h: extract from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
dool
a
ege
int
r
oduce evalu
e
_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ve
r
d
o
o
l
a
eg
e
lattice_point
.
c
c
: export relative_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h:
make sure
c
orrect eva
l
u
e
s
are use
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aeg
e
la
t
tice_point
.
cc:
add ceiling
func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
util
.
c:
i
nternal
i
z
e
ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en
V
erdoolaege
lattice_point
.
cc: multi
_
m
onom/
l
attice_poin
t
s: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
doc: clean up
"
e
x
ponential
substituti
o
n
"
section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test
_
bound
.
cc: avoid loss of pr
e
cision caused
by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
b
a
rvi
n
ok_bound: opt
i
onally take maxi
m
al size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
ba
r
vinok_bound: add --iterate opt
i
ons fo
r
e
valuatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
verify
.
c
: export functio
n
s
for
setting
and cl
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c
: evalue_opt
i
mum: al
l
ow
c
omputation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
ber
n
ste
i
n
.
cc: evalue2ex: don't assume all
p
eri
o
di
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bound
.
cc: fix
c
all to
e
v
a
lue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{ad
d
,mul}_
p
er
i
o
d
ics: plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalu
e
_bernst
e
in
_
coeffi
c
i
e
n
ts
:
handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoo
l
aege
lattice_wid
t
h
.
c
:
ski
p
dire
c
tions that are i
d
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefil
e
.
am:
add cdd94e-test to distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/occ
:
optionally use
parker for computing ca
r
di
n
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_p
o
sitive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/convert
.
cc: relati
o
n2
D
omai
n
: only co
l
l
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
occ: add dump
for dum
p
in
g
i
n
b
a
rvinok_enumerate_e
f
orma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
arvinok
_
e
n
umerate_e: o
p
t
i
o
n
a
ll
y
use parke
r
'
s m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard_con
s
traints: take c
o
nstraints ins
t
ead of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
no
r
malization
.
c: extra
c
t
s
t
andard_con
s
train
t
s fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parker/co
u
nt_
s
olut
i
on
s
.
cc: f
i
x treatment
o
f ex
i
s
te
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
euler
.
c
c:
e
v
al
u
e_de
r
ive: handle const
a
nt polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add
some t
e
st sets from
c
ase
s
2004 an
d
c
c
2005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_maximize
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
ad
d
a test fo
r
test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ra
n
ge_pro
p
agat
i
on: remove
r
edun
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolaege
tes
t
_bound: record number of
p
olyno
m
i
als a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
te
s
t_bound: co
n
ve
r
t
q
uas
i
p
olynomia
l
s to po
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
test_bound: compare
polynomial bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handl
e
input evaluatin
g
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
ve
r
ify
.
c: extract
e
value_optimum from maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract comm
o
n code
f
or veri
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_r
a
nge_p
r
opa
g
ation: add
monotonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok_maximize: optionally use
(
basic)
r
ange pr
o
p
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for dealing with
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_enu
m
era
t
e: support
use of
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
i
m
ple
m
ent B
e
rn
o
ulli
_
sum as
c
onversion from unw
e
i
g
hte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Berno
u
lli_sum_
e
value: exploit integer bou
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
k
ee
p
track of
number o
f
Bernoull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bern
o
ulli
.
c: protect shared eva
l
ue
from modifi
c
at
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test Bernoul
l
i sums based exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
barvi
n
ok_count
_
with_o
p
tions:
c
om
p
ute
(e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue:
opt
i
onally h
a
ndle f
r
acti
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
lat
t
ice_point
.
h:
e
x
port
fractional_part
wi
t
h C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvin
o
k_e
n
umerat
e
_wi
t
h_options: com
p
ute
(exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
Be
r
noul
l
i_sum_evalu
e
: hand
l
e eq
u
a
l
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
Bernoulli_sum
_
eval
u
e: c
u
t off
some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
laege
Bernoulli_sum_evalue
:
m
ak
e
sure
n
o empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_s
u
m_evalue:
remove redundant co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
be
r
n
oulli
.
c
: mi
n
or ref
a
cto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_s
u
m: handle con
t
ext
const
r
ain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ernoulli_s
u
m_e
v
alue: make sure enough memory is a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
for_each_lower_upper_bound: add anoth
e
r
cal
l
ba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: adjust
default ra
n
ge
t
o context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eu
l
er
.
c
c: summate_over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
par
a
m_util
.
c: export Param
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Poly
h
edron
_
Fac
e
t: pass facet d
e
fining con
s
tr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: parallel_
p
olyt
o
pes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ev
a
lue_s
p
lit_doma
i
ns_into_orthants
:
d
o
n't
r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
e
value_re
a
d: only
a
llow term
s
to cross n
e
wlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
only
a
ccep
t
i
m
plicit m
u
ltiplicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
ev
a
lue_read: accept constraints
c
onta
i
ning "'
-
'
s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaeg
e
evalue_bernst
e
in_coeff
i
c
i
ents:
e
n
sur
e
result partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
be
r
n
s
tein: piecewise_lst: correctly print and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
remove_al
l
_equalities: k
e
ep removing par
a
meter equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
upd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: cons
i
stent use
o
f
K
e
v
i
n
's in
i
ti
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
d
oc: update now published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
for_ea
c
h
_lower_upper_boun
d
: allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Revert
"
eadd_par
t
itions: try to
c
omb
i
ne mult
i
p
le do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doolaege
evalue_read_p
a
rti
t
io
n
: put partitions bac
k
in
th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue: re
d
uce
_
evalue: add note on some mis
s
ed opportunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
b
ern
s
tein
.
cc: handle input with unions + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximiz
e
.
cc: de
a
l with unio
n
s in
in
p
u
t
during verification
commit
|
commitdiff
|
tree
next