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 V
e
rdool
a
ege
test_bound
.
cc: avoid
l
oss o
f
precision caused by c
o
nversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
arvinok_bound:
o
ptiona
l
l
y ta
k
e maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdo
o
laege
b
ar
v
in
o
k
_
bound: add --iterat
e
options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c
:
export functions for setting
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
ve
r
ify
.
c: evalue_optimu
m
:
a
l
lo
w
c
o
mpu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bernstein
.
c
c
: evalue2ex: don't ass
u
me a
l
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoo
l
aege
bound
.
cc:
fix call to
e
value_c
o
nver
t
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e{add,mul}_pe
r
iodics: p
l
u
g memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
e
v
alue_
b
ernstein
_
coef
f
ici
e
nts:
h
andle problems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
olaeg
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lattice_widt
h
.
c: skip directions that a
r
e iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaeg
e
Makefi
l
e
.
am: a
d
d cdd94
e
-test to
d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: optionally
u
s
e
p
a
r
ker
f
o
r
comp
u
ting cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ver
d
oolaeg
e
n
o
r
m
alization
.
c
: skew_to
_
positive
_
o
rthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolae
g
e
omega/convert
.
cc: relation2Domain:
o
n
ly co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
erdoolaege
o
cc: add dum
p
for dumping in barvinok_enumerat
e
_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
bar
v
inok
_
e
numerate_e: optionally use
p
a
r
ker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
standard
_
cons
t
raints: take
constra
i
nt
s
instead of polyh
e
dr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
normalizatio
n
.
c: extr
a
ct stan
d
ard_c
o
nstraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Ve
r
doolaege
p
a
rker/co
u
nt_so
l
utions
.
cc
:
fix tr
e
atment of exi
s
t
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc:
e
value
_
derive: handl
e
constant poly
n
om
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test se
t
s
from cases 2004 and cc
2
0
0
5
pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok
_
m
aximiz
e
to
b
a
rvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add a test for test_
b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
e
val
u
e_range_propagation:
remov
e
redundant
p
o
ly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
t
e
st_bo
u
nd: re
c
ord number o
f
polynomia
l
s a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_boun
d
: conver
t
q
u
a
s
ipol
y
nomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
tes
t
_bound:
compare po
l
ynomial bound algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
laeg
e
v
erify
.
c: optim
u
m: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
verify
.
c: extract evalue_optimu
m
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verif
y
.
c
: extra
c
t c
o
mmon co
d
e
fo
r
verifying o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
evalue_ra
n
ge_pro
p
agation: add m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
ge
barvin
o
k_
m
aximize
:
optional
l
y use (bas
i
c) ra
n
g
e
pr
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
g
e
A
dd some suppo
r
t for deali
n
g w
i
th eval
u
es
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok
_
enumer
a
te: s
u
pport use of Eule
r
-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
a
ege
implement Bernoulli
_
sum
as conve
r
s
ion fr
o
m unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
ernoulli_sum_
e
value: exploit integer b
o
un
d
s to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
keep track of
n
umber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ber
n
oull
i
.
c: protect
shared
e
value from modi
f
ic
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
tes
t
Bernoul
l
i
sums
base
d
exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laeg
e
bar
v
i
n
ok_
c
ount_with_optio
n
s: compu
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
Ber
n
o
u
l
li_
s
um_eval
u
e:
o
ptionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
l
attice_point
.
h: expor
t
f
ractional_part with
C lin
k
ag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enu
m
erate_
w
i
t
h_options: compute (
e
x
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
B
e
r
noul
l
i_sum_evalue: han
d
l
e e
q
u
alit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
B
ernoulli_sum_evalue: cut
off some re
d
undant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bern
o
ulli_sum_evalue: make
sure
no empty part
i
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Bernoulli_sum_
e
value: remove redund
a
nt constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c
:
minor refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
Bernoulli_sum
:
handle context
c
onst
r
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
for_each_lower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c
:
adjust default ran
g
e to c
o
ntext
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
euler
.
cc: summate_o
v
er_doma
i
n
: on
l
y co
n
side
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
p
aram_util
.
c: export
Pa
r
a
m
_
V
ert
e
x
_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Para
m
_P
o
lyhedron_Fac
e
t: pas
s
facet defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
gen
f
un
.
cc: paralle
l
_po
l
yt
o
p
e
s: don't bother
han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_in
t
o_orthant
s
: don't
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
a
eg
e
e
v
a
lue_read: only
allo
w
terms to cros
s
n
e
wlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue
_
read: o
n
ly accept
im
p
l
i
cit multipl
i
cation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
evalue_read: ac
c
ept
c
on
s
traints co
n
ta
i
ning "
'
-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolae
g
e
eval
u
e_bernstein_coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
bernstei
n
: piecewise_lst: c
o
rre
c
t
l
y
print
a
nd evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
lae
g
e
re
m
ove_all_equali
t
ies:
k
eep re
m
ovi
n
g param
e
ter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
up
d
ate
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
l
a
e
g
e
doc: consisten
t
use o
f
Kevin's i
n
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
u
pda
t
e now publis
h
ed
p
apers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for_e
a
ch_lower_u
p
p
e
r_bou
n
d
: allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolae
g
e
Revert "eadd_partiti
o
n
s: tr
y
to
combine mul
t
i
p
le d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
evalue_read_par
t
i
t
ion: put pa
r
ti
t
ions back in t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoo
l
aege
evalue: reduc
e
_eva
l
ue: add note on some missed
opportunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
bernstei
n
.
c
c: handle input with unions +
r
e
l
ation viola
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
olaege
maximize
.
cc:
deal with unions
i
n
i
nput during verifi
c
atio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue
_
substitut
e
: p
r
operly han
d
le relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
aege
evalue
.
c: clean up emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: co
r
r
e
ctly read
v
a
ria
b
le name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
e
v
alue
_
r
ead: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdo
o
laege
upd
a
te polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdo
o
laege
evalue_backsubstitute: ad
d
requi
r
ed modul
o
c
o
n
str
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erd
o
ol
a
ege
e
value
.
c:
*_partitions: simp
l
ify con
s
traints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdoolaege
doc: more specific information
o
n buggy
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
confi
g
ure
.
in: require cddlib 0
.
9
4
e
b
y testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
e
r
do
o
laege
c
onfigure
.
in:
only c
o
mpil
e
occ
if code_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add som
e
tests
for
i
mp
l
e
men
t
atio
n
of
p
rojection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
d
oc
:
document new options and new applicati
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: upda
t
e
support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc
:
s
hort_rat:
:
print:
c
orrectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoo
l
a
ege
Export s
e
ries as barvinok_enumerate_seri
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
remo
v
e_p
a
ramete
r
_eq
u
a
li
t
ies: stop "r
e
moving" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
r
ies: leave fre
e
ing of
P
argumen
t
to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
doc:
document imp
l
ementat
i
on of the p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
add barvinok_enumerat
e
_e_se
r
ies implementing the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
genf
u
n
.
cc: fix and documen
t
par
a
l
l
el polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
Mov
e
GiNaC
-
i
ndependent part of library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
po
l
ylib
:
u
p
dat
e
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Ver
d
oolaeg
e
doc: how to c
o
unt the number o
f
elemen
t
s in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
ola
e
ge
d
o
c
/
i
m
plemen
t
ation
.
tex: avoid mult
i
p
l
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice_w
i
dth
.
c: try
vertices
of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
next