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
Sven Verdoolaege
enumerator::handle: replace in
c
orrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolae
g
e
update piplib for correc
t
e
d
Urs
_
pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n Verdoolaege
configu
r
e: use corr
e
ct
h
e
a
der f
i
les in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verdoolaege
configure
.
in: fix
chec
k
for
c
o
de_gen
library a
v
aila
b
ility
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verd
o
olaege
omega/occ:
o
nly
o
pen debug output
fil
e
i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doola
e
ge
omega/Makefile
.
am:
a
void b
i
so
n
's
-
o option as n
a
m
ing
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ve
r
doola
e
ge
ra
n
ge
.
cc: add mi
s
sing in
c
lude of
allo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
erdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
r
doolaege
add
e
d
i
t
o
r
s to
IT
S
L
p
ape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp fo
r
argument parsing in barvin
o
k
_
e
hr
h
art
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
r
d
oo
l
aege
properly ha
n
dl
e
N
T
L CP
P
FLAGS and LDFL
A
G
S
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_red
u
ction_
t
e
mpl
.
c: add missin
g
i
n
c
l
ude
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
bar
v
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ad
d
s
o
m
e test sets from it
s
l2008
p
ape
r
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
laege
doc: add latest (a
c
cepted
)
public
a
t
i
o
ns
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
Makefile
.
am: add section_array
.
h
to
d
i
s
tribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
no
r
malizat
i
on
.
c: c
o
m
p
ute
_
shifts: r
e
m
ove redun
d
ant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Fre
e
_ParamNam
e
s
poly
l
ib and ma
k
e param name
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add in
t
er
f
ace to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
ex_convert
.
cc: extract
e
x2evalue from r
a
ng
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
l
ae
g
e
doc: document
more --
s
um
m
ation
m
ethods for
barvi
n
o
k
_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
optio
n
s
.
c: rena
m
e "ba
r
vinok" sum
m
a
t
ion method to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
M
akefile
.
am:
check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdoo
l
ae
g
e
s
u
mmate
.
c: b
a
rvi
n
ok_summat
e
: handl
e
products of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oola
e
ge
evalue
.
c: export ev
a
lue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
b
e
rnstein: numeric2value: f
i
x typo to al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
ut
i
l
.
c
: Fac
t
or_Context: extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
lae
g
e
summate
.
c: ba
r
v
inok_summate:
i
g
no
r
e floors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdool
a
eg
e
e
v
a
lue
.
c:
add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
om
e
ga/occ: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
M
ake laurent based s
u
mmation t
h
e
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summ
a
te
.
c
:
barvinok_su
m
mat
e
:
h
andle
q
uasi-
p
oly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
r
educe_evalue: extra
c
t
out eva
l
u
e_reduce_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
evalue
.
c: evalue_shift_variables: a
l
low shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c: handle e
q
u
alities f
o
r all
s
ummation
a
lgorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
summate
.
c
:
barvinok_summ
a
te:
move common pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: evalu
e
_sum: move sign handling into esum_over
_
d
o
main
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdool
a
ege
barvinok_e
.
cc: en
u
m
e
rate_sum: us
e
barv
i
nok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
s
u
mmate
.
c: extract barvinok_summat
e
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
renam
e
summat
e
.
c
c
t
o
bar
v
i
nok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
evalue
.
c
:
reduce_
e
va
l
ue: reduce floor wi
t
h
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Lau
r
ent exp
a
nsion
b
a
s
ed
summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
evalue
.
c: extend eequal to handle
d
omains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaeg
e
b
i
nomial
.
c: e
x
t
ract bi
n
omia
l
a
n
d fa
c
t
oria
l
fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
po
w
er
.
h
:
extra
c
t
f
r
om eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
tr
o
du
c
e evalue_shif
t
_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
lattice_p
o
int
.
cc: export rel
a
tive_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_point
.
h: make sure cor
r
ect eva
l
ues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latti
c
e_point
.
cc:
a
dd ceiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
S
ven Ve
r
doo
l
a
ege
util
.
c:
inter
n
alize ugly
b
v_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en
V
er
d
oolaege
lattice
_
point
.
cc: multi_monom/latt
i
ce_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
er
d
oolaege
doc:
clean u
p
"expone
n
tial su
b
stituti
o
n" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
do
o
lae
g
e
test_bound
.
c
c: avoi
d
lo
s
s o
f
p
r
ec
i
si
o
n caused b
y
co
n
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barv
i
n
o
k_
b
ound: optiona
l
ly take maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: add --iterate options fo
r
eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaege
veri
f
y
.
c: ex
p
o
rt
functio
n
s
f
or setting and
c
le
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
olaege
ver
i
fy
.
c
: evalue_optimum: allow compu
t
a
tion of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
be
r
ns
t
ein
.
c
c: evalue2ex:
d
on't assume all pe
r
i
o
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
bound
.
cc: fi
x
call to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdool
a
e
g
e
e{add,mul}_periodics: plug memory
lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
evalue_bernstei
n
_coefficients:
h
andle prob
l
e
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaeg
e
update
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olaege
lattice_widt
h
.
c: skip direc
t
ions th
a
t
are iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ver
d
o
o
laege
M
a
kef
i
l
e
.
am: add cdd94e-t
e
st t
o
d
istribution
commit
|
commitdiff
|
tree
2008-04-03
S
ve
n
V
e
rdoo
l
aege
omeg
a
/
o
cc: op
t
ionally use
parker for computing
c
a
rdin
a
li
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c:
skew_to_positive_o
r
thant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conv
e
r
t
.
cc:
r
e
l
a
t
ion2Domai
n
: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ:
add du
m
p for dumping in barvinok_enumerate
_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
barvinok_enum
e
rate_e: optionally use pa
r
ker's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
eg
e
s
tandard_constr
a
ints
:
take
c
onstraints in
s
te
a
d
of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
no
r
malization
.
c: extract standard_
c
onstraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
eg
e
parker/count_solutions
.
c
c
:
fix treatment of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
compi
l
e
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
euler
.
cc: eva
l
u
e
_derive: ha
n
dle
cons
t
a
nt p
o
lynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
ad
d
so
m
e test sets from
c
a
s
es
2004 and cc 200
5
paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
r
e
name barvin
o
k_
m
aximize
t
o barvinok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add
a te
s
t
f
or test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propa
g
a
tion: remove redun
d
ant pol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
t
e
st_boun
d
:
r
e
cord numb
e
r of
p
olynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert
q
uasipolynomi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
test_
b
ound: compare polynomial bound
algo
r
i
th
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c:
o
ptimum: han
d
le input
e
valuating
t
o
negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
veri
f
y
.
c:
extra
c
t
evalue_optimum from m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c
:
extract common
c
od
e
f
or verifyin
g
ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_prop
a
gation: add
monotoni
c
ity tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
a
rvinok_maximize: optional
l
y
use (ba
s
ic) range prop
a
ga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
lae
g
e
Add
s
ome suppo
r
t for dealing with evalues th
a
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oola
e
ge
barvinok_enu
m
e
r
ate: suppor
t
us
e
of Euler-Ma
c
laur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
imple
m
e
n
t Bernoulli_su
m
as con
v
ersion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Bern
o
ulli_sum_e
v
alue: explo
i
t
i
nteger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
keep
t
r
a
ck o
f
n
u
mber
of B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
berno
u
lli
.
c
:
prot
e
ct shared e
v
alue
f
rom modifications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
t
e
st Bernoulli sums based exact
e
numer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
barvino
k
_count_with_options: com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli
_
su
m
_evalue: optionally han
d
l
e f
r
a
ctio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: e
x
port
fracti
o
na
l
_part with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
b
a
rvinok_
e
numerate_with_options: c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
Bernou
l
li_sum_evalue
:
h
a
ndle equa
l
iti
e
s
commit
|
commitdiff
|
tree
next