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
Sven Verd
o
o
la
e
ge
rename s
u
mmate
.
cc to b
a
rvinok_s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c
:
red
u
c
e
_evalue: red
u
ce fl
o
or with co
n
s
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Add Laurent expansion
b
ased sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
evalue
.
c
:
extend eequal to handle d
o
mains
a
n
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
binom
i
a
l
.
c: extract bin
o
m
ial and f
a
cto
r
ial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
o
o
laege
powe
r
.
h: ex
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoo
l
aege
in
t
rod
u
ce
evalue
_
shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verdool
a
ege
lattice_point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_point
.
h: make sur
e
c
orrect
evalues
a
re u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
erdoolae
g
e
lattice_point
.
cc: add
c
e
il
i
n
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoo
l
aege
util
.
c: in
t
ernaliz
e
ug
l
y
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Verdoolaeg
e
l
a
tti
c
e_point
.
cc: mult
i
_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc:
c
lean
u
p
"exponentia
l
substitution" s
e
c
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
test_
b
oun
d
.
c
c
:
avoid l
o
s
s of preci
s
i
on cause
d
by
conver
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
arvinok_bound: optionally ta
k
e max
i
ma
l
size of
d
om
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laege
barvinok_bound:
add -
-
i
terate
op
t
ion
s
for
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c
:
export functions for setting an
d
c
l
ea
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolae
g
e
ve
r
if
y
.
c: evalue_optim
u
m: allow c
o
m
p
utation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdoo
l
aege
b
e
rnstein
.
c
c: evalue
2
ex: don'
t
assume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc:
f
ix cal
l
to evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
add,m
u
l}_perio
d
ics: pl
u
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdool
a
ege
ev
a
lue
_
bernstein_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice
_
width
.
c: skip d
i
rection
s
that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaeg
e
Makefile
.
am: add cdd94
e
-test to distr
i
but
i
on
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoolae
g
e
omega
/
o
c
c: optional
l
y
u
se parker
f
or computing
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaeg
e
normaliza
t
i
o
n
.
c: ske
w
_to_po
s
itive_orthan
t
: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
omega/c
o
nvert
.
cc: relation2Domain: only c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
occ: add d
u
mp
f
o
r
dumpin
g
in
b
arvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerat
e
_e: optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
standar
d
_
c
onst
r
aints
:
take cons
t
ra
i
nts instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
no
r
m
a
lizat
i
on
.
c: extract standard_constr
a
ints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
a
rker/count_sol
u
tio
n
s
.
cc: fix treatmen
t
of existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
compile
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
u
ler
.
c
c: eva
l
ue_d
e
rive: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
lae
g
e
a
dd some test se
t
s
fro
m
c
ases 2004 and cc
2
005
paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
a
ege
ren
a
me
b
a
rvinok_m
a
ximiz
e
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a t
e
st for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range
_
p
r
o
pag
a
t
i
on: remo
v
e r
e
dundant polynom
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bound
:
record
numbe
r
o
f polyno
m
ials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bo
u
n
d: co
n
vert quas
i
polynom
i
al
s
to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
te
s
t_bound: compa
r
e
p
o
lynomial b
o
und alg
o
rithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
verify
.
c: o
p
timu
m
: han
d
le input
e
val
u
ating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdool
a
ege
verify
.
c: extr
a
ct evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rif
y
.
c: extr
a
ct
c
ommon code for veri
f
ying
o
p
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eval
u
e_range
_
pr
o
pagation
:
add monoton
i
c
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_maximiz
e
: opti
o
n
ally use
(bas
i
c) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Add some supp
o
rt for d
e
a
li
n
g with
eva
l
u
es that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enum
e
ra
t
e: support use of Eu
l
er-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
i
m
pl
e
ment Bernoulli_sum as conversion from un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aeg
e
Bernoulli
_
s
u
m_evalue
:
exploi
t
int
e
g
e
r bound
s
t
o
reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
keep track o
f
n
u
mber
o
f
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoulli
.
c: pr
o
tect
shared evalue from m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
g
e
test B
e
rnoulli sums based ex
a
ct enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_
c
ount_with_options:
c
omp
u
te (e
x
act)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_sum_
e
value
:
o
p
tionally han
d
le fr
a
ctio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
latti
c
e_point
.
h
:
export fr
a
ctio
n
al_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
barv
i
nok_enumerate_wit
h
_options
:
compute (exact)
B
er
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Ber
n
o
ulli_sum_evalue: cut of
f
some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoull
i
_sum_evalue: make sure no empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_
s
u
m_evalue: remove redund
a
n
t
c
o
nstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
b
e
rnoul
l
i
.
c: minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laeg
e
Bernou
l
li
_
sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
Bernoulli_sum
_
evalue: make sure en
o
ugh memo
r
y
i
s
allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each
_
lower_upper_bound: add another callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c:
adjust defa
u
lt range to conte
x
t if
n
eed
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc: summate_o
v
er_dom
a
i
n
: onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
param_util
.
c: export Para
m
_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Param_Polyh
e
dr
o
n_Facet: pass facet defini
n
g
constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
g
e
nfun
.
cc: parallel_polytopes:
don't
b
o
t
her h
a
ndlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
eval
u
e_split_do
m
ains_in
t
o_orthants:
d
on't reduc
e
eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdool
a
e
ge
evalue_read: only all
o
w ter
m
s
t
o
cros
s
n
ewlines i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
evalue_read:
o
nly accept implici
t
multipl
i
cation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
evalue_re
a
d: accept constraints con
t
aining "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_bernstein_coefficients: ensure re
s
ult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
bernstein: piecewise_lst:
c
orrectl
y
print and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
l
a
e
ge
remove
_
all_equalities: keep removing par
a
meter
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc: consi
s
tent use of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
doc: update now
p
u
b
l
i
s
hed p
a
per
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
for_each_lower_upper_bou
n
d: al
l
ow
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Revert "eadd_partitions: try to co
m
bine multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Ver
d
oolaeg
e
ev
a
l
ue_read_partition: pu
t
partit
i
ons b
a
ck in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
evalue
:
reduce_evalue: add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
berns
t
ein
.
cc: handle
i
n
p
ut
w
i
th unions
+ relat
i
on violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc: deal with
unions in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
value_substit
u
te: properly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue
.
c:
c
lean up emul
a
nd
ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
evalue
_
read: correc
t
ly read variable
n
a
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
eva
l
ue_rea
d
: accept top
l
e
vel "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_
b
a
cksubstitute: add req
u
ired mo
d
ulo
c
onst
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c:
*_partition
s
:
simplify
constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
d
oc: more specific information on buggy
c
ddlib version
s
commit
|
commitdiff
|
tree
2008-01-28
S
v
en
V
erdoo
l
aege
configure
.
i
n: r
e
qu
i
re
cddlib 0
.
94
e
by
t
e
s
t
ing for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolae
g
e
configure
.
in: only comp
i
le
occ if code_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
r
doolaeg
e
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
add som
e
tests for implement
a
t
ion of project
i
o
n
th
e
ore
m
commit
|
commitdiff
|
tree
next