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
Add Laurent expansion based summation
2008-05-03
Sven
V
erdoola
e
ge
Add La
u
rent expans
i
on
based su
m
m
a
ti
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
evalue
.
c:
e
xte
n
d
e
e
q
ual to
handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
binomi
a
l
.
c: ext
r
a
ct binomial an
d
factor
i
a
l
fr
o
m
e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaeg
e
power
.
h: extract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdo
o
laege
i
ntrodu
c
e
e
v
a
lue_shi
f
t_
v
ariab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
l
a
t
tice_po
i
nt
.
c
c:
e
x
p
o
rt relativ
e
_
coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
l
attice_point
.
h: m
a
ke su
r
e
c
orrec
t
evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rd
o
olaeg
e
l
attice_point
.
cc: add ceiling f
u
nctio
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doolaege
util
.
c: inte
r
nalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verdoo
l
aege
lattice
_
point
.
cc: multi_mon
o
m/l
a
ttic
e
_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
o
c:
clean up "ex
p
o
n
entia
l
s
ubst
i
tution" sec
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test_bound
.
c
c:
avoi
d
loss of pre
c
ision caused
b
y conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
bar
v
inok_bound: option
a
ll
y
t
a
ke m
a
ximal size
of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
barvinok_bound
:
a
d
d --iterate options for evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export functions for setting an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
v
er
i
fy
.
c: evalue_optimum:
a
l
low comput
a
tion
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
b
e
rnstein
.
cc: eva
l
ue2
e
x: don't assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laege
bound
.
cc: fix
call to eval
u
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
e{add,mul}
_
periodics: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaeg
e
evalue
_
b
e
r
nstein_coeffic
i
ents: handle
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolae
g
e
lattic
e
_width
.
c: skip direct
i
ons
that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefile
.
a
m
: add cdd9
4
e
-
test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
ome
g
a/occ: optionall
y
use parker for com
p
uting ca
r
di
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalization
.
c: skew_
t
o_positive_orthan
t
:
p
r
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
meg
a
/convert
.
cc: relation2Dom
a
in: only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaeg
e
occ: add dump for dumping
in barvinok_enum
e
rate_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
do
o
l
aege
bar
v
inok_en
u
m
e
rate_e:
o
ptionally use
parker's
me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
s
t
andard_c
o
n
s
t
r
aint
s
: take
c
onst
r
aints instead of pol
y
hedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
la
e
ge
n
o
rmalization
.
c: extract
standard_con
s
tra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
p
a
rker/count_solu
t
io
n
s
.
cc: fix
t
r
eat
m
ent of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ve
r
doolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doola
e
ge
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc: evalue_de
r
i
ve: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets fr
o
m cases
2
004
and
c
c
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
rena
m
e b
a
rvinok
_
maxi
m
ize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaeg
e
ad
d
a test for test
_
bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_p
r
op
a
gat
i
on: remove redu
n
dan
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t_bound:
r
ecord number
of poly
n
omials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolae
g
e
test_bound:
c
onvert quasipolynomials
t
o poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare polynomial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: op
t
imum:
handle input evaluat
i
ng
t
o n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: extract evalue
_
optimum from maximi
z
e
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
erify
.
c: extract co
m
mon code for verifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
evalue_range_propagati
o
n: a
d
d monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok
_
m
a
xi
m
i
z
e
:
op
t
ion
a
lly use (basic)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Add some support for dealing wit
h
evalu
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k
_enumerate: support u
s
e o
f
E
u
ler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
im
p
le
m
ent Bern
o
ulli_sum a
s
convers
i
on f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_
s
um_evalue: exp
l
o
it
integ
e
r bound
s
to
r
educ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
k
e
ep track
of num
b
e
r
of
B
e
r
noull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
b
e
r
n
o
ulli
.
c:
prote
c
t
share
d
evalue fro
m
m
odifications
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
t
e
s
t Berno
u
lli sums
b
ased exact e
n
umera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
barvinok_c
o
unt_wit
h
_options: comp
u
te (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernoulli_sum
_
eval
u
e
:
o
ptionally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
lattice_p
o
int
.
h
:
ex
p
o
r
t fractional_part
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
barvinok_enumerate_with_o
p
t
i
on
s
: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_
e
v
alue: handle
eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
Bernou
l
li_sum_evalue: cut
off
s
ome redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: make sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_eval
u
e: remove redundant
con
s
tr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
berno
u
lli
.
c
:
minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli
_
sum
:
handle context
c
ons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Ber
n
oulli_sum_evalue: make sure enough m
e
mory is
a
lloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
for_e
a
ch
_
low
e
r
_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
veri
f
y
.
c
: adju
s
t d
e
f
ault r
a
n
g
e to context if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
euler
.
cc: summa
t
e_ove
r
_domain: only consi
d
er
a
c
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
param_
u
til
.
c: export
Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Par
a
m_Poly
h
ed
r
on_Facet:
p
ass facet defining c
o
n
strai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
genfun
.
cc:
p
aralle
l
_
p
olytopes
:
d
on'
t
b
other
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
eval
u
e_s
p
l
i
t_domai
n
s_int
o
_o
r
t
h
ants:
don't reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
e
v
alue_read: only allow terms to cross newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_read: only a
c
cep
t
i
m
plicit mu
l
ti
p
li
c
ation
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
value_read:
accept co
n
st
r
aints co
n
taini
n
g "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernstein_coeffici
e
nts: ensure result p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
bernst
e
in: piecewi
s
e_ls
t
: co
r
r
e
c
tly print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
remove_all_
e
qualities:
k
eep
rem
o
vi
n
g
p
ar
a
meter
e
q
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
u
p
date p
o
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc
:
c
o
n
s
istent
use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
doc: upda
t
e now
published paper
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
for_e
a
ch_
l
ower_u
p
per_bound
:
all
o
w absen
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
Revert "eadd
_
partitio
n
s: try
t
o combine multi
p
le do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
ool
a
ege
eva
l
u
e_
r
ead_partition: put
p
artitions
b
a
ck
i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
eval
u
e: reduce
_
evalue: add
not
e
o
n
s
ome missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
berns
t
ein
.
cc
:
handle
input wit
h
unions
+
rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
ma
x
imize
.
cc: deal wit
h
unions in input
d
u
ring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
evalue_
s
ubs
t
itute:
p
r
o
pe
r
ly h
a
ndle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean
up
e
mul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoola
e
ge
evalue_read: correctl
y
re
a
d variable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
ev
a
lue_read: a
c
cept top level "r
e
lat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoo
l
aege
eva
l
ue_backsubsti
t
ute:
a
dd r
e
q
uire
d
m
odulo co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaege
eva
l
ue
.
c: *
_
partiti
o
ns: simpli
f
y
constrai
n
ts
befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
mor
e
spe
c
i
f
ic in
f
or
m
a
t
ion on buggy cdd
l
ib vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configur
e
.
in: re
q
uire
c
ddlib 0
.
94e by testing
for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoola
e
ge
configure
.
i
n
: only compile occ
i
f code_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
add
s
o
me tests for im
p
lementatio
n
of projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc:
docum
e
nt new option
s
a
nd new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
A
UTHORS: upda
t
e support infor
m
ati
o
n
commit
|
commitdiff
|
tree
next