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 Verdoolaege
ber
n
stein
:
numeric
2
v
a
l
ue:
fix typo
t
o allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
ola
e
ge
util
.
c: Factor_Context: extra
c
ted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laege
summate
.
c
:
barvino
k
_summate: ignor
e
floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c: add ev
a
lue
_
fl
o
or2f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
lae
g
e
omega/oc
c
: print barvinok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
doc: update some
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
M
a
ke laurent based summati
o
n the
default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
s
u
mmate
.
c:
b
a
rvinok_s
u
mmate
:
handl
e
quasi-polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue
:
extrac
t
ou
t
e
value_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: evalue_shift_va
r
iables: allow shift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
ummate
.
c: handle equali
t
ies for all summatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
sum
m
ate
.
c: barvinok_summate: m
o
ve comm
o
n pa
r
ts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoo
l
a
eg
e
evalu
e
.
c
:
evalue_sum: move sign handling into esum_over_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdo
o
laege
barvinok
_
e
.
c
c
:
enumerate_
s
u
m
: use
barvinok
_
sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: extract bar
v
ino
k
_su
m
m
ate f
r
om
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
ena
m
e summate
.
cc
to
bar
v
inok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: red
u
ce_evalue:
reduce floor with
c
o
nst
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
o
o
l
a
e
ge
Add Laurent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: ext
e
nd e
e
qual to
handl
e
domain
s
an
d
Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
binomia
l
.
c: extract binomial an
d
factorial from
e
ule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaeg
e
power
.
h: extract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_poin
t
.
cc
:
export rela
t
ive_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolae
g
e
lattice
_
p
oint
.
h:
m
ake su
r
e
c
orrect eva
l
ues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
g
e
lattice_p
o
int
.
cc: add ceili
n
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
l
a
ege
util
.
c: int
e
rnalize ugl
y
bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lat
t
i
ce_point
.
cc
:
mult
i
_
monom/la
t
tice_points: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
doc
:
cl
e
an
up "expone
n
t
ial sub
s
t
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
test
_
bound
.
c
c: avoid loss o
f
precision cause
d
by co
n
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok_bound
:
opti
o
nally take maxim
a
l
s
i
ze of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
barvin
o
k_
b
ound:
a
dd --
i
ter
a
te o
p
tions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdool
a
ege
verify
.
c
:
e
xport funct
i
ons for setting and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
ver
i
fy
.
c: evalue_optimum: a
l
low computation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernste
i
n
.
cc:
e
value2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
o
und
.
cc: fix call to eva
l
u
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_
c
o
efficients:
h
andl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
S
ven
V
er
d
oolaege
lattice_width
.
c: ski
p
directions
t
hat are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefile
.
a
m
: a
d
d cdd94e
-
te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
meg
a
/occ
:
o
ptio
n
ally us
e
parker for computi
n
g ca
r
d
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
nor
m
a
li
z
a
tion
.
c: skew_to_
p
ositive_orthant: pro
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoolaege
om
e
ga/convert
.
cc:
relation2Domain: only coll
e
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
o
cc: add dump for dum
p
ing in barvinok_en
u
m
e
rat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaege
b
a
rvinok_enumer
a
t
e_e:
optionally u
s
e parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
e
ge
standard_const
r
a
i
nts:
tak
e
constra
i
n
t
s
inste
a
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
olae
g
e
normalizati
o
n
.
c: ext
r
act
standard_
c
onstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaeg
e
parker/count_soluti
o
ns
.
cc: fix treatme
n
t o
f
exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
euler
.
cc: ev
a
lue_deri
v
e: handl
e
cons
t
a
n
t
pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
add som
e
test sets from ca
s
es
2004 and cc
2
005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
nam
e
barvinok_maximiz
e
to bar
v
i
nok
_
boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
add a test f
o
r test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
evalue_range_propagation: remov
e
redund
a
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
test_bound: r
e
cord numb
e
r
o
f
po
l
ynom
i
als as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
test_bound: co
n
vert
quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
test_bou
n
d: compare polynomial
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: opti
m
um: handle input evaluatin
g
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c:
extra
c
t evalue_optimum from
m
aximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ola
e
g
e
verify
.
c:
extra
c
t
common c
o
de for verifyin
g
opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rang
e
_propagation:
a
dd mono
t
oni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
aege
b
arvinok_
m
ax
i
mize: optionally use (basic)
r
ange propag
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
A
dd some support for dealing with
evalues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
enumerate: suppo
r
t use of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
mplem
e
nt Bernoulli_sum as conversion from unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_evalue: exp
l
oit integ
e
r b
o
u
n
ds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
lae
g
e
keep
t
rac
k
o
f
number of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
p
rotect shared evalue from modification
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t Bernoulli sums
b
ase
d
e
xa
c
t enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok
_
c
o
u
n
t_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
l
a
t
t
i
ce_point
.
h
:
export
f
ractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
barv
i
nok_en
u
m
e
rate
_
with_options: comp
u
t
e
(exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
Bernoull
i
_sum_evalue: handle
eq
u
al
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoul
l
i_sum_e
v
alue: c
u
t o
f
f
some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
ernoulli_su
m
_eval
u
e: make sure no
e
m
p
ty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Be
r
noulli_sum_evalue:
remove redundant co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor
r
e
f
a
ctor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Berno
u
lli_s
u
m
:
handle context co
n
stra
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bern
o
ulli
_
sum_
e
value
:
make sure enough memory is all
o
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for_ea
c
h_low
e
r_upper
_
b
o
und: add an
o
ther callback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
ge
verify
.
c: adjust default ra
n
ge t
o
co
n
tex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc: su
m
mate_over_domain: onl
y
consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
param_util
.
c: e
x
p
ort Pa
r
am_V
e
rtex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Param_Polyhedron_Facet: pass f
a
c
e
t defi
n
ing constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
genfun
.
cc: par
a
llel_p
o
lytopes: do
n
't b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
evalue_s
p
lit_d
o
mains_
i
nto_orthants:
d
on
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
lae
g
e
evalu
e
_read:
o
nly allow te
r
ms t
o
cr
o
ss
n
e
w
lines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ev
a
l
u
e
_
read
:
only ac
c
ept implic
i
t multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
evalue_re
a
d
:
a
c
cept
constrain
t
s cont
a
ining "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
eval
u
e
_ber
n
stein_coefficients: ensure result
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laeg
e
bern
s
tein: piecewise_l
s
t: correctly print and eva
l
u
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
remo
v
e
_
a
ll_eq
u
al
i
ties: keep remo
v
ing p
a
r
am
e
ter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
up
d
ate poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
consisten
t
use o
f
Kevin
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: update now published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaege
for_each_lo
w
er_upper_
b
oun
d
: allo
w
absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert
"
eadd_
p
artitions:
t
ry to com
b
i
n
e multip
l
e d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olaege
e
v
alu
e
_read_
p
a
r
tition: put
par
t
itions bac
k
in th
e
s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
next