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
bernstein: numeric2value: fix typo to allow correct conversion of big values
2008-05-04
Sven V
e
rdoolaege
bernste
i
n: numeric2value: fix typo t
o
allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
util
.
c
:
Factor_Context: extracted from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c: barvinok_
s
ummate:
ignore fl
o
ors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add
e
value_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
o
m
ega/occ: print barvin
o
k
v
e
r
s
i
o
n
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
doc: updat
e
some
refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
Ma
k
e laurent b
a
sed summation the
def
a
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c
:
b
arvinok
_
s
u
m
mate: handle quasi-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdool
a
e
ge
red
u
c
e
_evalue: extract
o
ut evalue_reduce_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
evalue
.
c
:
evalue
_
shif
t
_variab
l
e
s:
allow shift
i
n
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
summat
e
.
c:
hand
l
e
e
qu
a
lities for all summation al
g
o
r
i
t
h
m
s
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdool
a
ege
summate
.
c: barvinok_s
u
mmate: move common
p
a
r
t
s of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
eva
l
ue
.
c: evalue
_
sum: mov
e
sign handling
i
nto esum_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
barvinok_e
.
cc: enumerate_s
u
m
: use
barvinok_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
s
u
mma
t
e
.
c: ex
t
ract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
la
e
ge
rename summ
a
te
.
c
c
t
o barvi
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
r
e
duce_e
v
a
lue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolae
g
e
Add
Laurent expa
n
sio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalu
e
.
c
:
ex
t
end eequal
t
o handle do
m
ains
a
nd N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomia
l
.
c: extract binomial and factorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
doolaege
power
.
h: ex
t
ract fr
o
m e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoola
e
ge
introdu
c
e evalue_shift_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdo
o
laege
lattic
e
_point
.
cc: exp
o
rt relat
i
ve_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice
_
point
.
h: make sure correct evalues
are
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_poi
n
t
.
cc:
a
dd c
e
iling
fu
n
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internalize u
g
l
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n
V
erdoolaege
lattice_point
.
c
c: multi_monom/latti
c
e_points: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
o
c: clean up "exponen
t
i
al subs
t
i
tution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
test_bo
u
nd
.
cc: avoid
l
o
s
s of precision
caus
e
d by
con
v
ersi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barv
i
n
ok_bound: opti
o
n
al
l
y
take maximal s
i
z
e of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laege
b
arvin
o
k_b
o
und: add --iterate
o
pt
i
ons
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verif
y
.
c: export functions for se
t
ting and cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
v
e
r
ify
.
c: evalue
_
optimum: allow computation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: eval
u
e2ex:
don't
a
ssume
all periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laeg
e
b
o
u
nd
.
cc: fix call to evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
e{add,mul}_period
i
c
s
: plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
evalue_bernstein_coe
f
ficients: handle pro
b
lems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
upda
t
e p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
V
erdoolaeg
e
lat
t
ic
e
_width
.
c: skip directio
n
s t
h
at
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefile
.
am: a
d
d cdd94
e
-
tes
t
t
o
d
i
str
i
b
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdo
o
laege
omega/occ: o
p
tiona
l
ly use pa
r
ker for computing
car
d
inal
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
n
o
r
malizati
o
n
.
c: ske
w
_t
o
_positive
_
ortha
n
t:
pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
om
e
ga/c
o
nver
t
.
c
c
: re
l
a
t
io
n
2Domain: onl
y
col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ: add d
u
mp for dumping in barvinok_enumerate_
e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolae
g
e
barvin
o
k_enu
m
era
t
e_e: optionally use park
e
r
'
s method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
st
a
ndard_constraints: tak
e
c
onstrai
n
ts
instead o
f
p
o
lyhe
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
normalization
.
c: ex
t
rac
t
st
a
ndard_constrai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/coun
t
_solutions
.
cc: fix
treatment of e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
com
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
laeg
e
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
euler
.
cc:
evalue_derive: handle co
n
stant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
a
d
d some test sets fro
m
cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
rename barvino
k
_maximi
z
e
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
o
laege
a
d
d
a
t
est for test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
evalue_
r
a
n
ge_propagation:
r
e
move redunda
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bou
n
d
:
rec
o
rd number o
f
p
olynomial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
tes
t
_bound
:
conv
e
r
t
quasipolynomials to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
test_bo
u
nd: compare poly
n
omial
bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ver
i
fy
.
c: optim
u
m
: h
a
ndl
e
in
p
ut evalu
a
ting
t
o
neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
veri
f
y
.
c: extract
evalue_optimum from m
a
x
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
verify
.
c:
e
xtract co
m
mon
c
ode for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
ue_range_pro
p
agation: a
d
d monotoni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_maximi
z
e: optionally u
s
e (basic) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add some
support for dealing
w
ith evalue
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvi
n
o
k_enu
m
erate: support use
o
f
Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
g
e
impleme
n
t Bernoul
l
i
_sum as co
n
version from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
d
oolaege
Bernoul
l
i_su
m
_evalue
:
explo
i
t integer bo
u
nds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoo
l
aege
keep trac
k
o
f numbe
r
of B
e
rnou
l
li s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
o
ulli
.
c: prot
e
ct share
d
evalue from modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
e
ge
te
s
t Bernoulli sums
b
as
e
d exact e
n
umerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
b
arvino
k
_count_with_opti
o
n
s: comp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_evalue: opt
i
onally
h
an
d
l
e
fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
g
e
l
attic
e
_p
o
int
.
h: export fractional
_
pa
r
t with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolae
g
e
barvino
k
_
enumerate_wit
h
_optio
n
s:
c
o
mpute (exact)
Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum
_
ev
a
lue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_
e
value: cut off
some redu
n
dan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Bernou
l
li_sum_evalue: make su
r
e
n
o
e
mp
t
y partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
ernoulli_sum_evalue:
remove
r
e
dundant
c
onstraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
B
e
rnoul
l
i_sum: handl
e
context constr
a
in
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
B
e
rnoulli_sum_eva
l
ue: m
a
ke su
r
e enough memory is a
l
locate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doola
e
ge
f
or_each_lowe
r
_
u
pper_bound: a
d
d another call
b
ack
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
verify
.
c: adj
u
s
t
default
range to cont
e
xt if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
eule
r
.
cc:
s
ummate_over_domain: only
c
onsider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
param_ut
i
l
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
P
aram_Polyhedron_
F
acet: pa
s
s facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genf
u
n
.
cc: parallel_pol
y
topes:
don
'
t both
e
r
h
andl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
evalue_split_domains_into_
o
rt
h
ants
:
don't
redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_
r
e
ad:
only allow
ter
m
s to
c
ross newlines
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit multiplica
t
io
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_re
a
d: accept const
r
ai
n
t
s
containing "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
eval
u
e_bernstei
n
_coeffi
c
ients: ensure result partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
bernstein: piecewise_ls
t
:
c
orrectly print and
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
r
e
move_all_equa
l
ities: keep
r
emoving paramete
r
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Ver
d
oolaege
doc
:
consi
s
tent use
o
f K
e
vin's ini
t
ial
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoolaege
doc: update now publ
i
she
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
olaege
for_each_lower
_
upper_boun
d
: a
l
low
absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
ool
a
ege
Revert
"
eadd_
p
artitions:
t
ry to combin
e
m
ul
t
iple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue
_
r
e
ad_p
a
r
t
it
i
on: put parti
t
ion
s
bac
k
i
n
the same
.
.
.
commit
|
commitdiff
|
tree
next