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: add ceiling function
2008-04-24
Sven Verdoolaege
lattice
_
poin
t
.
cc:
add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolae
g
e
util
.
c
: in
t
ernalize ugly bv_ce
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc:
m
ulti
_
mono
m
/latti
c
e
_
points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olae
g
e
doc: cle
a
n up "exponenti
a
l subs
t
it
u
tion
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laege
t
e
st_bound
.
c
c
: av
o
id loss
of pr
e
cision ca
u
sed by co
n
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolae
g
e
barvinok_bound: optionally take m
a
ximal size of
d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoo
l
aege
barvi
n
o
k_bound: add --ite
r
a
te o
p
tions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaeg
e
verify
.
c: ex
p
ort
f
unctions
for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
dool
a
ege
verify
.
c: e
v
a
l
ue_op
t
i
m
um: allow computatio
n
o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
olaege
bernstein
.
cc: eva
l
ue2ex: do
n
't assume all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
b
o
und
.
cc: fix
c
all
to evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{a
d
d,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
e
v
al
u
e_bernstein_c
o
effic
i
ents: h
a
nd
l
e proble
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoo
l
aege
lattice_
w
idth
.
c: skip
directions th
a
t
are ide
n
t
i
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
Makef
i
le
.
a
m
: ad
d
cdd94e-test to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
ae
g
e
omega/occ: optionally u
s
e p
a
rk
e
r
fo
r
comp
u
ting ca
r
dina
l
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
nor
m
alization
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: relation2Do
m
ain:
o
nl
y
col
l
ect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
cc:
add dump for dump
i
ng i
n
barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
b
a
rvinok_enume
r
ate_e: op
t
ionally
use park
e
r's me
t
h
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
st
a
ndard_constraints
:
take con
s
t
raints
i
n
st
e
a
d
o
f
po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
ege
no
r
maliza
t
ion
.
c: extract s
t
andard_
c
onstraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parker/count_
s
olu
t
i
on
s
.
cc: fix
t
reatme
n
t of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc: evalue
_
d
e
r
i
ve:
h
and
l
e constant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
olaege
add som
e
t
e
st sets
f
rom c
a
se
s
2
0
0
4 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
rename barvi
n
o
k
_maximize to ba
r
vinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
add a test f
o
r
tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
evalue_range_pro
p
agati
o
n:
r
emove
r
edundan
t
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
test_bo
u
nd: re
c
o
rd nu
m
ber
o
f polynomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
test_boun
d
: convert quas
i
polynomials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
test_bo
u
nd
:
com
p
are polynomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verif
y
.
c: opti
m
um: handle input ev
a
luating to neg
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ve
r
ify
.
c: extra
c
t e
v
a
l
u
e
_optimum from m
a
xim
i
ze
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
ver
i
fy
.
c
:
e
x
tr
a
ct
comm
o
n code
f
o
r
ve
r
ify
i
ng operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_r
a
nge_propagation: ad
d
monotonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_maximize: op
t
ionall
y
u
se
(ba
s
ic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Add some
suppor
t
for dealing
w
i
th
e
v
a
lu
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
b
arvin
o
k_
e
numerate: support use of Eul
e
r
-Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
implement B
e
rnoulli_sum
as conversion fro
m
u
n
weight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalu
e
:
e
x
ploit inte
g
er bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
keep track of number
of
Bern
o
ull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doo
l
aege
bernoulli
.
c
:
p
r
o
t
ect
s
h
ar
e
d
evalue from mo
d
ific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test Bernoulli sums base
d
exact en
u
m
erati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
barvinok_c
o
un
t
_
w
ith_options: compute (exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Bernoul
l
i_
s
um_eva
l
ue: optio
n
a
lly handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
lattice_p
o
int
.
h:
export
fractional_p
a
r
t
with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
barvinok_
e
nume
r
a
t
e_with_opt
i
ons: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoola
e
ge
Bernoulli
_
su
m
_
evalue: handle e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernou
l
li_su
m
_eva
l
u
e: cut off som
e
r
edundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ull
i
_sum_evalue: make sure n
o
empty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
e
r
n
o
ulli
_
sum_e
v
alue: remove redund
a
n
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
b
e
r
n
o
u
l
li
.
c
:
minor
r
efactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum: hand
l
e context constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
Ber
n
oulli_sum_
e
va
l
ue:
m
ak
e
sure en
o
u
gh m
e
mor
y
is allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
o
r_
e
ach_lower_u
p
p
e
r
_
b
ound: add ano
t
her callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
veri
f
y
.
c: adj
u
st defau
l
t
range to contex
t
if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: su
m
mate_o
v
e
r
_domain
:
on
l
y consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
p
ara
m
_util
.
c:
export Param_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
ege
P
a
ram
_
Polyhedron_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
g
e
genf
u
n
.
cc:
p
a
r
allel_pol
y
t
o
pes
:
don't
b
o
t
her ha
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doo
l
aege
evalue_spli
t
_d
o
mains_i
n
to
_
orthants:
don't redu
c
e eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalu
e
_read: only allow terms to c
r
oss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
evalue
_
read: only
a
ccept implicit mul
t
ipl
i
catio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
l
ue_read: accept
c
o
n
straints containing "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_bernstein_coefficient
s
: ens
u
r
e r
e
sult p
a
rtitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaege
berns
t
e
i
n: piecewise_lst: corr
e
ct
l
y pri
n
t
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
remove
_
a
ll_equalities: keep removing para
m
eter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoolaege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdoolaege
doc: consisten
t
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
ge
doc: update
n
ow p
u
bli
s
hed pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
la
e
ge
for_
e
a
c
h_lower_upper_bound: allow absen
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "ea
d
d_parti
t
io
n
s: try to combine multi
p
le
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
evalue_read_partition: put p
a
rtitions b
a
ck in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
ge
e
v
alu
e
: redu
c
e_evalue:
add
n
ote on some miss
e
d o
p
p
o
rtunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
bernstein
.
cc: hand
l
e inp
u
t wi
t
h unions + relation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
maximize
.
cc: deal w
i
th unions in input during
verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
ae
g
e
evalu
e
_substitute: pr
o
perly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue
.
c: clean
u
p em
u
l and
e
add
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoola
e
ge
evalue_
r
ead: correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: accept t
o
p
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
update pol
y
l
ib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolae
g
e
e
v
alu
e
_b
a
cksubst
i
tute: add
required modulo
constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdool
a
ege
evalue
.
c: *_partitions: simpl
i
fy cons
t
rain
t
s
b
e
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Ve
r
doolaege
d
o
c: more spec
i
fic informat
i
on on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
l
aege
configure
.
in:
r
equire
c
d
dlib 0
.
9
4e by
testin
g
for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
i
n: only compi
l
e
occ if code_gen
l
i
brar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
o
olae
g
e
ba
r
vi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
a
dd som
e
t
e
sts
f
o
r
i
mple
m
entati
o
n of projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
doc: document new option
s
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
AUTH
O
RS: update s
u
pport informatio
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
erdo
o
laege
genfun
.
cc: sh
o
rt
_
rat::print:
correct
l
y prin
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Export series a
s
barvinok
_
en
u
m
erate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
remove_param
e
t
e
r_equalities: stop "removing" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
series: leave fr
e
eing of P argument to c
a
lli
n
g function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
do
c
: document impl
e
menta
t
i
on of
the projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add barv
i
nok_enumerate_e_ser
i
es implement
i
ng the p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoo
l
aege
genfun
.
cc: fix
and d
o
cument
p
a
r
allel polytopes
c
lass
commit
|
commitdiff
|
tree
next