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
enumerator::handle: replace incorrect delete by free
2008-07-02
S
ven Ver
d
ool
a
ege
en
u
m
e
rator::han
d
le: replace inc
o
rrect delete b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doola
e
ge
upd
a
te p
i
plib for corre
c
ted Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n
Verdoolaege
configure:
u
s
e cor
r
ect he
a
d
e
r files
i
n
case of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: on
l
y ope
n
debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ver
d
o
ol
a
e
g
e
add ed
i
t
o
rs to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
laege
add some test sets from it
s
l2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc
:
add lat
e
st (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
Makefile
.
am: add section_a
r
ray
.
h
t
o distribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
ool
a
ege
no
r
maliz
a
tion
.
c
: compute_shif
t
s
: remove redun
d
ant return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
move
Free
_
P
aramN
a
mes polylib and mak
e
para
m
name
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ
:
add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ex_co
n
vert
.
cc: extract ex2evalue f
r
o
m
rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: documen
t
more
-
-summat
i
on met
h
ods for ba
r
v
i
n
o
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
options
.
c: renam
e
"barvinok" summation method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
dool
a
ege
Makefil
e
.
a
m:
c
hec
k
-euler: al
s
o
check lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
s
ummat
e
.
c: barvinok_summate: h
a
ndle prod
u
cts o
f
po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaeg
e
e
v
alue
.
c: ex
p
ort evalu
e
_reor
d
er_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
ber
n
st
e
in:
n
umeric2value: fix typo to allow corr
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erd
o
olaeg
e
u
t
il
.
c: Factor_Cont
e
xt: extracted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
s
u
mmat
e
.
c: barvin
o
k_summate: ignore fl
o
o
r
s independe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
ev
a
lue
.
c: add eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: print b
a
rvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
doc: update some
ref
e
rences
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
g
e
Make lauren
t
bas
e
d summa
t
i
on the
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
s
umma
t
e
.
c: b
a
rvinok_summ
a
te: h
a
ndle quasi-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
re
d
u
ce_eval
u
e
:
extrac
t
o
ut evalue_red
u
ce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oo
l
aege
ev
a
lue
.
c: evalue_s
h
ift_v
a
riables: allo
w
sh
i
f
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c
: handl
e
eq
u
alities for all
s
ummation algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summat
e
.
c:
barvi
n
ok_summa
t
e:
move comm
o
n
par
t
s of summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
evalue
.
c:
evalue_sum:
move sign
han
d
l
in
g
into esum_over_domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
b
arvinok_e
.
cc
:
e
n
umer
a
te
_
su
m
: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
e
g
e
summate
.
c: extract ba
r
vinok_summate fr
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
rename summate
.
cc to bar
v
i
nok_
s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
eval
u
e
.
c:
reduce_eva
l
ue: reduce floor with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ver
d
oola
e
g
e
Add Lau
r
ent
expan
s
ion
b
ased summatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
evalue
.
c:
e
x
t
end eequal to handle d
o
mains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
binomi
a
l
.
c: extract binomial and factorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
po
w
er
.
h: extr
a
ct from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
in
t
r
o
duce evalu
e
_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
lattice_point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_p
o
i
nt
.
h:
m
ake sure co
r
rect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
latt
i
ce_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Ve
r
do
o
laege
util
.
c: internalize ugly
bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdoolaege
lattice_point
.
cc: multi_monom/lattice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verd
o
olaege
doc: clean up "exponential substituti
o
n
"
se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
test_bound
.
cc: av
o
id
loss
of preci
s
i
o
n caused b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Ver
d
ool
a
ege
barvinok_bound: optionally take maximal s
i
z
e
of
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
bar
v
inok
_
bound: a
d
d -
-
iterate
opti
o
ns
f
or eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
v
e
rify
.
c
:
export functi
o
ns for setting and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c: evalue_
o
ptimu
m
: allow co
m
putation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
b
ernstein
.
cc: evalue2ex:
d
on't assume all
per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
boun
d
.
cc
:
fix call to eva
l
ue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
e
{
add,m
u
l}_peri
o
dics: plug memory l
e
a
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
evalue_be
r
nstein_co
e
f
f
icients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ver
d
oolaege
lattice
_
width
.
c:
skip directions that ar
e
iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Make
f
ile
.
am:
add cdd94e-test to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolae
g
e
omega
/
occ: op
t
i
o
nall
y
u
se p
a
rke
r
for computing car
d
i
n
a
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoo
l
a
ege
normalization
.
c: s
k
e
w
_t
o
_po
s
itive_orthant:
p
rop
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
lae
g
e
omega/con
v
ert
.
cc:
re
l
a
t
i
on2Do
m
ain:
o
nly colle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaeg
e
occ: add
dum
p
for dumping in ba
r
vinok
_
enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
ba
r
vinok_enumerat
e
_e: optionally
u
se p
a
r
ke
r
'
s metho
d
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard_constraints:
take cons
t
r
aints instead
of polyhe
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rd
o
olaege
normalization
.
c: extract s
t
a
ndard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parke
r
/cou
n
t_solutions
.
cc: fix treatme
n
t
of
existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Ve
r
doolaeg
e
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eu
l
er
.
c
c
: evalue_derive: h
a
ndle con
s
tant
pol
y
no
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
add som
e
test
s
ets
from c
a
ses 200
4
and cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
rena
m
e barvinok_
m
aximize to barvinok_
b
oun
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
er
d
o
o
la
e
g
e
add a
t
est
f
o
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_range_
p
ropag
a
tion: re
m
ove r
e
dun
d
ant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
g
e
test_bound
:
r
e
c
o
rd
number of polynomial
s
as
"
s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
t
est_b
o
und: convert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
te
s
t_boun
d
: compare poly
n
omial bound alg
o
rit
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
ver
i
fy
.
c: opti
m
um: handle input e
v
al
u
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
verify
.
c: e
x
tract
e
v
alue_optimu
m
from max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extra
c
t
c
o
mmon code
for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_propagation:
a
dd monotonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvino
k
_maximize: o
p
tionally
use
(b
a
sic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
ege
Add some
support for dealing with
e
values that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
barvinok_en
u
merate:
s
upport use
o
f
E
ule
r
-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Be
r
n
o
ull
i
_sum as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
o
laege
Bern
o
ulli_sum_evalue: exploi
t
i
n
teger bo
u
nds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verd
o
olaege
keep
trac
k
of number o
f
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bernoulli
.
c: pr
o
t
ect
s
hared evalue f
r
om
modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test Bernoulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvi
n
o
k
_count_with_options: c
o
m
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
Bernoulli_sum_evalu
e
: o
p
tionally ha
n
dle
fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lat
t
ice_point
.
h
:
expor
t
fraction
a
l_
p
art with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
b
arvin
o
k_en
u
merate_with_opti
o
ns:
compute (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
Bernoulli_su
m
_
e
valu
e
: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oo
l
aege
Bernoulli_sum_evalu
e
:
cut off some redundant
par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue:
m
a
k
e
sure no empty p
a
rti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olae
g
e
Bernoulli_sum
_
evalue: remove redundant c
o
nstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolaege
be
r
noul
l
i
.
c
:
minor re
f
actori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Ber
n
oulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_s
u
m_evalue: make sure
enough
m
em
o
ry is allocated
.
.
.
commit
|
commitdiff
|
tree
next