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: handle equalities for all summation algorithms
2008-05-03
Sven Verdool
a
ege
summate
.
c: handl
e
equalities for a
l
l
summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doo
l
aeg
e
s
u
mmate
.
c: barv
i
nok_summate: m
o
ve
c
ommon parts
of s
u
mma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
e
value
.
c:
evalue
_
sum: move
sig
n
handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
o
laege
barvinok_e
.
cc
:
enumerate_
s
um:
u
se barvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
summate
.
c:
e
xtract
b
a
rvinok
_
s
ummate
f
rom
bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
r
e
name
summate
.
c
c
to barvinok_summ
a
te
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c
:
r
e
du
c
e_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent exp
a
ns
i
on
b
ased sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
eva
l
ue
.
c:
ext
e
n
d eequa
l
to h
a
n
d
le domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verd
o
ola
e
ge
binomial
.
c
: extract binomial and
fa
c
t
orial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
laege
power
.
h
:
extract fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
int
r
oduc
e
evalu
e
_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice
_
point
.
cc: export relative
_
coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h:
make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_point
.
cc: add ceilin
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdool
a
ege
util
.
c
:
internali
z
e ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
oolae
g
e
lat
t
ice_poin
t
.
cc
:
multi
_
mo
n
o
m
/
latti
c
e_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
laege
d
o
c: clean up
"exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaege
t
est_bound
.
cc
:
avoid loss of pr
e
c
i
sion caused by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
erdoolaege
barv
i
nok_bound:
o
p
t
i
o
nall
y
take maxim
a
l s
i
ze
o
f
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barv
i
nok_bound: a
d
d --ite
r
at
e
op
t
ions for
e
v
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
verify
.
c
:
export functions for s
e
t
t
in
g
and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoo
l
aege
verify
.
c:
eval
u
e_optimu
m
: allow comp
u
tation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
o
laege
berns
t
ein
.
cc: evalue2ex:
don't ass
u
me all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c
:
fix
c
a
l
l
to ev
a
lue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdool
a
e
ge
e{add,mul}_pe
r
i
odi
c
s: pl
u
g m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olaege
evalue_bernstein_coeffi
c
ients
:
handle pr
o
blem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
up
d
ate
poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olae
g
e
lattic
e
_wid
t
h
.
c: skip direction
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Ma
k
efile
.
a
m
: add cdd94e-test to di
s
t
r
ibutio
n
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doo
l
aege
om
e
ga/o
c
c: o
p
tionally
use parke
r
for comp
u
ting
c
a
r
d
inalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
ola
e
ge
n
o
rmalizatio
n
.
c:
skew_to_
p
ositive_orthant:
p
roperly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolae
g
e
ome
g
a/conv
e
rt
.
cc: relation2Domain: only colle
c
t
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
occ: add du
m
p for du
m
ping
in barvinok_enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdo
o
laege
barv
i
n
ok_enumerate_e:
optionally use pa
r
ker
'
s
m
e
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
stan
d
ard_con
s
traints: take const
r
aints ins
t
ead of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ation
.
c: extract st
a
ndard_constrai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doo
l
aege
parker/cou
n
t_solution
s
.
cc
:
fix treat
m
ent o
f
e
x
i
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven
V
e
rdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
euler
.
cc: ev
a
lue_deriv
e
: handle constant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
add some
tes
t
set
s
fr
o
m c
a
ses 2004
a
n
d c
c
2
005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
ren
a
me barvi
n
ok_ma
x
im
i
ze to barvi
n
o
k_
b
oun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
a
dd a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_range_pro
p
a
g
ation: remove redun
d
a
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
test_bound:
r
ecord numb
e
r of pol
y
no
m
ials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
test_bo
u
nd:
convert quasipolynomials to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound:
c
omp
a
r
e
polynomial boun
d
al
g
orith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
v
erify
.
c: opt
i
mum
:
han
d
l
e input
e
v
aluat
i
n
g to ne
g
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extract evalue_optim
u
m from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c:
e
x
tract common
code for v
e
ri
f
ying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
nge_prop
a
g
a
tion: add monoto
n
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvino
k
_maximiz
e
: optio
n
ally
u
se (basic) r
a
nge propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add som
e
support
f
or dealing with evalues
t
hat re
p
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_enumer
a
te: support use
o
f
Euler-
M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
imple
m
ent Bernoul
l
i_sum
as
c
on
v
e
rsion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Be
r
noulli_sum_evalu
e
: e
x
ploit integ
e
r bou
n
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
keep trac
k
of
numbe
r
o
f
B
ern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoulli
.
c: prot
e
ct sha
r
ed evalue from modi
f
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoul
l
i sums
b
ased exact
enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_count_wi
t
h_options: compute (exact
)
Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_
e
valu
e
: optionally handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: e
x
port fra
c
tional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
e
g
e
barvino
k
_enumerate_with_o
p
t
i
ons: c
o
mpute (exact) Be
r
noull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Be
r
no
u
lli_sum_evalue:
handle
e
qualities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
Bernou
l
li_sum_evalue: c
u
t off
some redunda
n
t par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Ber
n
oulli_sum_eva
l
ue
:
make sure no empty p
a
r
t
itio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laege
Bernoulli
_
s
u
m
_
evalue: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
e
r
noulli
.
c:
m
inor refac
t
or
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
:
h
andle
c
o
ntext constra
i
nt
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoull
i
_sum_eva
l
ue:
make sur
e
en
o
ugh memory is al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
for_each_lower
_
upper
_
bound: add another call
b
ack f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
verify
.
c:
adjust default range to
c
ont
e
xt if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaeg
e
euler
.
cc
:
summa
t
e_
o
v
e
r_domain: only
c
onsider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
param_u
t
il
.
c: e
x
port Param_Vertex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
Param_Pol
y
hedro
n
_Facet: pass facet
defining cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
genfun
.
cc: paral
l
el_p
o
l
y
topes: don't
b
other ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laeg
e
e
value_spli
t
_
d
omains_into_o
r
thants: do
n
'
t
reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad: only allow terms to c
r
oss ne
w
lines ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
eval
u
e_read: only acce
p
t implicit mult
i
pli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
value_
r
ead: acce
p
t c
o
nstraints containi
n
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_
b
e
r
nstein_coeffici
e
n
t
s: e
n
sure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
be
r
nstein: piecewise_l
s
t: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
remove_a
l
l_equalities: k
e
ep rem
o
ving paramete
r
eq
u
alit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ola
e
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
doc: c
o
nsistent use of
K
ev
i
n
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
aege
fo
r
_each_lower_upper_bound
:
allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Rev
e
rt
"eadd_partit
i
o
ns
:
try to c
o
mbine multiple do
m
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
evalue
_
read_partition: p
u
t
par
t
itions ba
c
k
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: r
e
du
c
e_eval
u
e:
a
d
d
note
o
n some missed oppor
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc:
h
an
d
l
e
input w
i
th unions + r
e
latio
n
v
i
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
maximize
.
cc
:
deal with
union
s
in
i
np
u
t during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_subs
t
i
tute: pro
p
e
r
ly
ha
n
dle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
g
e
e
valu
e
.
c: clean up
e
mul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Ve
r
doola
e
ge
e
v
alue_rea
d
:
corr
e
ctly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_read:
a
ccep
t
top l
e
vel "r
e
la
t
ion
"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
aeg
e
up
d
ate p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubst
i
tu
t
e:
a
dd required m
o
d
u
l
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eva
l
ue
.
c: *_partitions: simpli
f
y
constraints before
.
.
.
commit
|
commitdiff
|
tree
next