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
update polylib for speed improvement in in_domain
2008-05-04
Sven Ve
r
doolaege
Makefile
.
a
m: c
h
eck-euler: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
sum
m
ate
.
c:
b
a
r
v
inok_summate: han
d
le products of
polytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
e
v
a
l
ue
.
c: export
evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeric2v
a
lue: fix ty
p
o
t
o
a
llow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
u
t
il
.
c: Fa
c
t
or_Con
t
e
x
t
:
extracted
f
rom bar
v
in
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaeg
e
summate
.
c:
barvinok_summate: ignor
e
floors i
n
d
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoo
l
a
ege
evalue
.
c: add evalue_floor2
f
ra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaeg
e
omega/occ: pri
n
t barv
i
nok versio
n
n
umber
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
doc: u
p
d
ate
s
ome reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Make laurent ba
s
ed summati
o
n the d
e
fa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: ba
r
vino
k
_summate: handle quasi-polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
redu
c
e_evalue:
e
xtract
out
e
value
_
re
d
uce_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
evalue
.
c: evalue_s
h
ift_v
a
riab
l
es: al
l
ow shift
i
ng
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
summ
a
te
.
c
:
ha
n
dl
e
e
qualities f
o
r all sum
m
ati
o
n algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
ae
g
e
summate
.
c: barvi
n
ok_summa
t
e
:
m
o
v
e
common
parts
o
f summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c
:
evalue_sum:
m
ove
sign ha
n
dling into esum_ov
e
r
_
doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
barvinok
_
e
.
cc
:
enumerate
_
sum: u
s
e barvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verd
o
olaege
summate
.
c
:
extrac
t
bar
v
inok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
name summate
.
cc to
b
arvinok_sum
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: reduce_evalue:
r
edu
c
e floor with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
Add Laurent expansion base
d
su
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend e
e
qual
to
h
a
n
d
le
d
omains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
binomial
.
c
: ext
r
act binomial and factorial from
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oola
e
ge
power
.
h
:
ex
t
ract fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
intr
o
du
c
e
e
value_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdool
a
ege
lattic
e
_point
.
cc
:
expor
t
relative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
lattice_point
.
h: make sure corr
e
c
t
evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
r
do
o
laege
util
.
c:
internalize u
g
ly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
S
ven V
e
rdoolaege
la
t
ti
c
e_point
.
cc: multi_monom/lattice
_
points: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdo
o
laege
doc: clean up
"exponential
s
ubstitutio
n
" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
t
est_bound
.
c
c
:
a
v
oid
l
oss
of precision caused
by convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
ba
r
vino
k
_bound: optionall
y
ta
k
e
maximal size
of dom
a
in
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
arvinok_bou
n
d: add --iterate opti
o
ns for evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
aege
verify
.
c:
e
xport func
t
ions fo
r
se
t
t
i
ng and
cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c: evalue_o
p
ti
m
um: allow
comput
a
tion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolae
g
e
bernstei
n
.
c
c
: evalue2e
x
: d
o
n
'
t
assume all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
bound
.
cc: f
i
x cal
l
to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolae
g
e
e{add,m
u
l}_peri
o
dics:
plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalu
e
_bernstein_c
o
efficients: hand
l
e problems
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lat
t
ice_width
.
c:
s
kip directions th
a
t a
r
e i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cd
d
9
4
e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
om
e
g
a/occ:
o
ptionally use par
k
er fo
r
c
o
mputing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
normalization
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
o
mega/co
n
ve
r
t
.
cc: r
e
l
a
t
ion2Doma
i
n: onl
y
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
occ
:
add dump
for du
m
p
i
n
g in
b
arvi
n
ok_enume
r
ate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
b
a
rvinok
_
enumerate_e: optionally u
s
e parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
l
aeg
e
s
t
andard_c
o
nstrai
n
t
s: take con
s
traints i
n
ste
a
d of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdool
a
ege
normali
z
a
t
ion
.
c: extract st
a
ndard_cons
t
raint
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ver
d
oolaege
parker/count_solutions
.
cc:
f
ix tre
a
tment of existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
doolaege
com
p
ile
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
a
ege
Add
p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
euler
.
cc: evalue
_
derive: handle constant
poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add s
o
me
test sets from
c
ases 20
0
4 and cc 2005
p
a
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
o
o
la
e
ge
r
e
n
ame barvinok_maximize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
ad
d
a test for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
evalue
_
range_prop
a
gation: remove
r
edu
n
d
ant po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
test
_
boun
d
: record numb
e
r of polynom
i
als as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_bound: conve
r
t quasipolynomi
a
ls
to
p
olyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
test_bound: compare
pol
y
nomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c
:
optimu
m
: handl
e
input e
v
aluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ol
a
ege
verify
.
c: ex
t
ract evalu
e
_
o
ptimum from ma
x
im
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
veri
f
y
.
c: extr
a
ct common
code for
ver
i
fying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
e
v
alue_rang
e
_propagation:
a
dd
m
onot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
ge
barvinok_maxi
m
ize: opti
o
nall
y
use (basic) range propaga
t
io
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for dealing with
e
val
u
es tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
eg
e
barv
i
nok_enumerate: support u
s
e of Eul
e
r-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
i
m
plement Berno
u
lli_sum as conve
r
sion from unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
ae
g
e
Bern
o
ull
i
_s
u
m
_evalue: ex
p
loit integer bo
u
nds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
keep track of
number of Be
r
no
u
lli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
bern
o
u
lli
.
c: protec
t
shar
e
d
eva
l
ue from modifications
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oola
e
ge
t
e
st Bernou
l
li sums based
e
x
a
ct enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ba
r
vinok_count_with_options: co
m
put
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
Bernou
l
li_
s
um_evalue: optionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
lattice_point
.
h: exp
o
rt fr
a
ctional_part with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_e
n
umerate_
w
ith_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue: han
d
le equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_
s
um_e
v
a
lue: c
u
t off some redun
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
erno
u
ll
i
_sum_ev
a
l
ue: make
s
ure
no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_s
u
m
_eva
l
ue: remove redundan
t
const
r
aint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bern
o
ulli
.
c
:
minor
refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdo
o
laege
Bernoulli_sum
:
h
a
n
dl
e
context constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
B
er
n
oulli_sum_evalue: ma
k
e sure enou
g
h memory
i
s allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aeg
e
f
or_eac
h
_lower_upper_bound: add another
callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verif
y
.
c:
a
djust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc:
s
u
mmate_o
v
er_domain: o
n
ly
c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
aram_util
.
c: export Param_
V
er
t
ex_Se
t
_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
P
a
ram_Polyhedron_
F
a
c
et: pass facet
d
e
f
ining cons
t
ra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
genfun
.
c
c: parall
e
l_
p
olytopes: don't bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaeg
e
e
v
alue_split_domains_into_
o
rthants: don't r
e
duce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
v
a
l
ue_read: only allow terms to c
r
oss newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rea
d
: only accept i
m
plici
t
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue
_
read: ac
c
ept
c
onstraints containin
g
"'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
evalue_berns
t
ein_coefficien
t
s:
e
nsure result
p
a
rtit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
bernstein: pi
e
cewise_lst:
c
o
rrect
l
y print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
remove_all
_
equalit
i
es:
k
eep removing parame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erd
o
olae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
doc: consist
e
nt us
e
of Kevin
'
s in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: updat
e
now
p
ublished papers
commit
|
commitdiff
|
tree
next