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
omega/occ: only open debug output file if there is any need
2008-05-08
Sven Ve
r
doolaege
om
e
ga/o
c
c: only open debug output file if t
h
e
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
ae
g
e
add editors
to IT
S
L paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
o
o
lae
g
e
add some test sets fro
m
its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: a
d
d l
a
test (acc
e
p
t
ed) pub
l
ic
a
tio
n
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
Makefile
.
a
m: add section_array
.
h
t
o dis
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
no
r
malization
.
c
:
comp
u
te
_
s
hif
t
s
:
remov
e
redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
move Fr
e
e_ParamNa
m
es
p
olylib and make param names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
occ:
add interface to barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
aege
ex_convert
.
cc:
e
xtract
ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
doc: document more
--sum
m
a
t
ion metho
d
s
f
or barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: r
e
name "barv
i
nok" su
m
mation
m
e
thod
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
aege
Ma
k
efile
.
am: check-euler: also check l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
s
um
m
ate
.
c: barvinok_summ
a
t
e: h
a
ndle
p
roducts of pol
y
t
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
o
o
laege
evalue
.
c:
export ev
a
lu
e
_reor
d
er_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
bern
s
te
i
n
:
num
e
ric2value: fix typo to allow
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
u
t
i
l
.
c
:
F
act
o
r_
C
ontext
:
extracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: b
a
rvinok_summate: ignore f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
ool
a
ege
evalue
.
c: add
e
va
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
omega/occ
:
pr
i
n
t
barvin
o
k
ver
s
i
on number
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
doc: update som
e
r
e
f
erences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Mak
e
la
u
rent
base
d
summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
g
e
summate
.
c: ba
r
vinok_summa
t
e: hand
l
e q
u
a
s
i-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
o
laege
reduce_eva
l
u
e
: ex
t
ra
c
t out evalue_re
d
uc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c
:
evalue_shift_variables: allow
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
s
ummate
.
c: handle equalities for all s
u
mm
a
tio
n
algo
r
ithm
s
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
summate
.
c: barvinok_summate:
move common
p
arts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
eva
l
ue
.
c: evalue_sum:
m
ove
s
ig
n
h
andling into esum_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
bar
v
inok_e
.
cc:
e
nume
r
ate_
s
um: use ba
r
v
i
n
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summat
e
.
c:
e
xtrac
t
barvino
k
_summate from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
r
e
name summate
.
cc to
b
a
rvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdo
o
laege
e
v
a
l
u
e
.
c: reduce_evalue: reduce floor wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
Add Lau
r
ent expansio
n
ba
s
ed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
d
oolaege
evalue
.
c: exte
n
d e
e
qual to handle doma
i
ns a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdool
a
ege
bi
n
omial
.
c: ex
t
ract bi
n
omi
a
l and f
a
ctorial from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
o
olaege
p
o
w
er
.
h
: extra
c
t from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ver
d
oo
l
a
ege
introduc
e
evalue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
l
a
ttice_p
o
i
nt
.
cc: export relative
_
coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice
_
point
.
h
: make sure
correct evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
r
doo
l
aege
l
a
ttice_point
.
cc:
a
dd ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doolaege
util
.
c: internalize
ugl
y
bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaeg
e
lattice_
p
oin
t
.
c
c
: multi_mo
n
om/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc
:
c
lean up "expo
n
e
ntial substitut
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
test_b
o
und
.
cc
:
avoid l
o
s
s o
f
precisio
n
caused by con
v
er
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok_bound: optionally
take
m
a
x
ima
l
size of
domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
barvin
o
k_b
o
und:
a
d
d
--iterate options
f
or
e
v
al
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
verify
.
c: export function
s
f
o
r setting
a
nd cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
verify
.
c: evalue_opt
i
mum
:
allow computation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
e
r
nstein
.
cc: evalue2ex
:
don't
a
ssume
a
l
l
p
e
r
iod
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
l
aege
bound
.
cc: fix call to eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
e
{add,mul}_pe
r
iod
i
cs: plug memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
dool
a
e
g
e
evalue_be
r
nstein_c
o
efficients: handle
p
roblems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Ve
r
doolaege
l
attice_width
.
c: s
k
ip directions t
h
at are iden
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdool
a
ege
Make
f
ile
.
am
:
add cdd94e-test t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdool
a
e
ge
o
m
ega/o
c
c: o
p
tionally use parker
for
comp
u
ting c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoo
l
aege
normaliz
a
tion
.
c: skew_to_posit
i
v
e
_orthant: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
aege
omega/convert
.
cc:
relation2Domain: only
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dumping
in
b
a
rvinok_enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
bar
v
inok_enume
r
ate_e: optionall
y
use parker's
me
t
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
standard_constra
i
nts
:
take constraints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
normaliz
a
tion
.
c:
e
x
t
ract stand
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ver
d
oo
l
aege
parker/count_solu
t
ions
.
cc: fix treat
m
ent of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
ola
e
g
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
eul
e
r
.
cc: ev
a
lue_de
r
ive: handle co
n
stant
p
ol
y
nomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some te
s
t sets from cases 20
0
4 and c
c
2
0
0
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
rename barvinok_maximiz
e
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add a test for test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
evalue_range_
p
ropagation: remove redundant poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: recor
d
num
b
er
of po
l
ynomial
s
a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert
q
uasipolynomials
to polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bou
n
d
: com
p
a
r
e po
l
ynomia
l
bo
u
nd
a
lg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olae
g
e
verify
.
c:
o
p
ti
m
um: handle input eva
l
uatin
g
t
o
negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: extract ev
a
lue_optimu
m
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
v
e
rify
.
c
:
extract common code f
o
r
v
erifyin
g
ope
r
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue
_
range_propagat
i
on: add
monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvino
k
_maximize: optionally u
s
e (basic) r
a
nge
p
ro
p
aga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
e
g
e
Add
s
ome suppo
r
t
f
or deali
n
g with evalues that
r
ep
r
esen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolaege
barvi
n
ok_enu
m
erate: support u
s
e o
f
E
u
ler-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
imple
m
ent
Be
r
nou
l
li_sum as
c
onversion from
u
n
weig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oo
l
aege
Bernoull
i
_su
m
_ev
a
lue: exploit integer bounds t
o
r
e
du
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
kee
p
trac
k
of num
b
er of Bernou
l
li sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oul
l
i
.
c: p
r
o
t
ect
shared
evalue from m
o
dif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
test Berno
u
lli sums base
d
e
x
act enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaege
ba
r
vi
n
ok_
c
ount_wit
h
_options: compute
(exact
)
Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
B
ern
o
ulli_sum_eval
u
e: optionall
y
handle
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
latt
i
ce_po
i
nt
.
h: export fractional_par
t
with
C
link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
barvinok_enumerate_with_options: compute
(
e
x
act)
B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
g
e
Bernoulli_su
m
_eval
u
e: handle equ
a
lit
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
B
e
rnoulli_sum_evalue: c
u
t
o
ff some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_su
m
_
evalue: ma
k
e sure no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue: remove redundant constraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
la
e
ge
bernoulli
.
c
:
minor
r
efac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_s
u
m
: handle
c
ontext con
s
t
ra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_
e
valu
e
: make
s
ure enough memo
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
for_each_lower_upper_bound:
add another callback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
verify
.
c: adjust default range to cont
e
xt if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc: summate_over_domain: only
c
onsider actual
.
.
.
commit
|
commitdiff
|
tree
next