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: print barvinok version number
2008-05-03
Sven Verdoolaege
ome
g
a/occ: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
doc: update
some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
Make lau
r
ent based summati
o
n the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doo
l
aege
summate
.
c: barvinok_s
u
mmate: h
a
ndle quasi-
p
o
lyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
red
u
ce_evalue: extract out evalue_reduc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
e
v
alue
.
c: evalue_sh
i
ft_variables
:
allow shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
hand
l
e equalities for all summation
a
lgori
t
hm
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
s
ummate
.
c: barvinok_summate: move common part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
ev
a
lu
e
.
c
:
evalue_sum: move s
i
gn handli
n
g into es
u
m_
o
ver_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
barvinok_e
.
cc: e
n
umerate
_
s
u
m: use barvi
n
ok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c: extr
a
ct
b
a
rvin
o
k_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
rename
s
ummate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: re
d
uce_evalue: reduce floo
r
w
ith cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
laege
Add Laurent exp
a
nsion based
summat
i
o
n
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
evalue
.
c:
e
xtend e
e
q
ual to handle domains
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
erdoolaege
binomial
.
c: extract b
i
nomi
a
l and f
a
ct
o
rial
f
rom euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
o
l
aege
power
.
h: extract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
intro
d
u
ce e
v
alue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
int
.
cc:
ex
p
o
rt relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_point
.
h: make sure c
o
rr
e
ct
e
values are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdool
a
ege
util
.
c: internalize ugly
bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
o
o
lae
g
e
l
a
t
tice_poin
t
.
cc: multi_
m
on
o
m/
l
attice_poi
n
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc:
clean up "exponential substit
u
t
i
on" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
tes
t
_bound
.
cc: avoid loss of precisi
o
n caused
by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
b
a
rvino
k
_
b
ound: optionally take
m
axim
a
l
s
ize of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
barvinok_bound: add --iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verd
o
olaege
verif
y
.
c
:
export fu
n
ctions fo
r
setting
and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_opt
i
mum: allow comput
a
tion
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
r
doola
e
ge
bernstein
.
c
c:
e
value2ex
:
don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
bound
.
cc: fix call to evalue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
e{add,mul
}
_
p
erio
d
i
c
s
: pl
u
g memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
e
ge
evalue_bernste
i
n_coefficie
n
t
s:
h
and
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolaege
la
t
tice
_
width
.
c: skip directions that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am:
a
dd cdd94e-test
t
o distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolae
g
e
omega/
o
cc:
o
p
t
ionally use parker for computing cardina
l
it
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Ver
d
o
olaege
normalization
.
c
:
skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaeg
e
omega/c
o
nvert
.
cc: relati
o
n2D
o
main: only coll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
d
oolaege
occ: add dump for dumping in barvinok_enume
r
ate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
olaege
barvinok_e
n
umerate_e
:
op
t
ionall
y
use parker
'
s
m
eth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
standard_const
r
aints: tak
e
constraints instead of polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
normalization
.
c:
e
xtract standard_constraints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Ver
d
oolaege
parker
/
co
u
n
t_solutions
.
c
c
:
fix treatment
o
f exis
t
ential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ver
d
oolaege
c
o
mpile p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: evalu
e
_derive
:
h
a
n
dle
constant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add s
o
me test
s
e
t
s f
r
om
cases
2
004 and cc 2
0
05
papers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
r
e
n
ame barvinok_maximize
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
aege
add a tes
t
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_
r
a
n
ge_pr
o
paga
t
ion: remove r
e
dundant
polynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: rec
o
rd number
of poly
n
o
mi
a
ls as
"size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: con
v
ert quasipolynomi
a
ls
t
o polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdool
a
ege
t
e
s
t_bound
:
com
p
are polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
ge
verify
.
c: optimum: h
a
ndle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ve
r
ify
.
c: extract e
v
a
l
ue_optimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: extrac
t
common
code
fo
r
ver
i
f
y
ing
oper
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
o
o
l
aege
e
v
alu
e
_range_propagation:
a
dd monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize: o
p
tionally use (basic) ra
n
ge propa
g
a
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
A
d
d
s
o
m
e
s
u
pport
f
or deal
i
ng w
i
th evalue
s
tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_enum
e
rate: sup
p
ort use o
f
E
u
ler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
im
p
lement Bernoulli_
s
um
as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Bernoulli_sum_evalu
e
:
ex
p
l
o
it integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
keep tr
a
ck of number of
Be
r
noulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
r
noulli
.
c: p
r
otect shared evalue
f
rom modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olaege
test Be
r
noulli sums base
d
e
xact e
n
umerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
barvinok_count_with_
o
p
t
ions:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Berno
u
l
l
i
_
s
u
m
_
e
value: optionally hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
lattice_point
.
h: ex
p
ort fracti
o
nal_par
t
wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
barvinok_enu
m
erate
_
with_
o
ptions:
c
ompute (e
x
act) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
oolaeg
e
Bernou
l
li_su
m
_evalue:
hand
l
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
Bernoul
l
i_sum_evalue: cut off some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
Ber
n
oulli_sum_evalue: make sur
e
no empty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Bernou
l
li_sum_e
v
alue: rem
o
ve re
d
undant c
o
nstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
ber
n
oull
i
.
c: minor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
Bernoul
l
i_s
u
m: handle
context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
e
ge
fo
r
_
eac
h
_
l
o
wer_upper_b
o
und: add
a
nother callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
v
e
rify
.
c: adjust default r
a
n
g
e
to c
o
n
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
su
m
mate_over_domain: only consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
a
ram_uti
l
.
c: export
Par
a
m_Ve
r
tex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Param_Po
l
y
h
e
dron_Facet:
p
ass
f
a
c
et defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
genfun
.
cc: paral
l
e
l_polytopes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolaege
ev
a
l
u
e
_
split
_
d
o
ma
i
ns_
i
nto
_
o
r
t
hants: don't reduce
e
val
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_
r
ead: onl
y
allo
w
term
s
to
cro
s
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: on
l
y
accept imp
l
i
c
i
t m
u
ltip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_read
:
a
c
c
e
pt
c
on
s
traints containing "'
-
'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
eva
l
ue_bernstein_c
o
e
ffic
i
e
nts:
e
nsure result
parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
b
ernstein: piecewise_ls
t
: co
r
r
e
c
tly print and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
remove_all_e
q
ual
i
ties: ke
e
p rem
o
vin
g
p
arameter equa
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
updat
e
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
do
c
: con
s
is
t
ent
u
se of
K
e
vin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
do
c
: upd
a
te n
o
w publis
h
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_
e
ach
_
lower_upper_bound: allow abs
e
nce o
f
lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
R
e
vert "eadd_partitions: tr
y
to
c
ombine
m
ultiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
evalue_read
_
p
a
rtition:
p
u
t
p
artiti
o
n
s bac
k
in the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue: reduce_e
v
a
lue
:
add note on
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
bernstein
.
c
c: handl
e
input wit
h
u
nions + relatio
n
v
i
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
m
aximize
.
c
c
: d
e
al with unions i
n
input during
ver
i
f
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
evalue
_
substitute: properly
h
andle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue
.
c: clean
u
p
e
mul and e
a
d
d
commit
|
commitdiff
|
tree
next