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
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-04-17
Sven Verdoolaege
lat
t
ice
_
point
.
cc: mul
t
i_monom/latti
c
e_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
do
c
: cle
a
n up "e
x
pon
e
ntial s
u
bstitut
i
o
n
" se
c
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid lo
s
s
of
precision c
a
used by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
barv
i
nok_bo
u
n
d
:
o
ptionally
t
ake maxi
m
al size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
barvinok_boun
d
:
a
dd
--iterate options
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
ver
i
f
y
.
c: e
x
port functions for setting and cl
e
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
verify
.
c: evalue_optim
u
m
: all
o
w computation
of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bernstein
.
cc
:
e
v
a
l
ue2ex: d
o
n
'
t as
s
u
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c
:
fix call to evalue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
ege
e{add,
m
ul
}
_pe
r
iodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_ber
n
s
t
ein_coefficients: han
d
l
e prob
l
ems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattic
e
_width
.
c: skip directions that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
M
akef
i
le
.
a
m: add cdd94e-test
t
o dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
m
ega/
o
cc: opt
i
onally use parke
r
f
or c
o
mput
i
ng cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
norm
a
liza
t
ion
.
c: skew_to_p
o
sitive_ortha
n
t: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
omega/convert
.
c
c: relation2Do
m
ain: only colle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
occ:
a
dd dump for
d
umping i
n
b
a
rvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laeg
e
barvi
n
ok_enumerate_e: opti
o
nally u
s
e
parker's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
la
e
ge
s
ta
n
dard_constraints:
t
ake
c
o
n
straints inste
a
d of poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normaliz
a
t
i
o
n
.
c: extract standard_constraints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdo
o
laege
p
arker/co
u
nt
_
s
olu
t
ions
.
cc
:
fix treatment
o
f e
x
isten
t
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
A
dd
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c: evalue_derive: ha
n
d
le constant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add some test
s
ets from cas
e
s
2004 a
n
d
cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rena
m
e barvinok_maximiz
e
to barvi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ad
d
a t
e
st for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_
p
ropa
g
ation: remove
redundant
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
t
est_bound: record num
b
er of polynomials
as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
te
s
t
_
bound: conve
r
t
q
uasipoly
n
omials to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: compare polynomi
a
l
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
e
r
ify
.
c: optimum: han
d
l
e
i
np
u
t evaluating
to nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
verify
.
c: extract evalue
_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
laege
verify
.
c: extrac
t
co
m
mon
c
o
de for verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ange_pr
o
pagation
:
add monot
o
nic
i
ty
t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaeg
e
barvi
n
ok_
m
aximize: optionally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
Ad
d
s
ome suppor
t
fo
r
dealing
with ev
a
lues
t
h
a
t re
p
r
ese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
barvinok_enu
m
erate:
s
upport
u
se
o
f
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
imple
m
ent Berno
u
lli_
s
u
m as conversi
o
n
f
rom
u
n
weig
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Bernoulli_sum_eval
u
e: expl
o
it intege
r
bo
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep trac
k
of nu
m
ber of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protect shared
eval
u
e f
r
om m
o
dificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli sum
s
based exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
ba
r
vino
k
_count_with_options: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ull
i
_
s
um
_
e
value: optio
n
all
y
h
an
d
l
e
fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolaege
lattice_point
.
h: expor
t
fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumera
t
e_w
i
th_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ul
l
i
_sum_
e
value: handle
e
qual
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_evalue: cut off some r
e
dund
a
n
t part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
aeg
e
Bernoulli_
s
um_eval
u
e: make sure
no empty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoull
i
_sum_evalue: remove
redunda
n
t
c
onstrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
bernoull
i
.
c:
m
inor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Berno
u
ll
i
_sum: handle cont
e
xt constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
eg
e
Bernoulli_sum_evalue: make sure
enough
memory
is
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
f
or_each
_
lower_upper_bound: add another
ca
l
lbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
verify
.
c:
adjust
default ran
g
e to
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summate_over_domai
n
:
o
nly cons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
param_util
.
c
: export Param_Vertex_Set_F
a
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Para
m
_
P
oly
h
e
d
r
on_Facet:
p
ass facet defini
n
g
c
o
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
gen
f
un
.
cc: parallel_polytopes:
d
o
n
't b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_split_domai
n
s_in
t
o_ortha
n
ts: don't reduce ev
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalu
e
_re
a
d: only allow terms
to cross new
l
ines
i
n
sid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
alue_r
e
ad: only a
c
cept implici
t
multiplicatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
evalu
e
_rea
d
: accept constraints
c
onta
i
ning "'-
'
sp
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_berns
t
e
i
n_coef
f
i
c
ie
n
ts:
e
nsu
r
e result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
bernstein
:
pie
c
ewise_
l
st
:
correctly print
a
n
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
remove_all_equalit
i
es: keep removing p
a
ra
m
eter equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
u
p
da
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent
u
se of K
e
vi
n
's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolae
g
e
d
o
c: up
d
ate now
published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
fo
r
_each_lower_uppe
r
_bou
n
d: allow
a
bsen
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
R
e
vert "eadd_partitions: try to comb
i
ne multiple do
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
e
r
doola
e
ge
evalue_rea
d
_
p
artition:
p
ut parti
t
ions back i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
er
d
oolaeg
e
evalue
:
reduce
_
evalue:
ad
d
note on
s
ome missed opportunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
bernstein
.
cc: handle
input w
i
th uni
o
ns + rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
maximize
.
cc: de
a
l
with
u
nions in input during verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
e
v
alue_sub
s
titute:
p
r
o
perly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
o
laege
e
v
a
lue
.
c
:
clea
n
up
e
mul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
aege
eva
l
ue_read: c
o
rrectly read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_r
e
ad: a
c
cept top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Ve
r
doolaege
e
v
alue_backsubstit
u
te: add required modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
eva
l
ue
.
c: *
_
partitions: simplify
c
onstr
a
i
n
ts b
e
for
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven
V
erdool
a
ege
d
oc: more sp
e
cif
i
c information on buggy cddlib v
e
rsio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolaege
configure
.
in:
require cddlib 0
.
9
4
e by testing fo
r
bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
configure
.
in:
o
nly
com
p
i
l
e
o
c
c
if code_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
bar
v
inok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add so
m
e
tests for imple
m
entation of
p
rojectio
n
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc
:
document n
e
w
options
a
nd new appli
c
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
A
U
THORS: update support
i
n
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
un
.
cc: short_rat::pr
i
nt:
cor
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Export series as barvinok
_
enumerate_s
e
ries
a
nd
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
move_p
a
r
a
meter_equ
a
l
i
t
i
es: s
t
op
"removing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
ae
g
e
s
eries: lea
v
e freeing of P argument to
c
all
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
doc:
d
ocument im
p
leme
n
tat
i
on of the proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barv
i
nok_enumer
a
te_e_series implemen
t
i
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfu
n
.
cc: fix and
document parallel po
l
yto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
Only c
o
mpi
l
e zsolve if gcc
3
.
4 or later is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Move GiNaC-
i
ndepen
d
ent
par
t
of
l
i
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
next