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
normalization.c: compute_shifts: remove redundant return
2008-05-04
Sve
n
Verdoolaege
normalizati
o
n
.
c
:
comp
u
te
_
shi
f
ts:
remove
r
ed
u
ndant retur
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
move Free_Par
a
m
N
ames polylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oolae
g
e
o
c
c
: add int
e
rface
t
o barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rd
o
olaege
e
x_convert
.
cc
:
extra
c
t e
x
2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
aege
d
o
c
: document
more
--summ
a
tion methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
o
p
t
i
ons
.
c: rename "bar
v
i
nok" s
u
mmation m
e
thod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
Ma
k
efile
.
am:
check-euler
:
also c
h
ec
k
laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
summate
.
c: barv
i
nok_summat
e
:
handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doo
l
a
eg
e
e
value
.
c: e
x
port
evalue_reor
d
er_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
o
o
laege
bernstein: nu
m
er
i
c2valu
e
: f
i
x typo to
a
llow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
uti
l
.
c: Fact
o
r_C
o
n
text: extracted fro
m
barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
s
u
mmate
.
c: ba
r
vinok
_
summa
t
e: igno
r
e
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdool
a
eg
e
evalue
.
c: add evalu
e
_floo
r
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
o
o
l
aege
omega/occ: print b
a
rvi
n
ok
ve
r
sion numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
d
oc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rdool
a
ege
Mak
e
laurent based
s
ummation the def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
summate
.
c: barvino
k
_
sum
m
ate
:
handle
qu
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
l
aege
reduce_
e
value: ex
t
r
a
c
t
out evalue_red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oola
e
ge
evalue
.
c: evalue_
s
hift_v
a
riables: allow
s
hi
f
ti
n
g o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
u
mmate
.
c: handle
equalit
i
es
f
o
r
a
ll summati
o
n
algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaeg
e
summat
e
.
c: barvi
n
ok_summa
t
e: move
c
ommon p
a
rts
o
f summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
eva
l
u
e
.
c
:
eva
l
u
e
_sum: move
s
ig
n
handling
into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
g
e
b
a
r
v
inok_e
.
cc: enumerate_sum:
u
se ba
r
vinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
s
u
mmate
.
c:
e
xtract
barvinok_su
m
mate from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
rename
summ
a
te
.
cc t
o
barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
laege
e
v
al
u
e
.
c: red
u
ce
_
evalue: reduce floor with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Add Laurent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
evalue
.
c: extend
e
equal to hand
l
e
domains a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
bi
n
omial
.
c: extract binomial a
n
d factorial
fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
power
.
h: ext
r
a
c
t
fr
o
m
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introdu
c
e evalu
e
_
s
hi
f
t_var
i
ables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
lattice_poi
n
t
.
cc: export rel
a
ti
v
e
_
coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_point
.
h: make sure correct evalues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_po
i
nt
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
rdoola
e
ge
u
t
il
.
c: in
t
ernalize
ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
oolaeg
e
l
attice_point
.
cc: mu
l
ti_monom/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Ver
d
oolaeg
e
d
o
c: c
l
e
an
u
p "exponen
t
ial substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
ege
test_bound
.
cc: av
o
id l
o
ss o
f
precision
caus
e
d by convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
arvinok_bou
n
d
: optionally t
a
ke maximal size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
barv
i
nok_bo
u
nd: add --ite
r
ate options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verify
.
c: export func
t
ions for se
t
ting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
verify
.
c: evalue_optimum:
allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
bernst
e
in
.
cc:
eva
l
ue2ex: don
'
t ass
u
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bo
u
nd
.
cc: fix call to eval
u
e
_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olae
g
e
e{ad
d
,mul}_peri
o
dics: plug memory
le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaeg
e
evalue_berns
t
ei
n
_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lat
t
ice_width
.
c: sk
i
p directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoolae
g
e
Makefile
.
a
m: add cdd94
e
-t
e
st t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaeg
e
om
e
ga/occ: opti
o
nally
use
p
a
r
ker for computing car
d
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaeg
e
normalization
.
c: skew_to_positive_orthant:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/co
n
vert
.
cc: r
e
lation2Domain: only c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
o
cc: add dump
f
or dumping in bar
v
inok_en
u
merate_e
f
or
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvino
k
_e
n
u
mer
a
te_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
sta
n
d
ard_
c
onstrain
t
s: take constraints i
n
stead
o
f polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalization
.
c
:
e
x
tract standard_
c
onstrai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolae
g
e
parker/count_so
l
uti
o
ns
.
cc
:
fix treatment of e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
compil
e
p
arker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eul
e
r
.
cc: evalu
e
_der
i
ve: handl
e
constant po
l
y
nomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add some te
s
t sets
from cases 2004 and cc 2005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
re
n
ame
b
a
r
vinok_maximize to
b
arv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
evalue_range_propagation: remove
r
edundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
tes
t
_bo
u
nd: record
n
umber of polyn
o
m
i
al
s
a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound
:
convert quas
i
polyno
m
i
al
s
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aege
t
es
t
_bound: compare
p
o
lynomial
bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
v
erify
.
c: opt
i
mum: handle i
n
put evaluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verif
y
.
c
:
extract e
v
alue_op
t
imum fr
o
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ver
i
fy
.
c: extract
common c
o
d
e
for ve
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
eva
l
u
e_ran
g
e_propagatio
n
: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bar
v
inok_maximize: o
p
tionally use
(basic) range
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
A
d
d some supp
o
rt for dealing with evalues
t
hat repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
barvino
k
_enumerate: suppor
t
use of
E
uler-Macl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
implement
B
ernoulli_sum as conv
e
rs
i
on fr
o
m un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
l
i_sum
_
evalue:
e
x
plo
i
t integer bou
n
ds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
keep track o
f
n
u
mber o
f
Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bernoulli
.
c: pr
o
tect shar
e
d
e
value f
r
o
m mo
d
i
fi
c
a
t
ion
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
ege
te
s
t
Bernoull
i
sums based exact enumer
a
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolae
g
e
barvinok_co
u
nt_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_eva
l
ue: optional
l
y
ha
n
dle f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
lattice_poi
n
t
.
h: export frac
t
ional_p
a
rt with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
ae
g
e
barvinok_enumerat
e
_wit
h
_opt
i
ons: comput
e
(
exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolae
g
e
Bernoulli_sum_
e
value: h
a
ndle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Bernoull
i
_sum_ev
a
lue: cut off so
m
e redunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue: make sure
no
e
mpty
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_eva
l
ue: rem
o
ve redu
n
dant cons
t
raint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
bernoulli
.
c: minor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
ool
a
ege
Ber
n
oulli_sum: handle context c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_su
m
_ev
a
l
u
e
: ma
k
e s
u
re
e
nough
mem
o
ry is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_eac
h
_lower_upper_bound: add anoth
e
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
olaege
verify
.
c: adju
s
t defau
l
t range t
o
c
onte
x
t if
neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
euler
.
cc: summate_over_domain: onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
p
aram_util
.
c: export Param_Ve
r
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Po
l
yh
e
dron_Facet: pass facet def
i
nin
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
genf
u
n
.
cc: pa
r
al
l
e
l_po
l
ytop
e
s: don't
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
evalue_split_
d
omain
s
_in
t
o_orthan
t
s: don't red
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoo
l
aege
evalue_read: only a
l
low term
s
to
cross
n
e
w
l
ines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
v
a
l
ue_read: only accept i
m
plicit multiplica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_
r
ea
d
: accept constraints c
o
ntaining "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
next