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
doc: document more --summation methods for barvinok_summate
2008-05-04
S
ven Verdoolaege
doc: document more --summation methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
o
ptions
.
c: renam
e
"barvinok" su
m
mation method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefile
.
a
m
:
check-e
u
ler: als
o
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
summate
.
c:
b
arvinok
_
summat
e
: handle pro
d
ucts of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
ev
a
lu
e
.
c: export evalue_
r
eorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeric2val
u
e: fi
x
ty
p
o t
o
al
l
ow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
u
t
i
l
.
c: Fa
c
tor_C
o
ntext
:
extr
a
c
ted from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: barvinok
_
summate: ignore f
l
o
ors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add
evalue
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolae
g
e
omeg
a
/occ: pr
i
nt barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
d
oc: update
s
ome refer
e
nc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
e
g
e
Ma
k
e laurent based s
u
mma
t
ion t
h
e
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summat
e
.
c: barvinok_summate: handle quasi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
reduce_evalue: extract out e
v
alue
_
re
d
u
c
e_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
evalue
.
c: evalue_shi
f
t_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
summate
.
c: handle equalit
i
e
s for all summatio
n
al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: barvinok_summate: mov
e
common par
t
s o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
ev
a
lue
.
c: e
v
a
lu
e
_sum
:
move sign handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verd
o
o
la
e
ge
b
arvinok_e
.
c
c
: enumerate_sum: use barvin
o
k
_
summat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
e
xtract barv
i
nok_summate f
r
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
ename su
m
mate
.
cc to barv
i
n
ok
_
summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
eva
l
ue
.
c
: reduce_evalue: reduce f
l
oor with co
n
st
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
A
d
d Laurent exp
a
n
s
ion
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalu
e
.
c: extend
e
equal to handle domains a
n
d
Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
bin
o
mial
.
c: extract binomial and f
a
ctorial
from
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
power
.
h:
e
x
tract f
r
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduc
e
evalue_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
oo
l
aege
l
attic
e
_point
.
cc:
e
xport relativ
e
_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoola
e
ge
lattice_point
.
h: make su
r
e corre
c
t
evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdool
a
eg
e
lattice_point
.
cc: a
d
d ceiling f
u
nc
t
io
n
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Ve
r
doolae
g
e
util
.
c:
i
nternalize ugly bv_c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
l
a
ttice_point
.
cc: multi_monom/latti
c
e_p
o
ints:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Ver
d
o
o
lae
g
e
doc: clean up "ex
p
onenti
a
l substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
olaege
t
e
s
t
_
bound
.
cc: avoid
loss of precisio
n
caused by
c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
r
vinok_bound: o
p
t
i
onally take maximal size of doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
do
o
laege
barvinok_bound: add --i
t
erate options fo
r
evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c: export functi
o
ns
f
or setting and
clea
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
verify
.
c: evalue_
o
ptimum: allow computati
o
n of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Ve
r
d
o
olaege
be
r
ns
t
ein
.
cc:
e
v
a
l
u
e2ex: d
o
n't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bound
.
cc: fix call to
e
value_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
e{add,mu
l
}_periodics: plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
evalue_bernstein_coefficie
n
t
s: hand
l
e p
r
oblem
s
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
l
aege
lattice_width
.
c
:
s
kip directions
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
a
ege
Makefil
e
.
am: ad
d
cdd94e-test to
dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/occ:
optionally use parker
f
or computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalizatio
n
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/
c
onv
e
rt
.
cc: relation2Domain:
only collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Ve
r
doola
e
ge
occ
:
add dum
p
for dumping in barvi
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
r
doolaege
bar
v
i
n
ok_enum
e
rate_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
standar
d
_c
o
nstraints: take
c
onstraints in
s
tead of
po
l
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c
: extract
s
tand
a
r
d_con
s
traints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
pa
r
ker/count_solu
t
ions
.
cc: fix tre
a
tment o
f
existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
compile par
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
e
v
a
l
u
e
_derive: h
a
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add some
test sets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
r
ename barvinok_
m
aximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ad
d
a
test for test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range_propagation:
r
emove re
d
undant
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_bound:
record number of
p
ol
y
nomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oo
l
aege
te
s
t
_
bound: convert quasi
p
olynomia
l
s to
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
c
ompare po
l
yno
m
i
al bound
a
l
g
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olae
g
e
ve
r
ify
.
c:
o
ptimum: h
a
ndle
in
p
ut evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
v
e
r
ify
.
c
:
extract eval
u
e_optimum from
ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: ext
r
a
c
t common code for verifying
o
p
er
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaeg
e
evalue
_
range_p
r
opagation:
a
d
d
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
a
rvinok_maximize:
optionally use (basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add som
e
su
p
port
for d
e
aling with evalues t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
barvinok_enumera
t
e: su
p
port
use of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
im
p
lement Bernoulli_sum
as co
n
versio
n
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: exploit intege
r
b
ounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
keep track of num
b
e
r
o
f
B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protect s
h
ared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test Bernoulli sums ba
s
ed exact enu
m
erat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doola
e
ge
barvinok_count
_
w
i
th_op
t
ions:
c
o
m
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_
s
um_evalue: option
a
lly hand
l
e fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
lattice_po
i
n
t
.
h: e
x
port f
r
actional_part wit
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_enumerate_w
i
t
h
_
o
p
t
ions: comp
u
t
e
(exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
B
ernoulli_sum_e
v
al
u
e
: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: cut of
f
some redundant pa
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
er
d
oolaege
Bernoull
i
_sum_evalu
e
: make sure n
o
empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
lae
g
e
Berno
u
lli_sum_eval
u
e:
r
emov
e
redundant
constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
a
e
ge
berno
u
lli
.
c:
m
in
o
r
r
ef
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_s
u
m: handle
context con
s
trai
n
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
e
r
noul
l
i_s
u
m_evalue: make sure enough memo
r
y
i
s
a
l
loc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
o
olaege
for_each_lower_up
p
er_bound: add
a
n
o
ther callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
ver
i
f
y
.
c: adjust default range to cont
e
xt if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
eule
r
.
cc: summate_over_d
o
m
ain: on
l
y consider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
param_uti
l
.
c: e
x
port Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet: pas
s
facet
defining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ola
e
g
e
ge
n
f
un
.
cc: parallel_polytopes
:
don
'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_sp
l
it_d
o
mains
_
into_orthants: d
o
n'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_re
a
d: only allow
term
s
to cross
newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
evalue_
r
ead: onl
y
accept
implicit
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
o
laege
e
v
alue_read: accept
c
onstraints co
n
t
a
ining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
evalue_bernstein_coef
f
icients: ens
u
re r
e
su
l
t
p
arti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolae
g
e
b
e
rnstei
n
: piecewise_lst: correctly
p
rint and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
e
m
ove_all_equal
i
ties: keep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update p
o
lylib
commit
|
commitdiff
|
tree
next