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
ex_convert.cc: extract ex2evalue from range.cc
2008-05-04
Sv
e
n Verdoolae
g
e
ex_con
v
ert
.
cc: extrac
t
ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
r
do
o
la
e
ge
d
o
c
:
d
o
c
ument
m
ore --summat
i
o
n
metho
d
s for
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
o
p
tions
.
c:
rename "barvin
o
k"
s
ummation met
h
o
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
Makef
i
l
e
.
a
m: check-eu
l
er: also check
l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
sum
m
ate
.
c: barvinok_summate: ha
n
d
le pro
d
uct
s
of
p
o
lyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oola
e
ge
e
value
.
c: export
e
v
a
lue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rd
o
o
l
aege
bernstein
:
numeric2v
a
lue: fix typo to allow co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
util
.
c:
F
actor_Context: extracted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summate
.
c: barvinok
_
summate: ignore floors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add ev
a
l
u
e_floo
r
2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
l
a
eg
e
o
mega/occ: print barvinok
ver
s
ion numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
doc: update some
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based s
u
mmation the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c:
b
a
rvin
o
k_summ
a
t
e: handle quasi-polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
reduce_ev
a
l
u
e
:
extract out
e
value_redu
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdool
a
ege
eval
u
e
.
c:
evalue
_
s
h
ift
_
variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c: handle equali
t
ies for all summation alg
o
ri
t
h
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
a
e
ge
summate
.
c:
b
arvin
o
k_summate: mo
v
e common
p
a
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
ev
a
l
u
e
.
c: evalue_sum: move sign handling
i
nto e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoo
l
aege
barvinok_e
.
c
c
:
e
n
umera
t
e_
s
um: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
u
mmate
.
c:
extract
b
arvinok_
s
umm
a
te from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename su
m
mate
.
cc to ba
r
vinok_summ
a
t
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
e
v
alue
.
c: reduce_evalue: redu
c
e floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
laeg
e
A
dd La
u
rent e
x
pansion
b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
laeg
e
evalue
.
c: extend
e
equal t
o
handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoo
l
a
ege
binomial
.
c: extract
binomi
a
l and f
a
ctorial from
e
uler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Ver
d
o
o
laege
power
.
h: ext
r
act
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
oduce evalue_shif
t
_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
lattice_poi
n
t
.
cc:
e
xpor
t
relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h
:
m
ake
sure
c
or
r
ect
e
values are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceilin
g
fu
n
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c
:
internal
i
ze ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
laege
lattice_point
.
cc: mu
l
ti_monom/la
t
tice_
p
o
i
nts: re
t
ur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: c
l
ean up "exponential substitution"
s
ecti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
test
_
bound
.
cc: a
v
oid loss o
f
pr
e
cision caused by
conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
barvinok_bound:
optio
n
al
l
y
take maximal
size of do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
barvinok_b
o
und: add --iterate o
p
tions f
o
r evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: export functions
for set
t
ing
a
nd
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaeg
e
verify
.
c
:
evalue_optimum: allow
c
omputation
o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaege
bernste
i
n
.
cc: eval
u
e2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
bound
.
cc: fix call
to evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e{a
d
d,
m
ul}_pe
r
iodics: plug m
e
mor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
evalue_bernstein_coefficients:
h
a
n
dle pr
o
blems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
update
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolaege
lat
t
ic
e
_width
.
c
: s
k
i
p direc
t
i
on
s
th
a
t are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdoolaege
Makefile
.
a
m: ad
d
cdd94e-test
t
o distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdo
o
l
a
ege
o
m
ega/
o
cc: optionally u
s
e
park
e
r for com
p
uti
n
g c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolae
g
e
n
o
rma
l
ization
.
c:
skew_to_po
s
itive
_
o
r
th
a
nt: p
r
op
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
laege
o
m
ega/convert
.
cc
:
relation2D
o
main: only co
l
l
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rd
o
olaege
occ: add dump for dumping in barvinok_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
d
oolaege
barvinok_enu
m
erate_e: option
a
l
l
y use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
oolae
g
e
standard_constrai
n
t
s
: t
a
ke
constraints instead
of po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdo
o
la
e
ge
normalizat
i
on
.
c: extract s
t
andard_con
s
t
raints
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
parker/
c
ount_solutions
.
cc: fix tr
e
a
t
m
ent
o
f exist
e
nt
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Ve
r
doolaege
com
p
ile
p
ar
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Ad
d
p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
o
l
a
e
g
e
euler
.
cc
:
evalue_de
r
ive: h
a
ndle consta
n
t polyn
o
mials
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
a
d
d so
m
e test set
s
from cases 2004 and
cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolae
g
e
rename
b
a
r
vi
n
ok_
m
a
ximize
t
o b
a
rvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add
a test for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eval
u
e
_range_
p
ropagation: remove red
u
nda
n
t
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
te
s
t_bound: record number of po
l
ynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound: convert qu
a
sipolynomi
a
ls
t
o
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
a
e
g
e
tes
t
_bound: c
o
m
pare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
v
e
rify
.
c: optimum: hand
l
e input ev
a
luating t
o
n
e
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
v
e
rify
.
c: extract
evalue_opt
i
m
um
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
e
g
e
verify
.
c:
extrac
t
common code for v
e
r
ify
i
ng oper
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eva
l
u
e_range_pr
o
pagation: a
d
d monotonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k_maximi
z
e: optionally
u
s
e (basic) range propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
Add som
e
supp
o
r
t
for
d
e
a
ling w
i
t
h
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvin
o
k_enu
m
e
r
ate:
support us
e
of E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolae
g
e
implemen
t
Bernoulli_sum as conversion fro
m
unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
e
ge
Bernoul
l
i
_sum_
e
v
alue: e
x
ploit integer bou
n
ds
t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
eep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
b
e
r
noulli
.
c
:
pro
t
ect s
h
ared evalu
e
from m
o
dific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test
Bernoulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
barvinok_count_with_options: comput
e
(
e
xact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Bernoulli_sum
_
e
v
alue: optio
n
ally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
lattice_point
.
h: export
f
ra
c
ti
o
na
l
_part wi
t
h C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvinok_e
n
umerate_with_optio
n
s
:
compu
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Bernoul
l
i
_sum_ev
a
lue: ha
n
dle eq
u
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_s
u
m_ev
a
lue: cut of
f
s
ome redun
d
an
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
e
rnoulli_sum_evalue: make sur
e
no empty pa
r
titi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
Bernoulli_su
m
_e
v
a
lue: remo
v
e
redundant constraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
oola
e
ge
bernoulli
.
c: min
o
r
refactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum: handle
context cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
e
g
e
B
ernoull
i
_
s
um_eval
u
e
:
make
s
u
r
e en
o
u
gh
memory is a
l
locate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
for_ea
c
h_low
e
r_upper_bound: add anot
h
er
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c: adjust default range to con
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc: summate_over_do
m
a
in: on
l
y conside
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
param_u
t
il
.
c
:
e
xport
P
ar
a
m
_Vertex_S
e
t_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
Para
m
_Poly
h
ed
r
on_Face
t
: p
a
ss facet
d
efining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
genfun
.
cc: paral
l
el_po
l
ytopes: don't bothe
r
ha
n
dlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
e
v
alue_split_domai
n
s_into_ortha
n
ts: do
n
't reduce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaeg
e
eval
u
e
_read: onl
y
allow terms to cross newlines ins
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept impl
i
cit multiplic
a
tion
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: acce
p
t constraints c
o
ntaining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_bernst
e
i
n_co
e
fficients: en
s
ure
r
e
sult
partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
rdoolaege
b
e
rns
t
ein:
p
iec
e
wise_lst: c
o
rrectly
p
r
i
n
t
and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
remove_all
_
equali
t
ie
s
: kee
p
rem
o
ving
parameter
eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
next