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
test_bound.cc: avoid loss of precision caused by conversion from double to int
2008-04-08
Sven Verdoolaege
test_bound
.
cc: av
o
id l
o
ss
of precision caused by conver
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
barvinok_bound: optionally take
m
aximal size of d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
barvinok_bound: add --iterate options
f
o
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoo
l
aege
ver
i
fy
.
c: export func
t
ions
f
or
s
etting and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c:
evalue_op
t
imum: al
l
o
w
computation of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
b
e
r
nste
i
n
.
cc: evalue2ex
:
don't a
s
sume
a
l
l
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
ge
boun
d
.
cc: f
i
x call
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
e{add,mul
}
_periodics:
p
lug memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_c
o
e
f
f
i
cients:
h
andle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoola
e
ge
lattice_width
.
c:
s
kip directio
n
s t
h
a
t ar
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Ve
r
doola
e
ge
Makefile
.
am
:
add cdd94e-tes
t
to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
omega/occ: opti
o
nally use parker
f
or c
o
mputing
c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
n
ormali
z
ation
.
c: skew_to_
p
ositive_o
r
than
t
: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
me
g
a
/
convert
.
cc: rela
t
ion2Domain
:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verd
o
olaeg
e
o
c
c: a
d
d dum
p
for dumping i
n
barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
barvinok_enumera
t
e
_
e:
o
pti
o
nally use park
e
r's
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_con
s
traints
:
take co
n
straints i
n
stead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normali
z
ation
.
c
:
ex
t
ract
s
ta
n
d
ar
d
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ver
d
oolaege
par
k
e
r/count_s
o
l
utio
n
s
.
cc: fix tr
e
at
m
ent of
e
xistenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
e
u
ler
.
c
c: eval
u
e_der
i
v
e
: handle constant polyno
m
i
al
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
g
e
add some test sets from cases 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
ename ba
r
vinok_max
i
mize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
a te
s
t
f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doola
e
ge
evalue
_
ra
n
ge_propagation: re
m
ove
re
d
un
d
ant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
te
s
t_bound: recor
d
number of p
o
lynom
i
als as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
test_bound
:
convert q
u
a
s
ipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
test_
b
ou
n
d: c
o
mpar
e
poly
n
omi
a
l bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
v
e
rify
.
c
: optimum:
handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olaege
verify
.
c: extra
c
t evalue_opt
i
m
u
m
from max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
verify
.
c: e
x
t
r
act common code
f
o
r
v
erifyi
n
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
evalue_range_propagat
i
on
:
add mono
t
o
n
i
city
t
est
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
ge
barvinok_maximize: optionally use (basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
Add
s
o
me support fo
r
dealing
w
i
t
h eval
u
es
tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
l
aege
barvinok_enumera
t
e: support
use of
E
u
ler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
imp
l
ement B
e
rnoulli
_
sum
a
s
conversi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
o
l
aege
Bern
o
ulli_sum_evalue
:
e
x
p
loit
i
n
t
e
ger bounds
t
o redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
keep track o
f
numbe
r
of Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
berno
u
lli
.
c
:
prot
e
c
t
shared evalue from modific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
Bernoulli sums
b
ased exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
ba
r
vinok_c
o
unt_with_op
t
ions: comp
u
te (exac
t
) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue:
opt
i
ona
l
ly
h
a
ndl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
e
g
e
la
t
tic
e
_point
.
h: export fractional_par
t
wit
h
C
l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
barvin
o
k_en
u
m
erate_with_options: comput
e
(exa
c
t) Be
r
no
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernou
l
l
i_sum
_
evalue
:
h
a
ndle
e
qu
a
lit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
Ber
n
oulli_sum_eva
l
u
e: cut off some
r
e
d
undant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
o
la
e
ge
Ber
n
oulli
_
sum
_
evalue:
m
ake sure no emp
t
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_s
u
m_ev
a
lu
e
: remove red
u
ndan
t
c
o
nst
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
be
r
noulli
.
c: minor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bernoulli_sum: handle cont
e
xt const
r
a
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ull
i
_sum_evalue: make sure enough m
e
mory is
a
l
lo
c
ate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
f
o
r_eac
h
_lower_upper_bound
:
add another c
a
llb
a
c
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust
d
efault r
a
n
g
e to
context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doola
e
ge
euler
.
cc
:
summate_over
_
domain: only consi
d
er a
c
tu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ol
a
e
ge
p
a
r
a
m_
u
t
i
l
.
c: ex
p
ort
P
a
r
a
m
_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doo
l
aege
Param_Polyhe
d
ro
n
_Fa
c
et: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
ge
n
f
u
n
.
cc: parallel_polytopes: don't bot
h
er
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
evalue_split_domains_into_o
r
thants
:
don't reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
dool
a
ege
evalue_
r
ead
:
only allow
t
e
r
ms
t
o cross
new
l
ines i
n
si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
evalue_read: o
n
l
y
accept implicit
m
ultipli
c
at
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
evalue_read: accept constr
a
ints c
o
n
tainin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eval
u
e
_bernstein_coeffi
c
ients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
ber
n
stein: pie
c
ewise_
l
st: c
o
rrectly pri
n
t and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
l
aege
remove_all_
e
q
ua
l
ities: keep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolae
g
e
update po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoola
e
ge
doc: con
s
isten
t
us
e
of Kevin's in
i
ti
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: upda
t
e now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
for_each_l
o
wer_up
p
er_bound: allow absence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
Revert "eadd_partition
s
: try to com
b
ine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_r
e
ad_partitio
n
: put pa
r
t
itions b
a
ck
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue: reduce_evalue: add note on some miss
e
d oppor
t
u
n
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
ol
a
ege
bernste
i
n
.
cc: ha
n
d
l
e i
n
put with uni
o
ns + relation
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
maximize
.
cc: deal
wi
t
h
unions
i
n input
d
uring verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_substitu
t
e: properly h
a
ndle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
.
c
: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_rea
d
: co
r
r
ectly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
e
value_re
a
d: acce
p
t top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoola
e
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdool
a
ege
evalue_
b
ack
s
ubst
i
tute: add re
q
ui
r
ed modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
S
v
e
n Verdoolaege
e
v
a
lue
.
c: *_partitions: simplify constraints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
olaege
doc
:
more spe
c
ific informati
o
n
o
n bug
g
y
c
d
dlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
configure
.
in: require cddlib 0
.
9
4
e by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
confi
g
ure
.
in: only com
p
ile o
c
c if code_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
barv
i
nok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
add s
o
m
e
tests for implementation of projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: docu
m
ent new
options and n
e
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUT
H
ORS:
u
p
date support informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc: short_rat::pr
i
nt: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export
s
eri
e
s as barvi
n
ok_enume
r
ate_
s
eries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
remove_parameter_equalit
i
e
s
:
s
top "re
m
o
v
in
g
" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
series: leave free
i
ng of P a
r
gu
m
ent to c
a
lling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
ege
d
oc
:
doc
u
ment
i
mplementati
o
n of
the projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaeg
e
a
dd barvinok_enumerate_e_series implementing the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
ge
n
fun
.
cc: fix and document
parallel po
l
y
t
opes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Only compile z
s
ol
v
e if gcc 3
.
4 or
later is a
v
ailable
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
Mov
e
GiNaC-independ
e
nt part of l
i
b
rar
y
to ba
r
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
d
oolaege
doc
:
h
o
w to count
t
he num
b
er of elements in po
s
si
b
ly
.
.
.
commit
|
commitdiff
|
tree
next