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
barvinok 0.27
2008-05-04
Sven Verdo
o
laege
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
add s
o
me test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: add latest (acc
e
p
t
e
d)
p
ublicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Makefile
.
am: add
sect
i
on_ar
r
ay
.
h t
o
d
i
stributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
no
r
malization
.
c: comp
u
te_shi
f
t
s: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
aege
move Free_Pa
r
amNames polylib and make param
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdool
a
ege
occ: add interface to barvinok_su
m
ma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
ex_con
v
er
t
.
cc: extract ex2evalue from
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaeg
e
doc: document m
o
r
e --su
m
mation me
t
hods fo
r
barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoo
l
aege
options
.
c: rename "bar
v
in
o
k"
s
ummation method to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
M
akefile
.
am:
c
heck-eu
l
er: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c:
barvin
o
k_summate: handle products
o
f polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
o
o
la
e
ge
evalue
.
c: ex
p
o
rt evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
b
er
n
stein: numeric2value: fix typo to a
l
low corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
util
.
c: Factor_Context: extracte
d
f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaeg
e
summate
.
c: barvinok
_
summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: pri
n
t
barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: up
d
ate some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
a
ege
Make laurent based summation the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
su
m
mate
.
c: barvinok_sum
m
a
t
e: h
a
nd
l
e
q
u
a
si-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue: extract
ou
t
evalue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolae
g
e
eva
l
ue
.
c: evalue_shi
f
t_varia
b
les:
a
llow shi
f
ting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: handle equalities f
o
r all su
m
mat
i
on algo
r
i
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c: ba
r
vino
k
_
s
ummate:
m
ove c
o
m
m
o
n parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c: evalue
_
sum: mo
v
e sign
h
andli
n
g int
o
esum_over_domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barv
i
nok_e
.
cc: enum
e
rate_sum:
u
s
e barvinok_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
do
o
laeg
e
sum
m
ate
.
c
:
extr
a
ct barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
rename summate
.
cc to barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c
:
reduce_evalue: reduce fl
o
or with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
ool
a
ege
A
d
d Laurent
expansi
o
n based summatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
e
value
.
c: e
x
tend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdo
o
laege
binomial
.
c: extract binom
i
a
l a
n
d facto
r
i
a
l
f
rom eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
d
o
o
laege
power
.
h: e
x
t
r
ac
t
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
oolaege
introdu
c
e evalue_
s
hift_va
r
ia
b
le
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoola
e
ge
lattice_point
.
cc: export relative_coor
d
inat
e
s
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verd
o
olaeg
e
lat
t
ice_point
.
h: make
sure correc
t
e
va
l
ues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n
V
e
rd
o
olaege
latti
c
e_point
.
cc: add ce
i
ling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: in
t
ernalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoo
l
aeg
e
lattice
_
poi
n
t
.
cc:
multi_mo
n
om/latt
i
c
e
_points: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc:
c
lean up "exponenti
a
l subst
i
t
u
t
ion" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test_b
o
und
.
c
c
: avoid loss of prec
i
sion c
a
u
sed by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
barvino
k
_bound: opt
i
ona
l
ly take maxima
l
size of
d
oma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
ege
ba
r
vin
o
k
_bo
u
n
d: add
-
-iterate options
f
or eval
u
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c
:
export fun
c
tions fo
r
setting
a
n
d clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaeg
e
verify
.
c: evalue_
o
p
t
imu
m
: all
o
w computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bernstein
.
cc:
e
value2ex: don
'
t a
s
sum
e
a
l
l
p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
o
u
nd
.
cc:
f
i
x call to eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
e{a
d
d,mul}_
p
eriodics: p
l
u
g mem
o
ry lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
evalue_bernstein_coeff
i
cients: ha
n
dle proble
m
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoo
l
aege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c: ski
p
directio
n
s
that a
r
e iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
d
oolaege
Ma
k
efile
.
a
m
:
a
dd cdd
9
4e-tes
t
to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
omega/o
c
c: optionally use parker
fo
r
co
m
puting cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
e
rdoolaege
nor
m
alization
.
c: skew_to_p
o
sitive_orthant: prop
e
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolaege
omega/conver
t
.
cc:
r
elation2Dom
a
in: only colle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
ege
occ
:
add dump for dumping in
barvi
n
ok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
b
a
r
vino
k
_enum
e
rate
_
e: opt
i
onally use
parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_const
r
a
i
n
ts: take c
o
nst
r
aints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdool
a
ege
no
r
malizati
o
n
.
c:
extract standard_c
o
nstrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
par
k
e
r
/
c
oun
t
_
s
o
l
utions
.
cc: fix treatmen
t
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
co
m
pile
pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: eva
l
u
e
_deri
v
e: handle con
s
tant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add
s
ome
t
est
sets
f
rom cases 2004 and cc 2005
p
aper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvi
n
ok_maxi
m
iz
e
to barvinok
_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add
a
test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_prop
a
g
ation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record nu
m
ber o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
t
est_bound: convert quasi
p
o
lynomials to
p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bound: com
p
are polynomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
veri
f
y
.
c: o
p
timum
:
handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verif
y
.
c: e
x
t
ract evalue_opt
i
mum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
ve
r
ify
.
c: extract common code for verif
y
ing
o
p
e
r
atio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
evalue_range
_
propa
g
ation: add mon
o
to
n
i
ci
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_maximize: optionally use (ba
s
ic
)
ra
n
ge propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Ad
d
s
o
me support for de
a
ling with e
v
al
u
es that
repres
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
barvinok_enumerate: support u
s
e of Eu
l
er-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
implem
e
nt B
e
rnoulli_s
u
m as c
o
n
v
ersion
fr
o
m u
n
we
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
r
noulli
_
s
u
m_evalue: expl
o
it integer bo
u
nds
t
o redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
keep tra
c
k of nu
m
ber of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
b
e
rnoul
l
i
.
c: prot
e
ct shared e
v
alue from mo
d
ificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
laege
test B
e
r
n
o
ulli sums based exac
t
enumerat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
bar
v
inok
_
co
u
nt_with
_
options: co
m
pute (exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Be
r
noulli_
s
um_evalue:
opti
o
n
a
lly handle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
d
o
olaege
lattice_
p
o
i
n
t
.
h: ex
p
ort frac
t
io
n
al
_
part with
C
linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bar
v
inok_enumerate_with_
o
ptions: c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
ae
g
e
Bernoulli_sum_evalue: handle
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
ernoulli_sum_e
v
a
lu
e
:
c
ut off some r
e
dundant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
B
ernoull
i
_sum_eva
l
u
e
:
m
ake sure
n
o empt
y
part
i
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
rnou
l
li_sum_
e
value: rem
o
ve redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: mi
n
or
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernou
l
li_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Be
r
nou
l
l
i_sum_evalue:
make
s
ure enough mem
o
ry
i
s
allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_ea
c
h_lower_up
p
er_bound: add ano
t
her cal
l
back
fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
ge
ver
i
f
y
.
c: adjust default
r
a
n
ge to context if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
c
c
: summate
_
over_dom
a
i
n: only
c
onside
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
param_util
.
c: e
x
por
t
Param_Ve
r
tex
_
Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Para
m
_Po
l
yhedron_Fac
e
t
: pass facet
d
e
f
ining co
n
str
a
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ge
n
fun
.
cc: paral
l
el_pol
y
topes
:
d
on't
bother
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
next