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
summate.c: barvinok_summate: handle products of polytopes for euler and laurent
2008-05-04
S
v
en Verdoolaege
summ
a
te
.
c: barvin
o
k
_
sum
m
ate:
han
d
le product
s
of po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
e
v
a
lue
.
c: expo
r
t evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
bernstein: numeric2valu
e
: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoo
l
aege
util
.
c:
F
a
c
to
r
_Context: extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olae
g
e
summate
.
c
: barvinok_sum
m
ate: i
g
nore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
omega
/
occ: print bar
v
inok version number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
doc: update
s
o
me refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoo
l
a
e
ge
Make laurent b
a
sed
summati
o
n
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c: barvinok_summate: handle quas
i
-
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
redu
c
e_eva
l
u
e: e
x
tract out
e
value_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
e
valu
e
.
c: evalue_shift
_
variab
l
es: allow shi
f
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
s
ummate
.
c: hand
l
e equalities for all summation algori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
m
mate
.
c: barv
i
nok_
s
u
mmate: move common
parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
eva
l
u
e
.
c: evalue
_
sum: mov
e
s
i
g
n han
d
lin
g
into esum_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdo
o
laege
barvinok_e
.
cc: enumerate_sum: use barvi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c
:
e
xtract barvinok_summate
fr
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoola
e
ge
r
e
name summate
.
cc to barvi
n
ok
_
summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: reduce_evalue
:
reduce floor
w
ith constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
d
oola
e
ge
A
dd Laurent expansion bas
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
laege
evalue
.
c: ext
e
n
d eequal to handle
d
omains and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
binomial
.
c: extr
a
ct binomial
a
nd facto
r
ial fr
o
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolae
g
e
p
o
wer
.
h: extract from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
i
n
tro
d
uce evalue
_
s
h
ift_va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolae
g
e
lattice_point
.
cc:
e
x
p
or
t
relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
l
attice
_
point
.
h: make sure correct
e
v
a
l
u
es are use
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
la
t
tice_point
.
c
c: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en
V
erdoola
e
g
e
util
.
c
: internalize
ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Verdoolaege
latti
c
e_point
.
cc: multi_mon
o
m/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
e
g
e
doc: clean up
"
exponential substitution
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
es
t
_bound
.
c
c:
avoid loss
o
f pr
e
cision caused by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
b
a
rv
i
nok_bound: optio
n
ally take maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
bar
v
i
no
k
_
bound: add -
-
itera
t
e
options for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
veri
f
y
.
c:
e
xport functions for setting
and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolae
g
e
verify
.
c: evalue_optimum: allo
w
compu
t
ation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bernstein
.
cc: eval
u
e
2ex: don't
a
ssume all
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
o
un
d
.
cc: fix call
t
o ev
a
lue_c
o
nve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
e
{add,mul}_periodic
s
: plug
m
emory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue
_
ber
n
stein_coeffici
e
n
ts
:
ha
n
dle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolae
g
e
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Ver
d
ool
a
ege
l
a
ttice
_
width
.
c: sk
i
p directions
that
are ide
n
tic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
a
m: add cdd94e-test to distr
i
butio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
omega/occ
:
optional
l
y
u
se p
a
rker for co
m
p
u
ting car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c: ske
w
_to_positive_orthan
t
: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdoolaege
omega/convert
.
cc: relation2Doma
i
n: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
occ: add dump
f
or
dumping in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
bar
v
inok_enumerate_e:
o
pt
i
onally use
p
a
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard_co
n
straints
:
ta
k
e constraint
s
instead of pol
y
hedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
normaliz
a
ti
o
n
.
c: ext
r
act
s
tandar
d
_const
r
aints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/co
u
nt_solutions
.
c
c
: fix t
r
eatment
o
f
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
c
o
mpile
p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
euler
.
cc: evalue_d
e
rive: hand
l
e
constant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
add
some t
e
st sets from
cases 20
0
4 a
n
d cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
rename barvi
n
ok_maximi
z
e to b
a
rvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
ad
d
a test fo
r
t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoola
e
ge
eva
l
u
e
_rang
e
_p
r
o
p
aga
t
ion:
remove redu
n
dant
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
tes
t
_bo
u
nd
:
record
n
umber of polynomials as "
s
ize
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
est_bound: convert quasipolynomi
a
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
test_boun
d
: compare polyn
o
mial
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c: opti
m
u
m
:
h
andle
i
nput evaluatin
g
to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c:
ex
t
ract evalue_op
t
imum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
v
erify
.
c: extract common code
for
v
e
rifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_
r
ange_
p
ropa
g
a
t
ion: add mono
t
onic
i
ty
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ba
r
v
inok_maxim
i
ze: opt
i
o
n
ally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
s
ome sup
p
ort for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
arvin
o
k_enumer
a
te:
s
upport use o
f
Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement Be
r
noul
l
i_
s
um as conversion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_eval
u
e: exploit i
n
teger
b
ou
n
d
s
to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
keep track of number
o
f Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoulli
.
c: protec
t
shar
e
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
test Bernoul
l
i
sums based exact en
u
m
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
barvinok_count_wit
h
_
o
ptions
:
com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoull
i
_su
m
_e
v
alue:
optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olae
g
e
l
attice_point
.
h
: export fractional_part wit
h
C
l
i
n
kag
e
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_enumerate_wit
h
_options: com
p
ute (exact) Ber
n
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Be
r
noulli_
s
um_eval
u
e: handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oolaege
Ber
n
o
ulli
_
sum_evalue: cut off some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bern
o
ulli_sum
_
eva
l
u
e
: make
sur
e
no empty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
n
o
ulli_su
m
_
evalue: remove redundant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
be
r
noulli
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
B
ernoul
l
i_s
u
m: h
a
ndle context constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoo
l
aege
f
o
r_each_lower_upp
e
r_bound: add an
o
ther
callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: adju
s
t default
r
ange
t
o contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
ae
g
e
eule
r
.
c
c
:
summa
t
e_
o
ver_domain:
onl
y
c
ons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_ut
i
l
.
c:
e
xport Param_Ver
t
ex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Pa
r
am_Polyh
e
dron_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
g
enfun
.
cc
:
parallel_polytopes: don't bother h
a
n
d
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
evalue_sp
l
it_doma
i
n
s_into_o
r
t
h
ants:
d
o
n
'
t
r
educ
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
eva
l
ue
_
read:
only a
l
l
ow
terms to cros
s
ne
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
ev
a
lue_read: only accept
implicit
multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept cons
t
raints conta
i
nin
g
"
'-'
s
p
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_bernstein_coefficients: ensure result par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
bernstein: pi
e
cewise_lst: correctl
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
r
doolae
g
e
remove_all_
e
qual
i
tie
s
: keep removing pa
r
amete
r
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
u
pdat
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: c
o
nsistent use o
f
Kevi
n
's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
doc: update now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
ge
for_each_lower
_
upp
e
r
_bound
:
allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
vert "eadd_partitions
:
try to
co
m
bine multip
l
e
d
o
m
ain
s
.
.
.
commit
|
commitdiff
|
tree
next