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 Verd
o
olaege
latti
c
e
_point
.
h:
make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
a
ttice_p
o
i
nt
.
cc: ad
d
ceili
n
g f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
util
.
c
: internalize ugly b
v
_
c
ei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
tti
c
e_
p
oint
.
c
c: multi_monom/lattice
_
points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc: clean u
p
"
e
x
p
o
nential
substituti
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
test_
b
o
und
.
c
c
:
avoid loss of pre
c
i
s
i
o
n
caused by con
v
er
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
barv
i
nok_bound: opti
o
nally take
m
aximal size of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolaege
barvin
o
k_bound:
a
dd
-
-iterat
e
options for e
v
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c: expo
r
t fun
c
ti
o
ns fo
r
se
t
ting and cl
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c: eval
u
e_optimum: allow computation of
o
ptim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bern
s
t
e
i
n
.
cc: evalu
e
2ex: don't assume all
p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bound
.
cc:
fix call t
o
evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
e
{
add,m
u
l}_period
i
cs: plug memo
r
y le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
ev
a
lue_bernstein_coe
f
ficients: hand
l
e
problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoolaege
lattice_w
i
dth
.
c
: s
k
ip directions
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add
cdd94e-test
t
o dis
t
r
i
buti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
omega/occ: o
p
tionally
u
se
p
arker for
c
ompu
t
ing cardina
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaeg
e
norma
l
ization
.
c
:
skew_to_positive_orth
a
n
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
omeg
a
/conve
r
t
.
cc: relati
o
n2
D
omain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoolaege
occ: add dump for
d
ump
i
n
g in
ba
r
vinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
barvinok_e
n
umerate_e: optionally us
e
par
k
e
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
standard_constr
a
ints: take constraints
i
nstea
d
o
f po
l
y
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoo
l
aeg
e
nor
m
a
lization
.
c:
ex
t
r
a
ct standard
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
p
ar
k
er/count_soluti
o
ns
.
cc: fix treatment of
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
ae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
u
ler
.
c
c
:
eva
l
u
e
_
derive:
h
andl
e
con
s
tan
t
polyn
o
mials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add so
m
e test sets from
cases 2004 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
rename bar
v
inok_max
i
mize t
o
barv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
olaege
add a
t
e
st for test_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue
_
rang
e
_
p
ropagation: remove red
u
ndant pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_boun
d
: record nu
m
ber of polynomials a
s
"
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
ege
test_
b
ound: convert quas
i
polyn
o
m
i
als to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare
po
l
y
nomia
l
bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
ve
r
ify
.
c:
o
p
timum:
h
a
ndle input evalu
a
tin
g
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doolaege
verify
.
c
: extrac
t
e
v
alue_optimum from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
v
e
r
ify
.
c:
e
x
tract co
m
mon code
f
or
v
erifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
val
u
e_ra
n
ge_
p
ropagation: add m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_
m
aximize
:
optionally use (bas
i
c) r
a
n
ge
pro
p
agat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some supp
o
rt for d
e
aling
with e
v
alues that repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaeg
e
ba
r
v
i
nok_enume
r
ate: sup
p
o
r
t
use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement
B
ernoulli_
s
um
as co
n
version from unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue: exploit integer bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
ae
g
e
keep
t
rack of
n
umber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c: pro
t
ect sha
r
ed eval
u
e
f
rom modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
t
est Bern
o
ulli sums based exac
t
en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
barvinok_count_with_options: compute (exact)
Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernou
l
l
i
_sum_e
v
alue: optio
n
ally handle
f
r
a
c
tiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaeg
e
lattice
_
point
.
h
: export fract
i
on
a
l_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
barvinok_enumerate_w
i
t
h
_
o
p
tions: compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Be
r
noull
i
_sum_evalue
:
handle equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Ber
n
oulli
_
sum_e
v
alue:
cut off some r
e
d
u
ndant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oull
i
_sum_evalue
:
make sure n
o
em
p
ty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Ber
n
o
ulli_sum_
e
v
al
u
e
:
re
m
ove redundant c
o
ns
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: min
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bern
o
ulli_sum: handle context c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum
_
eval
u
e: make
s
ure
e
nough memory
i
s a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
o
laege
for
_
e
a
ch_lower_uppe
r
_b
o
und
:
add another
callbac
k
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaeg
e
ve
r
ify
.
c
:
adjust default ra
n
ge to contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
l
a
ege
eu
l
er
.
cc: summate_over_
d
omain: only
c
o
nside
r
ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
ge
par
a
m_util
.
c: ex
p
ort Par
a
m_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Param_Poly
h
e
d
ron_Facet
:
pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
olaege
genfun
.
cc: p
a
r
allel_po
l
ytopes
:
don't
bothe
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
s
plit_domain
s
_into_orthants
:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
eval
u
e_re
a
d: only allow term
s
to cro
s
s newlines
i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
evalue
_
r
e
ad: only accept
implicit multip
l
icati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_read: accep
t
constraints containing "
'
-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_b
e
rnstei
n
_coefficients: ensure
result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verd
o
olae
g
e
b
e
r
nstein: pie
c
ewi
s
e_l
s
t: correctly
p
rint
a
nd evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
remove_all
_
equalit
i
es:
k
eep
r
e
moving pa
r
ameter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Ve
r
dool
a
ege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rdoo
l
aege
doc: cons
i
stent use
o
f Kevin
'
s initial
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
d
o
c: updat
e
now pub
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
lae
g
e
for_each_lower_upper_bound: all
o
w
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
Revert "ea
d
d_partit
i
ons: try t
o
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
evalue_rea
d
_partitio
n
:
put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ver
d
oolaege
evalue: reduce_eva
l
ue: add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
o
olaege
bernst
e
in
.
cc:
handle i
n
pu
t
with unio
n
s + relati
o
n v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximiz
e
.
c
c: deal with u
n
ions in
inpu
t
d
uring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
evalue_
s
ubstitute
:
properly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: c
l
e
an up emul a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
e
g
e
evalue
_
read: correctly read v
a
riab
l
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Ve
r
dool
a
ege
evalue_
r
e
ad: accept top le
v
el "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
ev
a
l
u
e
_backsubstitu
t
e:
add req
u
ired mod
u
lo constrai
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdoo
l
aege
ev
a
l
ue
.
c
: *_partitions: simplif
y
constr
a
ints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc:
m
ore s
p
e
cific information on buggy cddlib
version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oola
e
ge
configure
.
in: require cd
d
lib 0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
ol
a
ege
configure
.
in: only com
p
ile o
c
c if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add some tests for implementat
i
on
of proje
c
t
ion theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc: documen
t
new op
t
ions and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
A
U
THORS:
update su
p
po
r
t
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
cc: short_rat::print:
c
orrectly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Export
series as barvino
k
_
e
n
umerate
_
series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
r
e
move_parameter
_
equalities: s
t
op "removing
"
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ver
d
oolaege
seri
e
s: leave freein
g
o
f
P argument
to
calling funct
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
ge
doc: document implementation o
f
the projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
barvinok_enume
r
ate_e_seri
e
s
i
mple
m
enting the proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
next