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
iscc: add @ operator
2008-05-03
Sven Verd
o
ola
e
ge
evalu
e
.
c: add e
v
alue_f
l
oor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
o
mega/
o
cc: print
b
arvinok version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
doc
:
update some referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
Mak
e
laure
n
t bas
e
d sum
m
atio
n
t
h
e
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
summate
.
c: b
a
rvinok_summa
t
e: handle
quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
r
e
d
u
ce_evalu
e
:
e
x
t
r
a
ct out
eval
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c: eva
l
ue_shift_variables: allow sh
i
fting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handle e
q
ua
l
i
t
ies for all sum
m
ation alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summate
.
c: barvinok_summate: move commo
n
parts of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
evalue
.
c:
eva
l
u
e_sum
:
m
o
ve sign handlin
g
into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
ol
a
e
g
e
barvi
n
ok_e
.
cc: enumerate_sum: use ba
r
vi
n
o
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
r
d
o
olaege
summ
a
te
.
c: ex
t
r
act
b
a
rvinok_sum
m
ate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
d
ool
a
ege
rename summate
.
c
c to barvin
o
k_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
: r
e
duc
e
_evalue: r
e
du
c
e
f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
Add Laure
n
t expans
i
on
based sum
m
a
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
evalue
.
c:
e
xte
n
d e
e
qu
a
l to h
a
ndle domai
n
s and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
b
i
no
m
ial
.
c: extract bi
n
o
m
i
al a
n
d factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Ve
r
doolaege
power
.
h:
extract from e
u
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
i
n
troduce evalue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
int
.
cc: export
rela
t
ive
_
coordinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
rdoo
l
a
ege
lattice_point
.
h: mak
e
sure correct
e
v
alu
e
s
ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
latti
c
e_point
.
cc: add ceiling
f
unction
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c
:
i
n
ternaliz
e
ugly
bv
_
ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
l
a
t
t
ice_point
.
cc: mult
i
_monom/lattic
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoo
l
aege
doc: c
l
ean up "exp
o
nential substi
t
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
test_
b
oun
d
.
cc: a
v
oid loss of p
r
ecision caused
by
c
o
n
vers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
ege
b
a
rvinok_b
o
und: optionally take max
i
ma
l
size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdo
o
la
e
ge
b
arvinok_
b
ound: add
-
-
iterate options
f
or eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
verify
.
c
: e
x
p
o
rt functions for se
t
ting a
n
d
c
leari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
verify
.
c: evalue
_
optimum: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc:
evalue2ex: don't a
s
sume all
per
i
od
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oolae
g
e
bound
.
cc: fix call to evalue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
e{add,m
u
l}_perio
d
ics:
p
lug memo
r
y le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue
_
bernstein
_
c
oefficients:
h
andl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
V
e
rd
o
olae
g
e
l
attice_width
.
c: skip d
i
rections that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
Ma
k
efile
.
a
m: add cdd94e-tes
t
to
d
ist
r
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
ome
g
a/occ:
o
p
ti
o
nally use p
a
r
ker for computin
g
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c
: skew_to_p
o
sitive_o
r
thant: p
r
operl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
ome
g
a/convert
.
cc: relation2Domain:
o
n
l
y
c
o
l
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
occ: add dump f
o
r d
u
m
p
i
ng
i
n barvinok_enum
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdool
a
ege
barvinok_enumerate_e:
o
pt
i
onal
l
y use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
st
a
ndard
_
c
onstraints:
t
ake constraints in
s
tead of poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normalization
.
c: extract stand
a
rd_constr
a
int
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
parker/co
u
nt_soluti
o
ns
.
cc: fix treatme
n
t of
e
xistent
i
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven V
e
rdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
g
e
euler
.
c
c: evalue_derive: handle c
o
nstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add some te
s
t se
t
s from cases 2
0
04 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvinok_ma
x
imize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
a
d
d a test for tes
t
_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
ev
a
lue_range_
p
ropaga
t
io
n
: remove red
u
ndan
t
polyn
o
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
test_boun
d
:
r
ecord numb
e
r of polynomi
a
ls
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
tes
t
_
b
ound: convert qu
a
sipoly
n
omi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: co
m
pare
p
olynomial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
v
e
rify
.
c: optimum: handle input evaluating to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdool
a
eg
e
verify
.
c:
e
xtract evalue_optimum from m
a
xi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
veri
f
y
.
c: extract common code for verifying o
p
erat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
e
v
alue
_
range
_
p
ropagation: add monotoni
c
ity
t
es
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximi
z
e: opt
i
onally use (basic) range pro
p
aga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
Add so
m
e supp
o
r
t
f
or dea
l
ing with e
v
a
lues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
b
a
r
vinok_enum
e
r
ate:
suppor
t
u
s
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
impl
e
me
n
t Bernoulli_sum a
s
conversion
f
rom un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
a
e
g
e
Bernoulli
_
sum_
e
value: exploit in
t
eger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
kee
p
t
r
ack of number of
Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
berno
u
lli
.
c:
p
rotect
s
hared ev
a
l
u
e
from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test Bernoulli sums bas
e
d exact
e
num
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_count_with
_
opti
o
ns:
com
p
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
g
e
Bernou
l
li_sum_evalue:
opt
i
on
a
lly h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
lattice_point
.
h: export
f
ractional_part with C lin
k
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolae
g
e
barvinok_enu
m
er
a
te_wi
t
h_options
:
compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
Be
r
noulli
_
sum_evalu
e
: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
e
rnoulli_sum_evalue:
cut o
f
f
so
m
e
red
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
oulli_s
u
m
_
evalue: m
a
ke s
u
r
e
no em
p
ty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue
:
remo
v
e
redun
d
ant
constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Bernoulli_sum: handle contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
for
_
e
ach_
l
ower
_
upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c:
adjust default
r
an
g
e to c
o
ntext i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
eule
r
.
c
c: summ
a
te_over_domain:
only co
n
si
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
p
a
ram_
u
til
.
c: export Para
m
_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Para
m
_Polyhe
d
ron_Fac
e
t: pass facet defining
c
o
ns
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
gen
f
un
.
c
c
: p
a
rallel_polytopes: d
o
n't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eval
u
e_split_doma
i
ns
_
into_
o
rthants: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
eva
l
ue_read: o
n
l
y
allow te
r
m
s to cross newl
i
nes in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalu
e
_read: only accept implici
t
multi
p
lication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead:
accept
c
onstr
a
ints co
n
taining
"
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
evalue_
b
ern
s
tein
_
co
e
fficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olaege
b
ernstein
:
piecewise_lst
:
correctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
r
e
mov
e
_all_equal
i
ti
e
s: kee
p
removing para
m
eter equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: consistent u
s
e
of
Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdo
o
laege
doc:
u
p
date
now published paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_eac
h
_lower
_
u
p
per_boun
d
: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoo
l
aege
Revert "eadd_par
t
itions: try to
combine multiple
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
evalue_re
a
d_partit
i
on: p
u
t partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olaege
evalue:
r
educe_evalue: a
d
d note on some missed
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
bernste
i
n
.
c
c: handle inpu
t
with
unions + relati
o
n
viol
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximi
z
e
.
cc: deal with
unions in inp
u
t
dur
i
ng veri
f
i
c
at
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
evalue_substitute:
properly handle relations
commit
|
commitdiff
|
tree
next