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
Makefile.am: check-euler: also check laurent
2008-05-04
Sven Verdo
o
laege
Mak
e
fil
e
.
am: check-euler: al
s
o check
la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolae
g
e
summate
.
c: b
a
rvi
n
ok
_
sum
m
ate:
h
andle produ
c
ts o
f
pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
a
e
ge
e
v
alue
.
c: export
e
value_reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
bernstein: numeric
2
value: fi
x
typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ut
i
l
.
c: Fact
o
r_Contex
t
: extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
s
ummate
.
c: barvino
k
_su
m
mate:
i
gnore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaeg
e
evalue
.
c:
a
dd evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
om
e
ga/occ: pri
n
t
barvi
n
ok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
d
oc: updat
e
so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
Mak
e
laurent based summation the
d
e
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c: b
a
r
vinok_s
u
m
m
at
e
: handle
quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
r
e
duce_evalue: extract ou
t
e
v
a
lue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
evalue
.
c: e
v
alu
e
_shift_variables: all
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
dool
a
ege
summat
e
.
c: handle e
q
ualities
f
or all su
m
mati
o
n algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
su
m
mate
.
c: b
a
r
v
inok_summate: move common
parts of sum
m
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
r
d
oolaeg
e
evalue
.
c:
evalue_sum: m
o
ve sign handling i
n
to esum_over_
d
omain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doolaege
ba
r
v
inok_e
.
c
c: en
u
m
erate_s
u
m: use b
a
rvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
su
m
mate
.
c: extract barvinok_s
u
mmate fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
r
e
na
m
e summate
.
cc t
o
barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
u
e
.
c: reduc
e
_
evalu
e
: reduce floo
r
with cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
a
e
ge
Add Laur
e
nt expansion ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaege
e
v
alue
.
c:
e
xtend eequal
t
o handle domains
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extract bin
o
m
ial and facto
r
ial from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
p
o
wer
.
h: e
x
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aeg
e
intr
o
d
u
ce evalu
e
_shift_v
a
ria
b
l
es
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ve
r
do
o
laege
l
a
ttic
e
_point
.
cc: export relative_co
o
rdinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
a
ttice_point
.
h: make su
r
e correct eva
l
ues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
ice_poin
t
.
cc: add ceilin
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
util
.
c
: int
e
rna
l
ize ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_po
i
nt
.
cc: multi_monom/lattice_
p
o
ints: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc:
c
lean
u
p "e
x
pon
e
n
tial substitut
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
laege
t
est_bound
.
cc: avoi
d
loss of prec
i
sio
n
c
aused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
ae
g
e
barvinok_
b
o
u
nd: optionally take maximal s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
b
a
r
vinok_b
o
un
d
: add --ite
r
ate opti
o
ns for evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
verify
.
c
:
e
x
port functi
o
ns f
o
r s
e
tting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c
:
e
v
al
u
e_optimu
m
: allow compu
t
ation
of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: eva
l
ue2ex:
don
'
t assume
a
ll
p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olae
g
e
b
ound
.
cc: fix
c
all
t
o eva
l
ue
_
c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaege
e{ad
d
,mul}_p
e
riodics
:
plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolae
g
e
evalu
e
_bernstein_coefficients: hand
l
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
olae
g
e
u
pdate
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolaege
l
a
ttice_width
.
c:
s
kip directions
t
ha
t
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en
Verdoolaege
Makefile
.
a
m
:
a
d
d
cdd94e-tes
t
to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/occ: optionally u
s
e parker for compu
t
ing car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normal
i
zation
.
c
:
s
ke
w
_to_posi
t
ive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aege
omega/
c
onvert
.
cc: relatio
n
2
D
o
m
ain: only collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
erdoolaege
occ: add d
u
mp for dumping in
barvinok_enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
barvinok
_
enumera
t
e_e:
optionally use pa
r
k
e
r
'
s
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
aeg
e
standard_
c
onstr
a
ints: take constraints instead o
f
polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
norm
a
lization
.
c: extract standard_
c
o
n
strai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
par
k
e
r/count_solutions
.
cc: fix treatmen
t
of existe
n
tia
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
co
m
pil
e
p
arke
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
eul
e
r
.
c
c
: evalue_deriv
e
: handle consta
n
t
p
olyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
laege
add some test sets from
c
a
ses 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e b
a
rvinok_maxi
m
ize to barvi
n
ok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
evalue_range_propa
g
ation: remove
redundant
p
olynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bound: record number of p
o
l
ynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test
_
bound:
c
o
n
v
er
t
quasipolynomials to
p
olyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
test_bound: compare
p
olynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: optim
u
m: hand
l
e input evalu
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoola
e
ge
verify
.
c: extract evalue_optimum
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract common
code for
verifying
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eva
l
ue_range_propagation:
add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
barvi
n
o
k
_maximize: optionally use (basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Add s
o
me support
f
or d
e
aling with evalue
s
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
barv
i
nok_enumerate:
s
up
p
ort u
s
e
of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
implement Bernoulli_
s
um as conversion
f
rom
u
n
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
Berno
u
lli
_
sum
_
eva
l
ue: ex
p
loit
i
nteg
e
r bou
n
d
s
to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
keep
track
of
number of Bernoulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oull
i
.
c
:
protect shared evalue from modi
f
ications
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
do
o
laege
tes
t
B
er
n
oull
i
s
u
m
s b
a
sed exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
r
v
inok_count_with_op
t
ions:
c
ompute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
Bernoulli_sum_
e
val
u
e:
opt
i
onally h
a
n
d
le
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_
p
oint
.
h: expor
t
f
ractional_p
a
rt with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvino
k
_enumerate_wi
t
h_options:
c
ompute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_
s
um_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Ber
n
oulli_sum_ev
a
lue:
cu
t
o
f
f so
m
e
re
d
u
n
d
a
nt part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_
s
u
m_
e
value: ma
k
e s
u
re no empty
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum
_
evalue: remove r
e
dundant cons
t
rai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
e
r
n
oulli
.
c: minor refact
o
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Bernoull
i
_
sum
:
h
and
l
e context const
r
a
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernou
l
li_sum_evalue: make sure e
n
ou
g
h memory is
a
ll
o
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for
_
each_lower_upp
e
r_bound: add
a
nother callba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: a
d
just defau
l
t range to
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
euler
.
cc: summate_over_
d
o
m
ain: o
n
ly
c
onsi
d
e
r
ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
pa
r
am_util
.
c: expo
r
t Para
m
_Ver
t
e
x
_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Param
_
Polyh
e
dron_F
a
ce
t
: p
a
ss facet d
e
fining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
g
e
nfun
.
c
c
:
p
a
r
a
l
lel_polytopes
:
don
'
t bo
t
h
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
alue_spli
t
_domains_into_orthants: don't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
v
alue_read: only allow terms t
o
c
ros
s
newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_read
:
only acc
e
pt
implicit multipl
i
cation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
eval
u
e
_read:
a
ccept constraints containing "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
eval
u
e_bernstein_coefficients:
ensure resu
l
t
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
bernste
i
n: piecewise_lst: correctly print
a
nd evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolae
g
e
rem
o
ve_
a
ll_equalities: keep removing parame
t
er equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: consistent use of K
e
vin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
doc: updat
e
now published papers
commit
|
commitdiff
|
tree
next