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
verify.c: optimum: handle input evaluating to negative values
2008-03-31
Sven Ve
r
doolaege
ve
r
ify
.
c: op
t
imum: h
a
n
d
le input e
v
a
l
uating to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
veri
f
y
.
c: extract evalue_op
t
i
m
um fr
o
m m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
v
e
rify
.
c: extract common
code fo
r
ve
r
if
y
i
n
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_pr
o
pagation: add mo
n
otonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
b
a
r
v
inok_ma
x
im
i
ze: opti
o
nally use (basic) ran
g
e propagat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
g
e
Add some sup
p
ort for dealing w
i
th evalues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
b
a
r
v
inok
_
e
n
umerate: support u
s
e of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
implement B
e
rn
o
ulli_sum
as c
o
nversion from un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Bernoulli_sum_evalue: e
x
ploit
i
nteger
bou
n
d
s to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
k
eep track of
numbe
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernou
l
li
.
c
: pro
t
ect share
d
e
value from
m
o
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olaege
test Bernoulli sums
b
ased
exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdo
o
laeg
e
barvinok_c
o
u
n
t_
w
ith_options: compute (exa
c
t
) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i
_
s
um_e
v
a
lue:
optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
lattice_point
.
h: e
x
po
r
t
f
ractiona
l
_part wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barv
i
nok_enumerate_with_
o
ption
s
: com
p
ute
(
exac
t
)
Be
r
noul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li
_
sum
_
evalue
:
han
d
le equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
aege
Bernoulli_sum_e
v
alue: cut off
some
r
edunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Berno
u
lli_su
m
_
e
val
u
e: make sure
no empty parti
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_sum_evalue: remove r
e
dundant constr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
olaege
berno
u
ll
i
.
c: minor r
e
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
Bernou
l
li_su
m
: handle contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdo
o
la
e
g
e
Bern
o
ulli_sum_evalue: make
sure
e
nough memory
i
s all
o
ca
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
f
o
r_ea
c
h_lower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
v
e
rify
.
c: adjust
default range t
o
con
t
ext if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
u
ler
.
cc:
summate_o
v
e
r_doma
i
n
:
only consider
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
param_uti
l
.
c: export Param_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
P
aram_Polyhed
r
on_Facet: pass face
t
de
f
ining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
genf
u
n
.
c
c: par
a
l
l
el_p
o
lytope
s
: don't
bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_spli
t
_
d
o
mai
n
s
_
in
t
o_
o
rthants: don
'
t
reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_read:
o
n
ly
a
llow terms to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ev
a
lue_re
a
d
: only accept impl
i
cit mult
i
plication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept const
r
aints
containing "
'
-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolae
g
e
eva
l
ue_
b
erns
t
ein_
c
oeffi
c
i
e
nts
:
ens
u
re resu
l
t partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstei
n
: pie
c
ewise_lst: corre
c
tly prin
t
and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
l
ae
g
e
re
m
o
v
e_all_equalities: k
e
e
p
remov
i
ng
p
a
rameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aege
up
d
ate p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consis
t
ent use o
f
Kevi
n
's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now p
u
blis
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allow absen
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_pa
r
titio
n
s
:
try
t
o combine multiple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
eval
u
e
_
read_partit
i
on: put
p
a
rtit
i
ons back
in the s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
lae
g
e
evalu
e
:
r
educe_eva
l
ue: add note
on so
m
e mi
s
sed opportun
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstei
n
.
cc:
h
and
l
e
input with unions + rela
t
i
on viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
maximize
.
c
c:
de
a
l with
unions in in
p
ut during veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lu
e
_substitute: p
r
operl
y
handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
ge
evalue
.
c: clea
n
up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
eval
u
e_
r
ead
:
correctly read variab
l
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_read:
accept top level
"
rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ve
r
doolaeg
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n V
e
rdoolae
g
e
evalue_backsubstitute
:
add requ
i
red modulo co
n
s
train
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
e
value
.
c: *_partitions: simplify constrai
n
t
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
do
c
: more s
p
ec
i
f
i
c
informat
i
on on
bug
g
y cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoo
l
a
e
ge
config
u
re
.
i
n: requir
e
c
d
dlib 0
.
94e by testing f
o
r bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
confi
g
ur
e
.
in: onl
y
compile o
c
c if
code
_
gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolae
g
e
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add some tests for imple
m
entati
o
n
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
doc: document new options
a
nd new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
AUTH
O
RS: update suppo
r
t
infor
m
a
t
ion
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
genfun
.
c
c:
short_
r
at::print: correctly
print po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoo
l
aege
Expor
t
series a
s
b
a
rvinok_enu
m
erate_seri
e
s a
n
d
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
rem
o
ve
_
parameter_equali
t
ies: st
o
p
"rem
o
ving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
se
r
ies: l
e
ave freei
n
g of P argument
to ca
l
l
ing functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
document impleme
n
tati
o
n
of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_series impl
e
ment
i
ng
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
ge
n
fun
.
cc: fix and d
o
cumen
t
par
a
llel polyt
o
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Only
c
o
mpile zsolve if gc
c
3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
M
o
ve GiNaC-independent p
a
rt o
f
libr
a
r
y to
b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
polyli
b
: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaeg
e
doc: how
to co
u
nt the number
of elements in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc/implementation
.
t
ex: avoid m
u
ltiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaege
l
a
tti
c
e_wid
t
h
.
c: tr
y
vertices of p
r
evious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc: document integer
h
u
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
aege
hull
.
c: add all p
o
ints found
b
y sampli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
e
g
e
Possi
b
le o
p
timizati
o
ns for generalize
d
bas
i
s reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Suppor
t
u
s
e of g
e
neraliz
e
d
b
asis reduction to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
add Polyhedron_
I
nteger_
M
inimum
f
o
r
com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
doc
u
m
e
nt
generalized ba
s
is reducti
o
n based i
n
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
ge
d
o
c/barvinok
.
bib:
add mi
s
sing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
ola
e
ge
add more mi
s
sing assert
.
h
#in
c
lude
s
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
V
er
d
o
ola
e
ge
configure
.
in: only com
p
ile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
P
o
ly
h
edron
_
Reduced_B
a
s
i
s:
don't stop too
e
a
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdool
a
ege
compute_wid
t
h_directio
n
s: on
l
y
k
eep
list of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Verdoolaege
zsolve:
d
on
'
t install li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
v
e
rsi
o
n
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaege
c
onfigure
.
i
n
: don't set wit
h
_{poly,p
i
p}li
b
_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoo
l
ae
g
e
Polyhedron_Sampl
e
: be sat
i
s
fied w
i
th a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
cone_intege
r
_hull: optionally pr
i
nt
st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
o
olaege
ba
s
i
s_redu
c
tio
n
: k
e
ep track of number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
options
:
mo
v
e --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bernstein: rework test
i
ng fra
m
ework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
bernstei
n
: add piec
e
wi
s
e_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdo
o
laege
support newer versio
n
s of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verd
o
olaege
stand
a
rd_c
o
nstra
i
n
ts: move from
t
o
p
com
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdoolae
g
e
polysign
.
h:
remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolaege
zsolve: add b
a
nner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaege
Po
l
yhedron
_
L
a
ttic
e
_Wi
d
th
_
Directions:
pri
n
t p
r
ogr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olae
g
e
basis_re
d
uction_pip:
abort o
n
invali
d
(
em
p
ty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolae
g
e
README: explain
how to get submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ve
r
d
o
olaege
doc
:
docu
m
e
nt lattice wi
d
t
h comput
a
tion
commit
|
commitdiff
|
tree
next