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
barvinok_maximize: optionally use (basic) range propagation
2008-03-31
Sven
Verdoolaege
barvino
k
_m
a
x
i
mize: o
p
t
i
ona
l
ly use (basic) rang
e
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Add
some support for d
e
al
i
n
g
w
i
th e
v
alues that
r
epresent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
b
arvinok_en
u
merate
:
sup
p
ort use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bernoulli_sum
a
s conversion from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bernoulli
_
sum_ev
a
lue:
exploit in
t
e
g
e
r
bou
n
d
s to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
kee
p
t
rack of number
o
f B
e
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
bernoulli
.
c: protect shar
e
d evalue from
m
odifica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
test
Bernoulli sums ba
s
ed
ex
a
ct enumera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
barvinok_count_wit
h
_o
p
t
ions: compute (exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: optionally handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doola
e
ge
l
attice_point
.
h: exp
o
r
t fractional_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
barvinok_e
n
um
e
rate
_
with
_
option
s
: co
m
pute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
e
rnoulli_sum_evalue: ha
n
dle e
q
ua
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
Be
r
nou
l
li_sum_evalue
:
cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Ber
n
ou
l
li_sum_e
v
alue: make
sure no
e
mpty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue: r
e
move redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
bern
o
ulli
.
c: minor re
f
a
c
torin
g
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_s
u
m
:
handle context const
r
ai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: make s
u
re en
o
ugh memory is all
o
cat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for_each
_
lower_
u
ppe
r
_bound
:
add an
o
t
her
c
allback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
veri
f
y
.
c:
a
djus
t
def
a
ult
range t
o
context
if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
c
c: summate_over_domain: only consider
a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
param_
u
til
.
c: ex
p
ort Par
a
m_Ve
r
tex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet: pass face
t
defining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
g
enfun
.
cc:
para
l
lel_polytopes: don't
b
o
t
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
ev
a
l
u
e
_spl
i
t_domains_into_orthant
s
: don't red
u
ce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eva
l
u
e
_read
:
only a
l
l
o
w t
e
rms to cross
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eval
u
e
_
read: only
a
cc
e
p
t impli
c
i
t
multiplication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalu
e
_read:
a
ccept cons
t
raints con
t
aining "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernstein_coefficien
t
s: ensure resul
t
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: pie
c
ewise
_
lst: corr
e
ctly print and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
d
o
olaege
r
emove_all_equalities: k
e
e
p remov
i
ng parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
u
pda
t
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc:
c
o
nsistent
u
se of Kev
i
n's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_l
o
w
er_upper_
b
ound: allow absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
l
a
ege
Revert
"eadd_partitions:
t
ry to combine multi
p
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
evalue_read_partition
:
put part
i
tions b
a
ck in
the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
e
v
a
l
ue:
redu
c
e
_
evalu
e
: add
n
o
te on some
m
i
s
s
ed o
p
p
o
rtu
n
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
bernstein
.
cc
:
hand
l
e
input
w
ith u
n
io
n
s +
rela
t
ion vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
olaege
m
aximize
.
cc: dea
l
w
ith un
i
ons in input d
u
ring veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
eva
l
u
e
_s
u
bstitute: prop
e
rly h
a
ndle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalu
e
.
c: c
l
ean
u
p em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
laege
evalue_rea
d
: corre
c
tly r
e
ad
v
a
riabl
e
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
e
v
alu
e
_read: accept to
p
lev
e
l "re
l
atio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolaege
u
p
d
ate
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
e
v
a
lue_backsubst
i
t
ute:
a
dd r
e
q
ui
r
ed
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolae
g
e
evalue
.
c
:
*_partitions:
simplify con
s
train
t
s befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
d
oc: more specific
i
nformation o
n
buggy
c
ddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
igure
.
in: r
e
q
u
ir
e
cddlib 0
.
94e by
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Ver
d
oolaege
conf
i
gur
e
.
in: only compile occ if
code
_
gen
librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add some te
s
ts fo
r
implemen
t
ation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
d
o
c: docum
e
nt new op
t
ion
s
and ne
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
AUTHO
R
S: update sup
p
ort
i
nfor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
genfun
.
cc: short_rat::print: correctl
y
p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
Export series as ba
r
vinok_enumerate_ser
i
es
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
remove_parameter_equalit
i
es: stop
"
removin
g
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Ve
r
doolaege
se
r
ies:
l
eave
f
reeing of P arg
u
ment to calling functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
doc:
d
ocument im
p
lementation of the projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barv
i
no
k
_enumer
a
te
_
e_series
i
mpl
e
m
e
nt
i
ng t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
l
a
ege
genfun
.
c
c:
f
ix and document
pa
r
a
l
lel
p
olyt
o
pes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
Only comp
i
le zsolve if gcc 3
.
4
or lat
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Move GiNaC-independent part of
libra
r
y
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
S
ve
n
Verdo
o
laeg
e
d
o
c: how to count the number of
elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc/implementation
.
te
x
: avoi
d
multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
la
t
tice_width
.
c: try vertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc
:
do
c
u
m
ent integ
e
r
hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n V
e
r
d
oolaeg
e
hull
.
c
: add a
l
l points
foun
d
b
y
sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Po
s
sibl
e
optimizations for gene
r
a
l
ized basis red
u
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doo
l
aege
Su
p
p
o
rt
u
se of
g
eneral
i
z
ed basis reduc
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
aege
add Polyhedro
n
_Integer_Minimum for compu
t
ing the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
a
ege
doc
:
d
o
c
u
ment generalized basis reductio
n
bas
e
d int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdo
o
l
a
eg
e
add more missing a
s
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
e
value
.
c:
ad
d
missing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
Verdoolaege
conf
i
gure
.
in: pass
pat
h
of GMP ins
t
allation to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
oolaege
configure
.
i
n
: only compile libb
a
rvinok as
a
stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
l
aege
Polyhedro
n
_Reduced_Basi
s
: don't stop too
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_w
i
dth_directi
o
ns: only
keep list of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
zs
o
lve: don't install li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
S
ven
V
erdoolaege
version
.
c
: show use of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don'
t
set with_
{
poly,pip}lib_pr
e
fix
fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
yhe
d
ron_Sample
:
be sa
t
isfied wi
t
h a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
cone_
i
ntege
r
_h
u
ll: optionally pr
i
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
basis_redu
c
tion:
k
e
ep track o
f
number of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
options: move --print-
s
tats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
o
o
l
a
ege
be
r
nstein: rewo
r
k
testing fram
e
w
o
rk
t
o not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add
p
iece
w
ise_
l
st
:
:is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of
G
iNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
st
a
ndard_constr
a
ints: move from topc
o
m
.
c
to
p
olysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Ver
d
o
olaeg
e
polysign
.
h: re
m
ove depende
n
cy o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoola
e
ge
zsolve
:
add
banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedron_Lattice_Width_Directio
n
s: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basi
s
_r
e
du
c
ti
o
n_pip:
abor
t
on invalid (empty)
i
np
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
Verdo
o
laege
README: ex
p
lain how to ge
t
submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
er
d
ool
a
ege
doc:
d
ocument latti
c
e width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
so
m
e
latti
c
e w
i
dth t
e
sts from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Latt
i
ce_Width: decide on facets
to close
.
.
.
commit
|
commitdiff
|
tree
next