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
doc: fix typo
2008-05-08
S
v
en Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add
e
ditors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoola
e
ge
bar
v
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
add some test sets from itsl
2
008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: add latest
(accepte
d
) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
laege
Make
f
ile
.
a
m
: add se
c
tion_array
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
norm
a
l
ization
.
c: c
o
mpute_shif
t
s: re
m
ove redundant
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
m
ove Free_ParamNames p
o
lyl
i
b
and mak
e
param na
m
e
s
con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
do
o
laege
occ: add
interface to barv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
o
l
aeg
e
ex_convert
.
cc: extract ex2eva
l
ue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc:
d
ocument
mor
e
--
s
um
m
ation meth
o
ds for b
a
r
vinok_sum
m
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c
:
rename "ba
r
v
inok" summation me
t
hod to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
Makefile
.
am: check-euler: also
c
heck
laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c:
barvinok_summat
e
: handle pr
o
ducts o
f
p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eva
l
ue
.
c
:
e
xport evalu
e
_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeri
c
2value: fix typo to
all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
u
til
.
c:
Fa
c
t
o
r_Context: extract
e
d
f
rom barvi
n
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolae
g
e
summate
.
c: barv
i
nok_summate: ignore f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
evalue
.
c: a
d
d evalu
e
_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/
o
cc: print barvinok version num
b
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Make laurent bas
e
d su
m
mation the default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
sum
m
ate
.
c: barvino
k
_summate:
h
andle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
reduc
e
_evalue: extract
o
ut
e
va
l
ue_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
e
va
l
u
e_shi
f
t_variable
s
:
a
llow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summa
t
e
.
c
:
ha
n
dle e
q
ualit
i
e
s
for all summation a
l
gorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
summate
.
c: barvinok_summate: m
o
ve comm
o
n
parts of s
u
mm
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
e
v
alu
e
.
c: evalue_sum: move sign handli
n
g
into esum_
o
ver_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvinok
_
e
.
cc: en
u
merate
_
sum: use bar
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
sum
m
ate
.
c: extract b
a
rvin
o
k_summate from b
a
r
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
rename summate
.
c
c to bar
v
inok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doo
l
aege
evalue
.
c: reduc
e
_evalue
:
reduce
f
loor with
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Add
Laurent expansion based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
eval
u
e
.
c: e
x
t
e
n
d
e
equal
t
o handle
domains a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
binomial
.
c
:
extract binomial and
facto
r
ial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
powe
r
.
h: extrac
t
from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
i
n
trodu
c
e evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
latti
c
e_point
.
cc: expor
t
relative_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
latt
i
ce_point
.
h: make su
r
e correct
e
v
a
lues
a
re
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latt
i
ce_p
o
int
.
cc:
add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
dool
a
ege
u
t
il
.
c: inter
n
a
l
ize ugl
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_
p
oi
n
t
.
cc:
multi_monom
/
lattice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven
V
erdoolaeg
e
doc
:
clean up "exp
o
n
e
n
t
ial substitutio
n
" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
t
est_bound
.
c
c
: avoid l
o
s
s
of precision c
a
used by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: op
t
ionally take max
i
mal size
o
f d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvino
k
_
bound: add -
-
iterate opt
i
ons for ev
a
luat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
olaege
verify
.
c: e
x
port functions for s
e
tting and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c: eval
u
e_optimum: all
o
w
c
omputa
t
ion of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: eva
l
ue2ex: don't assume all pe
r
io
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laeg
e
bou
n
d
.
c
c: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
e{add,mul}_per
i
o
d
i
c
s
:
plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
evalue_bernstei
n
_
coefficients: handl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
upda
t
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
la
e
ge
l
a
t
tice_width
.
c
:
skip directions that
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n V
e
rd
o
o
laege
Makefile
.
am: add cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaeg
e
omega/occ: optionally use par
k
er for com
p
uting cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
no
r
ma
l
iza
t
ion
.
c: sk
e
w_to_positi
v
e_or
t
h
ant: prop
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc:
r
e
l
ation2Dom
a
in:
o
nly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
oc
c
: add dump for dumping in barv
i
nok_
e
numerate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerate_e
:
optionally use parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
s
t
a
nd
a
r
d_co
n
straint
s
: take co
n
strai
n
ts instea
d
of
p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: extract sta
n
dard_constrai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
pa
r
ker/count_solu
t
ions
.
cc: fix treatment
o
f
exis
t
enti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaeg
e
compile
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc: evalue
_
de
r
ive:
hand
l
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
a
d
d some test sets
f
rom cases 20
0
4
a
nd
cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
rename barvino
k
_maxi
m
ize
to
b
arvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add a test for te
s
t_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range
_
propag
a
tion: re
m
ove
redund
a
nt po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
test_bound
:
record number
of polynomials a
s
"s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_boun
d
: convert quasipoly
n
omia
l
s to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaeg
e
test
_
bound:
com
p
are polynomial
bou
n
d algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
v
e
r
ify
.
c: opti
m
um
:
handle
i
nput evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
verify
.
c: extract evalue_optim
u
m fr
o
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
er
i
f
y
.
c:
extract c
o
mmon code for verifying ope
r
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
evalu
e
_ra
n
ge_pro
p
agation:
a
dd monoto
n
icit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_maximize: optional
l
y use (ba
s
ic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laeg
e
Add some support
for
d
ealing with evalues tha
t
repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok
_
enumerate:
s
up
p
ort us
e
of
E
u
l
er-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
o
laege
implement Bernoulli_sum as con
v
e
r
sio
n
fro
m
un
w
eig
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
u
lli_sum_evalue
:
exploit integer bou
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of
n
umber of Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
e
rnoulli
.
c:
p
ro
t
ect
s
hared ev
a
lue from mo
d
i
ficatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
t
est Bernoulli sums
b
ased exact en
u
me
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_count_with_options: compute (exact)
B
er
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli
_
sum_evalue: o
p
tio
n
ally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
lattice_point
.
h: export
fractional_part wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
o
olae
g
e
barv
i
nok_enumerate
_
with
_
options: compute (
e
x
a
ct) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
B
e
rnoulli_sum_e
v
a
l
ue: ha
n
dle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
Ber
n
oulli
_
su
m
_evalu
e
:
c
ut off some redund
a
n
t
pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
B
e
rnoulli_s
u
m_evalue
:
make sure no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
Bernoulli_sum_evalue: remove redund
a
n
t constraint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoulli
.
c: min
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_su
m
:
handle
context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
erno
u
l
li_
s
um_evalue:
m
a
k
e sur
e
en
o
ugh memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for_each_lower_upper_
b
ound
:
add
a
n
ot
h
er callba
c
k
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c:
a
dj
u
s
t
default range to context if
n
e
ed
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
u
ler
.
cc: summate_over_dom
a
i
n: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
param_util
.
c: exp
o
rt Param_Verte
x
_Set_Fac
e
ts
commit
|
commitdiff
|
tree
next