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.h: make sure correct evalues are used
2008-04-24
Sven Verdoola
e
ge
lattice_po
i
nt
.
h: make sure correct eval
u
es are u
s
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
latt
i
c
e
_point
.
cc
:
add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
u
til
.
c: inter
n
alize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
r
do
o
laege
la
t
tice_point
.
cc:
m
ulti_mono
m
/
lat
t
ice_
p
o
i
nt
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc:
clean up "exponential su
b
stitu
t
io
n
" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoo
l
aege
test_bou
n
d
.
cc
:
avoid loss of precision ca
u
sed
b
y
c
onver
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barvinok_bound: o
p
tio
n
ally take ma
x
imal
size
o
f
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barv
i
n
ok_bound: add --itera
t
e
options
f
or eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verif
y
.
c: ex
p
ort f
u
n
c
tions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolae
g
e
verify
.
c: ev
a
lue_optimum: allow com
p
utation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
olaege
bernstein
.
cc
:
evalue2ex: don't assu
m
e
a
ll pe
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bound
.
cc: f
i
x
call to eva
l
ue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
g
e
e{
a
dd,mul}_periodics: plu
g
me
m
o
r
y
l
e
ak
s
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoo
l
a
ege
ev
a
lue
_
bernstein_coefficien
t
s: handle
pr
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
ol
a
ege
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
e
g
e
latt
i
ce_w
i
d
t
h
.
c:
s
kip directi
o
n
s that are identica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Ver
d
oolaege
Makefile
.
a
m: add
cdd94e-test
to distrib
u
tio
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
do
o
la
e
g
e
ome
g
a/oc
c
: op
t
ionally use parker for
c
om
p
uting
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
normalization
.
c: skew_to_positi
v
e_orthant: p
r
op
e
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
om
e
g
a/c
o
nvert
.
c
c: rel
a
tion2
D
omain: only co
l
lect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
doolaege
occ: add dump
f
or dumping in barvi
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
b
a
rv
i
nok_enume
r
ate_e: optio
n
ally use parker's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
standard_constraints: tak
e
c
o
nstraints instead of poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
er
d
oolae
g
e
no
r
malization
.
c
:
extract standard_const
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/
c
ou
n
t_solutions
.
cc:
f
i
x
treatment of existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
d
oolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
ae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
euler
.
cc
:
evalue_
d
eri
v
e
: han
d
le co
n
stant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add
s
ome tes
t
sets f
r
om cas
e
s 2004 and cc
2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
r
e
name barv
i
nok_maximize to barvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
add a t
e
st
f
o
r
t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue
_
range_propa
g
ation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test
_
bound: record numb
e
r of polynomials
as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
test_b
o
u
nd: c
o
nve
r
t quasi
p
olynomials
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olae
g
e
test_bo
u
nd: compare p
o
lynomial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
verify
.
c: optimum: handle i
n
put
e
va
l
uating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
ri
f
y
.
c: extract eva
l
ue_optimum from ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: extrac
t
common c
o
d
e for v
e
rify
i
ng
o
per
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_range_pro
p
agati
o
n
:
add mon
o
tonicity tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
barvinok
_
maximize: opt
i
onally use (
b
asic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
s
o
me s
u
p
p
ort for deali
n
g with
e
values
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
bar
v
inok_enumera
t
e: suppor
t
use of Euler-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
i
m
pl
e
m
e
nt Bern
o
u
lli_sum as conversi
o
n from unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
ae
g
e
Bern
o
ulli_sum_eva
l
ue: exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep tra
c
k
of
n
um
b
er of
Be
r
n
o
ulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bern
o
u
lli
.
c
: protect shared
e
v
alue
fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test Bernoulli sums
ba
s
ed exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_cou
n
t_with_opt
i
ons: com
p
ute (exa
c
t) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bern
o
u
l
l
i
_
sum_evalue: o
p
tio
n
ally handle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice_p
o
int
.
h
: export fra
c
tiona
l
_par
t
with
C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
barvinok_enume
r
ate_w
i
th_opt
i
ons: comp
u
te (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
rnoulli_
s
um_evalue
:
ha
n
d
l
e equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e:
cut off some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli_
s
um_eval
u
e: make su
r
e no
e
mpty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalue
:
remo
v
e redundant
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
bernoulli
.
c: mi
n
or re
f
act
o
r
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum: handle context
co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalu
e
: make su
r
e
enough memory
i
s
alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
for_each_lowe
r
_
upper
_
b
ou
n
d: add an
o
the
r
callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ve
r
ify
.
c:
a
djust default range t
o
co
n
text if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: s
u
mmate_over_domain:
o
nly consi
d
er
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
ol
a
ege
param_util
.
c:
export
Par
a
m_Ver
t
e
x
_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Param_Polyhedron
_
Facet:
pass
f
acet defining
c
o
ns
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
erdoolaege
genfun
.
cc: para
l
l
el_polytopes: don't bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_split_dom
a
in
s
_into_orthan
t
s:
don't
r
educ
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_read: only allow terms to c
r
oss newlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad
:
only accept implicit multi
p
lic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_read: a
c
cept constraints
c
ontain
i
ng "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_bern
s
t
ein_coeffi
c
i
e
nts:
e
nsu
r
e res
u
lt parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernste
i
n: piecewise_lst: co
r
rectly p
r
int and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
remove_all_equalit
i
es: kee
p
r
emo
v
ing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc:
c
onsistent
use
o
f Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
doc: upda
t
e no
w
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
for_each_lower_upper_
b
ound: allow absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doo
l
aege
Revert "eadd_pa
r
t
ition
s
:
try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
ola
e
ge
evalue_read_partit
i
on:
p
ut partitions back
i
n th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolaege
evalue: reduc
e
_evalue
:
add note
on some missed
o
pportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
lae
g
e
bern
s
tein
.
cc
:
h
a
nd
l
e input
with unions + relation
violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdoolaege
maximize
.
cc: deal with u
n
ions in input during
veri
f
icati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
ev
a
lue_subst
i
tute: pro
p
erly ha
n
dle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
alue
.
c: clean
u
p
emul a
n
d e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
e
v
a
l
ue_read: correctly rea
d
variab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_read: acc
e
pt to
p
le
v
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdo
o
laege
eva
l
ue_ba
c
ksubstitute:
a
d
d
required
modul
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n
V
erdoo
l
aege
evalue
.
c: *_p
a
rtitions
:
simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
V
erd
o
olaege
doc: m
o
re speci
f
ic information
on buggy
cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
on
f
i
g
ure
.
in: require c
d
d
lib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Ve
r
d
o
olaege
co
n
f
igur
e
.
in:
o
nly compile occ if
c
o
de_gen
librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
some tests for impl
e
mentation of
projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doo
l
a
ege
doc: document
new op
t
ions
a
nd new applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
AUT
H
ORS
:
update support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc: short_rat::print:
correctly
p
rint polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
Export series as barvinok_en
u
me
r
a
t
e_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
remove_paramete
r
_equal
i
t
i
e
s: stop "rem
o
ving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdo
o
la
e
g
e
s
eries: leave freeing of P
argument to calling fun
c
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
a
ege
doc: document implementation
of the projec
t
ion
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add barvinok_enumerat
e
_e_series im
p
lementing the projection
.
.
.
commit
|
commitdiff
|
tree
next