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
S
v
en Verdoolae
g
e
test
_
bo
u
n
d
.
cc
:
avoid loss of p
r
ecision cause
d
by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
e
rdo
o
l
aege
barvinok
_
bound: optionally ta
k
e maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdool
a
ege
bar
v
inok_
b
ound: add --ite
r
a
te options f
o
r evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolae
g
e
verify
.
c: expor
t
functions f
o
r settin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
ve
r
if
y
.
c: eva
l
ue_optimum: allow computation of o
p
timu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
bernst
e
in
.
cc: ev
a
lue2ex
:
don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c: f
i
x call
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
laege
e{
a
dd,mul}_perio
d
ics
:
plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e
v
alue_bernste
i
n_coeffici
e
nts: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
u
p
d
a
t
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Ve
r
do
o
laege
lattice_width
.
c: skip dir
e
ctions th
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am
:
ad
d
cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoolaege
o
mega/occ:
o
pt
i
onally
u
se pa
r
ker
for computing
c
ardina
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdool
a
ege
n
ormalization
.
c
: skew_
t
o_
p
ositive_or
t
hant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
olaege
omega/convert
.
c
c: rel
a
tion
2
Domain: onl
y
collect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ:
add dump for dump
i
n
g
in barvinok_e
n
umerate_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aege
barvinok_enu
m
erate_
e
: opt
i
onally us
e
parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_con
s
traints: take constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmalization
.
c: extract standard_
c
o
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
l
a
ege
par
k
er/count_soluti
o
ns
.
cc
:
fix treatme
n
t of ex
i
st
e
nt
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
c
o
m
pile p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
aege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eule
r
.
cc: evalue_derive: handle const
a
n
t
polyn
o
m
i
al
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add some tes
t
set
s
f
r
om cases 20
0
4 and cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
rename barvinok_maximiz
e
to barvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
a
ege
add
a test for test_
b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
e
value_
r
ange_propa
g
ati
o
n: remove redu
n
d
a
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
test_boun
d
:
record number o
f
p
olynom
i
als
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
convert quasipolynomials
t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
test_bound:
c
ompare polynomia
l
bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c: optimu
m
: hand
l
e
input eva
l
uating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
e
ge
ver
i
fy
.
c
: extract evalue_optimum from m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c: extract c
o
mmon code for ve
r
i
fying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
ue_rang
e
_
p
r
opaga
t
ion: add
m
o
notoni
c
i
t
y
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
m
aximiz
e
:
optionall
y
us
e
(bas
i
c) ran
g
e prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add some s
u
p
p
ort
for
d
eali
n
g with evalues that
r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
b
a
rvinok_enumerate
:
suppo
r
t
u
se of Euler
-
M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
m
p
lem
e
nt Berno
u
lli_sum
a
s conve
r
s
ion
f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oo
l
aege
Bernou
l
li_
s
um
_
evalue
:
expl
o
it in
t
eger b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
keep track of numb
e
r o
f
B
ernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
be
r
noulli
.
c:
p
rotect shared evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
t
e
st Bernoulli sum
s
b
ased
e
xact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
barvinok_c
o
un
t
_with_op
t
ions: compu
t
e
(
exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
Bernoulli_sum_evalue
:
optionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
lattice_poin
t
.
h: export fractional_part with C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barv
i
nok_enumera
t
e_with_options: comput
e
(
e
xact) Be
r
nou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaeg
e
Bernoulli_sum
_
eval
u
e:
h
andle e
q
ual
i
tie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
B
e
rnoulli_su
m
_eva
l
ue
:
cut
o
ff some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
e
r
n
o
u
lli_sum_evalue: mak
e
sure no em
p
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Be
r
noulli_sum_eval
u
e: remov
e
redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
b
e
rnoulli
.
c:
minor refactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: handle contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
l
a
ege
Bernoulli_sum_evalue: make sure eno
u
gh memo
r
y is a
l
loc
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
f
o
r_each_lower_upper_bou
n
d: add anoth
e
r
callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
verify
.
c: adjust default ra
n
ge to co
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
cc: summate_over_domain: only
c
on
s
ider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
par
a
m
_
util
.
c:
export Para
m
_Ver
t
ex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Param_Polyhedr
o
n_Facet: pas
s
facet defining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
genfun
.
cc: parallel_polytopes:
don't
b
other
han
d
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
e
v
alue_split
_
d
om
a
ins_into_orthan
t
s: don't reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ev
a
lue_re
a
d:
only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e_rea
d
:
onl
y
accept im
p
licit multipl
i
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eval
u
e
_
read: accept constraints c
o
ntai
n
ing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bern
s
te
i
n_coeff
i
c
ient
s
:
ensure resu
l
t
p
a
rtition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolae
g
e
bernstei
n
: piecewise_lst
:
correct
l
y print a
n
d
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
remov
e
_all_
e
qualities: keep remo
v
i
ng
p
aramet
e
r equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consiste
n
t
u
se of Kev
i
n's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: update now pu
b
lis
h
e
d p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
laege
for_ea
c
h_l
o
wer_upper_bou
n
d: all
o
w absence
o
f low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
Revert "eadd_partiti
o
ns: try to
c
ombine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
oolaeg
e
evalue_
r
ea
d
_
p
artition: put pa
r
titions
ba
c
k in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdool
a
ege
evalue: re
d
uce_evalu
e
: a
d
d
note on some
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdo
o
laege
ber
n
stein
.
cc: handle input with union
s
+
relation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
maximiz
e
.
cc: deal with unions in i
n
put d
u
ri
n
g verification
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_substitute
:
proper
l
y
h
andle relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
alu
e
.
c: clean up e
m
u
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
e
v
alue_re
a
d
:
c
orrectly read variab
l
e
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaeg
e
eva
l
ue_read: accept
top
level "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update pol
y
li
b
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoola
e
ge
evalue_bac
k
s
u
b
s
titut
e
:
add re
q
u
ir
e
d
modul
o
co
n
str
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Ver
d
oolaeg
e
e
v
alue
.
c
: *_pa
r
titions: s
i
m
plify constr
a
ints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Verdoolae
g
e
doc: m
o
re s
p
ecific
inform
a
tion on
b
u
ggy cd
d
lib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolaege
configure
.
in
:
r
e
qui
r
e cdd
l
ib 0
.
94e by te
s
ting for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
co
n
fi
g
u
re
.
in: only c
o
mpile occ i
f
code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
rdoolaeg
e
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoo
l
aege
add some tests for implemen
t
ation o
f
projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
rd
o
o
l
aege
doc: d
o
cument new
o
ptions and new appli
c
ations
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n V
e
rdoolaege
AUTHORS: update support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
cc:
short_rat::pri
n
t
:
correctl
y
prin
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Ex
p
ort
s
er
i
es a
s
b
arv
i
n
o
k
_
enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
r
emove_parame
t
er_equalities: stop "removing" e
q
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
ries: leave fr
e
ein
g
of
P
argument to calling
f
unction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
d
oc: documen
t
implementation
o
f the
p
r
ojection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
add bar
v
inok_
e
numerate_e_ser
i
es
i
mple
m
enting the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
g
e
nfun
.
cc:
f
ix and d
o
cument parallel poly
t
o
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only
compile zsolve if gcc 3
.
4
or later
i
s availa
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
M
o
v
e GiNaC-in
d
epen
d
ent pa
r
t of libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
pol
y
lib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc: how to count
the number of elements
i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
next