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
normalization.c: compute_shifts: remove redundant return
2008-05-04
Sv
e
n Ver
d
oolaege
normalization
.
c: compute_sh
i
f
t
s: remove re
d
undant r
e
tur
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erd
o
olaege
m
ove
F
r
ee
_
ParamNames polylib and ma
k
e
param
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoola
e
ge
occ: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
ex
_
c
o
nv
e
rt
.
cc:
extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
doc: document m
o
re --summat
i
o
n methods for barvi
n
ok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opti
o
ns
.
c: ren
a
me
"barv
i
nok" summation method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Ma
k
efile
.
am: check-e
u
l
er: a
l
s
o
c
h
ec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
summate
.
c:
barvinok_summate: hand
l
e p
r
oducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
evalue
.
c: export
evalue_re
o
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
bernstein: numeric2
v
alue: fix ty
p
o
to allow
co
r
r
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
laege
util
.
c: Factor
_
Context:
e
xtracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
summate
.
c: ba
r
vinok_s
u
mma
t
e: ignore f
l
oo
r
s
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaeg
e
e
v
a
lue
.
c: add
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
la
e
ge
om
e
ga/occ: prin
t
b
arvinok
version num
b
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
r
doolaege
do
c
: upd
a
te
some refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
Make laure
n
t b
a
sed summation the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rd
o
olaege
summate
.
c:
b
a
r
vinok_summate: han
d
le quasi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
reduc
e
_evalue: ex
t
ract ou
t
evalue_reduce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
e
val
u
e
.
c:
e
val
u
e_shift_variables: all
o
w
shifti
n
g
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summ
a
te
.
c
: ha
n
dl
e
e
q
uali
t
ies
f
or all sum
m
ation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
: ba
r
vi
n
ok_summate:
move common parts of summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
evalue
.
c
:
e
value_
s
um: move sign handling into esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
barvinok_e
.
c
c
: enumerate
_
sum: use barvinok
_
summat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
sum
m
ate
.
c: extract barvi
n
o
k_summate from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
rename su
m
m
ate
.
cc to bar
v
i
nok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
eval
u
e
.
c: reduce_evalue: r
e
duce floor with cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expa
n
sion
b
ased summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaege
evalue
.
c: e
x
tend ee
q
u
a
l to
h
a
ndle domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
binomi
a
l
.
c:
e
x
t
r
a
c
t
binomi
a
l and factorial from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
power
.
h: extract fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
intro
d
uce eva
l
ue_shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoola
e
ge
latt
i
ce_poi
n
t
.
cc: export relative_coor
d
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doo
l
ae
g
e
lat
t
i
c
e_point
.
h
: make sure correct
e
values are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
dool
a
ege
lat
t
ice_point
.
cc: add ceiling fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doola
e
ge
util
.
c:
i
nter
n
alize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
aege
la
t
t
ice_point
.
cc:
multi_monom/
l
attice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erd
o
o
laege
doc:
c
le
a
n u
p
"exponential
s
u
bstit
u
ti
o
n
"
section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
e
r
doolaege
test_bound
.
cc
:
avo
i
d
loss of precisi
o
n caus
e
d
b
y c
o
nve
r
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
ba
r
v
i
nok
_
bound: optionally tak
e
ma
x
i
mal
s
ize of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
barvinok_bound: add --it
e
rate op
t
ions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
fy
.
c: export functio
n
s
for
setting
a
nd clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaeg
e
verify
.
c: eva
l
ue_op
t
imum:
allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
o
o
laege
bernstein
.
cc: e
v
alue2ex: don
'
t ass
u
me all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
bound
.
cc
:
fix call to evalue_
c
o
n
vert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erd
o
ol
a
ege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
ev
a
lue_bernst
e
in_coeffic
i
ents: handl
e
pr
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
up
d
a
t
e p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
er
d
o
ola
e
ge
lattice
_
width
.
c: skip dir
e
ctions th
a
t are i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoola
e
ge
M
a
kefile
.
am:
a
d
d cdd9
4
e
-test to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/occ: op
t
i
o
n
a
lly use parker for
computing cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdoolaeg
e
norma
l
i
zation
.
c: sk
e
w_to_p
o
sitive_orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoo
l
aege
omega/con
v
ert
.
c
c
: rela
t
ion2Domain: only collec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
occ: add dump fo
r
dumpin
g
in bar
v
ino
k
_enumerate
_
e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
barvinok_enumerate_e
:
op
t
io
n
ally u
s
e
p
arker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
sta
n
dard
_
constraints: take constraints instead of pol
y
hed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
normalization
.
c: extrac
t
standard_cons
t
raint
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
park
e
r
/
count_solutions
.
c
c: fix treatment
o
f ex
i
stent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
u
ler
.
cc: evalue_derive: han
d
l
e
constant polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
ad
d
some test sets from cas
e
s 2
0
04 and cc 2
0
05 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e barv
i
nok_maximize to barvino
k
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a tes
t
for t
e
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ev
a
lue_range_prop
a
g
atio
n
:
remove
r
edunda
n
t polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
t
e
st_
b
ou
n
d: record number of
poly
n
omials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound
:
convert
quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
tes
t
_boun
d
: compare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laege
verify
.
c
:
o
p
timum:
handle input eva
l
uating to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaeg
e
v
e
r
i
f
y
.
c: ex
t
ract evalue_opti
m
um from m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
veri
f
y
.
c
: extract common co
d
e for verifying operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ange_propagat
i
on: add mo
n
otonicity t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize: o
p
tionall
y
use (b
a
si
c
)
ran
g
e pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
Add some support for de
a
ling with evalu
e
s that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvino
k
_enumerate:
support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement Berno
u
lli
_
s
u
m
as conversi
o
n from un
w
ei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
Bernoul
l
i_sum_ev
a
lue: exploit i
n
tege
r
b
o
un
d
s to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
e
g
e
keep
tr
a
ck
o
f
n
umb
e
r o
f
Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
ernoulli
.
c: pr
o
tect shared evalue fro
m
mod
i
fica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
te
s
t Ber
n
oul
l
i sum
s
base
d
exact en
u
meratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
a
ege
barvin
o
k_count_with_options: co
m
pute
(
exac
t
)
B
erno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum_evalue: op
t
iona
l
ly ha
n
dle fra
c
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
lattice_point
.
h: export fractional_part wit
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
barvinok_
e
numerate_with_options: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
B
ernoulli_sum_evalue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bernoulli_sum_evalue: cut off some redundant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_ev
a
lue: make sure n
o
em
p
ty pa
r
ti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
Bernoulli_sum_evalue: remove
re
d
undant constra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
b
e
r
noulli
.
c: minor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m: handle cont
e
x
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
f
or_e
a
ch
_
lower_upper_bound: add ano
t
he
r
c
a
llback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
ege
verify
.
c: adjust default ran
g
e to
c
ontext if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
e
u
l
e
r
.
cc
:
summate_o
v
er_domai
n
: only consider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
p
a
ram_util
.
c: export
Para
m
_Ve
r
tex_Se
t
_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolae
g
e
P
a
r
am_Polyhedron
_
Facet: pass face
t
defi
n
ing
c
onstr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
g
enfun
.
cc: paral
l
el_polytopes: don't both
e
r
handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doola
e
ge
evalue_
s
plit_do
m
ains_into_ort
h
ants
:
do
n
't reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
evalue_
r
ead: only all
o
w term
s
to cro
s
s newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_rea
d
: only accept implici
t
multiplicat
i
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laeg
e
evalu
e
_rea
d
: accept co
n
strain
t
s
containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
v
a
lue
_
bern
s
tein_c
o
effici
e
nts
:
ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
next