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
options.c: rename "barvinok" summation method to "box"
2008-05-04
Sven Ve
r
doolaege
o
p
t
i
o
ns
.
c
:
r
e
name "b
a
rvinok
"
summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Makefile
.
am:
c
h
e
ck-eu
l
er: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaege
summate
.
c:
b
arvinok_s
u
mm
a
t
e: handle produ
c
t
s of pol
y
t
o
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
evalue
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
eg
e
bernstein: numeric2value
:
fix
t
yp
o
to
allow
corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
util
.
c: Factor_Cont
e
xt: ex
t
racted
f
r
o
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c
: bar
v
inok_summate:
ignore floo
r
s independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
e
v
a
l
ue
.
c: add evalue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
omega/occ
:
prin
t
b
a
rvinok ver
s
ion numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update som
e
refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Make laurent
based summatio
n
th
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c
:
barvinok_summate: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
reduce_eval
u
e:
e
xtract ou
t
eva
l
ue
_
re
d
u
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: evalu
e
_s
h
i
f
t_vari
a
bles
:
a
l
low shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
summate
.
c: handle equalities fo
r
all
sum
m
atio
n
algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
bar
v
inok
_
s
u
mmate: mov
e
co
m
mon pa
r
ts of
s
ummation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
evalue
.
c: eval
u
e_sum: mo
v
e sig
n
han
d
ling i
n
t
o
esu
m
_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
barvinok_e
.
cc: e
n
umer
a
te
_
s
u
m: use
b
a
r
vinok_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
s
u
mmate
.
c: ext
r
act barvinok
_
summa
t
e from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
r
e
name summate
.
c
c to barvinok_su
m
mat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduce_eva
l
ue: reduce floor with const
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdool
a
ege
Add Laurent ex
p
a
n
sion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolae
g
e
ev
a
lu
e
.
c: extend
e
equal to handle
d
omains and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
bi
n
omia
l
.
c: extract binomia
l
and factoria
l
f
r
o
m
e
uler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
w
er
.
h: extract
fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
nt
r
o
duce evalue_
s
hift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ver
d
oolaege
lattice_poin
t
.
cc: export relative_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h: make sure c
o
rre
c
t
e
values are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_
p
oin
t
.
cc
:
add ceiling
function
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolae
g
e
util
.
c: in
t
er
n
alize u
g
l
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Ve
r
doo
l
aege
la
t
t
i
ce_po
i
nt
.
cc: mult
i
_monom
/
lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
ge
doc:
clea
n
up
"
exponential subs
t
itu
t
ion" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
test_bound
.
cc:
avoid
loss of pre
c
i
s
ion ca
u
sed
b
y conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
l
a
ege
barv
i
n
o
k_bound: op
t
i
o
nally tak
e
maximal
s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvin
o
k
_
bo
u
nd: add
-
-iterate option
s
fo
r
e
v
aluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaeg
e
verify
.
c: exp
o
rt funct
i
ons for
s
etting a
n
d cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
verify
.
c: evalue_optimum: allow computation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
berns
t
e
i
n
.
cc: ev
a
lue2ex: don't assume all
pe
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
o
o
laege
b
o
und
.
cc: fix
c
all to ev
a
l
ue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
e{add,mul}_periodics: p
l
ug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
ge
ev
a
lue_bernstein_coefficients:
handle proble
m
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
upd
a
te
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolae
g
e
lat
t
ice
_
width
.
c
: skip direct
i
ons that are i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Mak
e
file
.
a
m: add cdd
9
4e-test to distrib
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolae
g
e
omega/oc
c
: optionally u
s
e park
e
r
f
or computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
normalizati
o
n
.
c: skew_t
o
_posit
i
ve_o
r
thant:
p
rop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
mega/convert
.
cc: relation2Domain: o
n
ly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
occ: add dump
for dumping in ba
r
vinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdo
o
laege
barv
i
nok_enumerate_e: o
p
tionally use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
s
tandard_constr
a
ints: take con
s
traint
s
instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
norma
l
ization
.
c:
ext
r
act sta
n
dard
_
co
n
st
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/co
u
nt_
s
olutions
.
cc: fix treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoo
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
eul
e
r
.
cc: evalue_derive: handle c
o
nstant pol
y
n
o
mials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test
sets from cases 2004 and
cc 2005 pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
rename barvinok_max
i
mize
to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
ege
add a test
for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_pr
o
p
agation: r
e
move redundant
polyno
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
laege
test_
b
ound: r
e
cord number of polyno
m
ials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert quasipolynom
i
a
l
s
t
o
po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
t
est_
b
ound: compare
p
o
lyn
o
mial
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: hand
l
e i
n
put evaluat
i
ng to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
doolaege
verify
.
c: extract eva
l
ue_optimum
f
r
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
verify
.
c: extra
c
t common
c
ode for verifying op
e
ra
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
evalue_
r
ange_pr
o
p
agation: add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barv
i
n
o
k
_maximize: optiona
l
ly
use
(
basic) range propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Ad
d
some support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_enumerate
:
su
p
port use o
f
E
u
l
er-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
mplemen
t
Ber
n
oulli_sum
as c
o
nver
s
ion from u
n
weig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Be
r
no
u
ll
i
_sum_
e
valu
e
: exploit
i
nteger
b
o
u
n
d
s
to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
keep
t
r
ack of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
g
e
bern
o
ull
i
.
c: pro
t
ect shared ev
a
l
u
e fro
m
modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est B
e
rnoull
i
sums
b
a
s
ed exact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_count_with_options: compute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
e
value: o
p
tionally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
l
atti
c
e_point
.
h: ex
p
ort fr
a
c
t
i
o
nal_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oola
e
ge
ba
r
vino
k
_enumerate_with_option
s
: compute (exact
)
B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
B
e
rnoulli_
s
um_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
Bernoulli_sum_evalue: cut o
f
f
s
ome redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
Be
r
n
oulli
_
sum_evalu
e
:
m
ake sure no empty part
i
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
Be
r
noulli_sum_evalue: remove redundant constraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
do
o
lae
g
e
be
r
noul
l
i
.
c
: minor refa
c
tori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli
_
sum: handle
c
ontext constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aeg
e
Bernoulli
_
sum_evalue:
make sure en
o
u
g
h memor
y
is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
for_each_
l
o
w
e
r_upper_bound:
a
dd a
n
other callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdool
a
eg
e
v
eri
f
y
.
c
: adjust de
f
ault
rang
e
t
o
context
i
f need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
euler
.
cc:
s
ummate_ov
e
r_doma
i
n: o
n
ly c
o
nsi
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
param_u
t
il
.
c: exp
o
rt Param_Vertex_Set_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
P
a
ram
_
Poly
h
edron_Facet: pass facet
definin
g
c
o
n
st
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
ge
n
f
un
.
cc: para
l
lel_polyto
p
es
:
don't b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
v
alue_sp
l
it_domains_into_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
e
v
alue_read: only allow terms to cro
s
s ne
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
u
e_read: only a
c
c
ept implicit multip
l
ication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
ev
a
lue_read: accept constraints containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
bernste
i
n_coefficients:
e
nsure res
u
l
t
partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewise_lst
:
co
r
r
e
ct
l
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
remove_all_equalitie
s
: keep rem
o
ving p
a
rameter equa
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
u
p
date pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
on
s
ist
e
nt
use of Kevin's init
i
als
commit
|
commitdiff
|
tree
next