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
rename summate.cc to barvinok_summate.cc
2008-05-03
Sve
n
V
erdoo
l
aege
r
e
n
ame su
m
mate
.
cc to barv
i
nok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdool
a
ege
ev
a
lue
.
c
:
re
d
uc
e
_evalue: r
e
d
uce floo
r
with con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expansi
o
n
base
d
s
umma
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
eval
u
e
.
c
:
ex
t
end eequal
t
o hand
l
e doma
i
ns an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
b
i
n
omial
.
c
:
extra
c
t binomial and
f
actorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n V
e
rdoolaege
p
o
wer
.
h:
e
x
t
ra
c
t from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
e
r
doolaege
intr
o
duce
e
value_shift
_
variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verdoola
e
g
e
latti
c
e_p
o
int
.
cc: export
r
elative_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice
_
p
oint
.
h:
m
ak
e
sure corre
c
t eva
l
ues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
l
attice_
p
oint
.
c
c
: add ceili
n
g funct
i
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: in
t
ernal
i
ze ugly bv_c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erdoolaege
la
t
ti
c
e
_point
.
cc: mu
l
ti_monom/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoola
e
ge
doc:
c
lean
up "
e
xponential su
b
sti
t
ution
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
test_
b
ound
.
c
c: avoid loss of precision caused by c
o
nversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
o
ptionally take ma
x
ima
l
size
of d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
a
rvinok_bound:
add --iterate options
f
or
evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
e
ge
veri
f
y
.
c: ex
p
ort functions
f
or setting
an
d
clea
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
verify
.
c: evalue_op
t
imum:
allow
c
o
mputati
o
n of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
r
doolaege
be
r
nstein
.
cc: evalue
2
e
x
:
don't a
s
s
ume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
a
e
ge
b
o
und
.
cc: fix
c
all to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdo
o
laege
e{add,mul}_periodics: p
l
ug
m
emory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
ev
a
lue_bernst
e
in_c
o
efficients:
h
an
d
le problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
er
d
o
ola
e
ge
l
a
ttic
e
_width
.
c: skip
di
r
ectio
n
s
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdo
o
laege
Makefile
.
am: add cdd
9
4e-test to dist
r
ib
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
om
e
g
a
/
o
c
c
: optionally use parker
f
or
c
omputi
n
g cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: s
k
ew_to_positive_orthant: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
ome
g
a/conve
r
t
.
c
c
: relation2Domain: only
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
occ: add d
u
mp fo
r
dumping in
b
arvinok
_
enum
e
rate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
a
r
v
in
o
k_enumerate_e: optionally
u
se parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
standard_co
n
straints: take c
o
nstraints inst
e
ad of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
normalization
.
c: e
x
t
ract stan
d
ard_const
r
aints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
parker
/
count_so
l
utions
.
cc
:
f
ix
t
rea
t
m
en
t
of exi
s
tentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
Ver
d
oolaege
com
p
ile parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eu
l
er
.
cc: evalue_d
e
rive: han
d
le c
o
nstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
add s
o
me test sets from case
s
2004 and cc 2
0
05 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
n
ame barvinok_
m
aximize
t
o barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add a test f
o
r
t
est_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
l
aeg
e
evalue_range_propag
a
tion
:
remove
redund
a
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
t
est_
b
ound: record number o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
g
e
test_bou
n
d: conve
r
t q
u
asipolynomials to
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: compar
e
polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: opt
i
mum: han
d
le in
p
ut evaluat
i
n
g
to n
e
ga
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
verify
.
c: extract evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
v
e
r
i
fy
.
c: ex
t
r
a
ct commo
n
code fo
r
verifying op
e
rati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
evalu
e
_range
_
p
r
opag
a
tion: add monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maxim
i
ze: op
t
ionally use (basi
c
)
range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
A
dd some sup
p
ort for dealing
with eva
l
ues that represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumer
a
te: supp
o
rt use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
implement Bernoulli_sum as co
n
ver
s
ion from unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Bernoulli_sum_evalue: e
x
ploit intege
r
bounds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
ke
e
p track of numbe
r
of
B
e
r
n
oulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
bernoulli
.
c: pro
t
ect shared evalue from modif
i
ca
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
Ber
n
oulli
s
u
ms
b
ase
d
exact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bar
v
inok_count_wit
h
_
o
ptions: comput
e
(exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Bernoull
i
_sum_evalue: option
a
lly handle
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
la
t
tice_p
o
int
.
h: ex
p
o
r
t
fractional_part wit
h
C
l
inka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
g
e
barvinok
_
enumerate_with_opt
i
ons:
com
p
ute (exact) Be
r
no
u
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoola
e
ge
B
e
rnoulli_sum_evalue: handle equal
i
t
i
es
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue:
cut off some redund
a
n
t
p
a
rt
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
r
noulli_sum_eval
u
e: make sure no
e
mpt
y
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
Berno
u
lli_sum_ev
a
lue:
remove redundant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Be
r
nou
l
l
i_sum: handle context cons
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bern
o
ulli_
s
u
m
_
evalue: make
sure eno
u
gh me
m
ory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
for_each_l
o
w
e
r
_upper_bound: add a
n
o
th
e
r
c
allback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
v
e
rify
.
c: adjust default range to
c
ontext
i
f
need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc
:
s
u
mmate_o
v
e
r
_domain: only c
o
ns
i
d
e
r a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
param_u
t
il
.
c: expo
r
t P
a
ram_Vertex_S
e
t_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aeg
e
Param_Po
l
yhe
d
ron_Facet
:
pass facet defi
n
ing
constr
a
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
genfun
.
cc: par
a
llel_polytopes: don't
bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_spl
i
t_domains_into
_
orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolae
g
e
eval
u
e_re
a
d
:
only allow terms to
c
r
oss newlines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
evalu
e
_
read: onl
y
a
c
cept
i
mplici
t
multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
e
v
alue_rea
d
: ac
c
ept c
o
nstrai
n
ts cont
a
i
n
i
ng
"
'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
b
e
rns
t
e
i
n
_
coefficien
t
s: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
b
ernstein: piecewise_lst: correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
r
emove_a
l
l_e
q
ual
i
ties: keep removing
p
arameter e
q
ual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
rdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consi
s
tent
u
s
e
of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
doc: update now
published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
o
ola
e
ge
for_e
a
ch_
l
o
w
er_upper_bound: allow abse
n
ce
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolae
g
e
Rev
e
rt "e
a
dd_pa
r
titions: try to com
b
ine multiple doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
evalue_r
e
ad_partition:
p
ut
p
a
r
t
it
i
ons back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
eg
e
e
v
alue: redu
c
e_evalue: add note on so
m
e
m
issed oppo
r
tuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
bernstein
.
cc: hand
l
e input with unions + r
e
l
a
tion v
i
olate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ma
x
imi
z
e
.
cc:
de
a
l with unions i
n
input duri
n
g
v
erif
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
ge
eval
u
e_substitute
:
properly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
g
e
evalue
.
c
: cl
e
a
n
up
e
m
u
l
and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: correctly re
a
d va
r
i
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue_r
e
ad:
a
ccept top le
v
el "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
updat
e
polyli
b
commit
|
commitdiff
|
tree
2008-02-29
S
v
en
V
erd
o
olaege
evalue_backs
u
bstitute: add
r
equ
i
red modulo
constrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
r
d
oolaege
eva
l
ue
.
c: *_parti
t
ions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc
:
more specifi
c
information
o
n buggy cddlib version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoo
l
aeg
e
c
onfig
u
re
.
i
n: req
u
i
re cddlib 0
.
9
4
e
by testin
g
for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
r
d
o
olaege
configure
.
in:
o
nly compile occ if code_g
e
n librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaeg
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
a
dd some
tests for imple
m
e
n
ta
t
ion of p
r
ojec
t
ion theo
r
em
commit
|
commitdiff
|
tree
next