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
implement Bernoulli_sum as conversion from unweighted to weighted counting
2008-03-31
Sven Verdoolaege
implement Berno
u
lli_sum
a
s conv
e
rsion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum_evalue: exploit
i
nteger
b
o
u
n
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
keep track
o
f numb
e
r of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bern
o
ulli
.
c: pro
t
ect shared evalue from
modifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test Be
r
noul
l
i sums based
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_coun
t
_with_options: compute (exact
)
B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_
e
v
a
lue: opt
i
o
n
ally hand
l
e
f
ractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
latt
i
ce_
p
o
i
nt
.
h
:
e
xport fractional_part
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvin
o
k
_
enum
e
r
a
te_with_options: comput
e
(exact) Bern
o
ull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aeg
e
Bernoulli_
s
um_ev
a
lue: han
d
l
e
equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Bernoulli_su
m
_eval
u
e: cut off some redu
n
dant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noulli_
s
um_eval
u
e
:
make sure no empty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue: remove
red
u
ndant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
e
rnoulli
.
c: minor refa
c
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Berno
u
lli_sum: handle context con
s
traint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_eac
h
_lowe
r
_upper_bound: add another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaeg
e
verify
.
c: adjust default ran
g
e to
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: summate_over
_
domain: on
l
y
con
s
ider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
param_ut
i
l
.
c: ex
p
ort Param
_
V
ertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdo
o
laege
Param_Polyhedro
n
_Fa
c
et
:
p
ass facet definin
g
con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genf
u
n
.
cc: parallel_polytope
s
: do
n
't bo
t
her
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
evalue_s
p
lit_d
o
mains_into_orthants: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_read: onl
y
all
o
w te
r
ms to
c
ro
s
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only a
c
cept
im
p
l
i
c
it mul
t
i
p
lic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_read: a
c
cept constraints containing "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
eva
l
ue_b
e
rnstein_co
e
fficients: ensure result partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
b
e
rnstein: piecewise_
l
st: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
re
m
ov
e
_all_equali
t
ies:
k
ee
p
r
e
m
oving parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaeg
e
upda
t
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoo
l
ae
g
e
doc: consistent use of Kevin's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: up
d
a
te now p
u
bl
i
s
h
ed pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
for_eac
h
_lo
w
e
r_upper_bound
:
al
l
ow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Reve
r
t
"ea
d
d_parti
t
io
n
s:
try to combine
m
ultiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
eva
l
u
e
_read_
p
arti
t
io
n
:
p
ut partition
s
ba
c
k in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue: reduce_evalue: add
n
ote
o
n some missed oppo
r
tun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
be
r
nstein
.
cc: han
d
le input
wi
t
h un
i
ons + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
maximiz
e
.
cc: deal with unions
in input durin
g
verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
e
value
_
substitute: properl
y
hand
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
aege
eva
l
ue
.
c: clean up emul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read: cor
r
ectly read va
r
iable
n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
value
_
read: accept top level "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
oolaege
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolae
g
e
evalue_
b
ac
k
substitute
:
add r
e
qu
i
red modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eval
u
e
.
c: *_partitions: si
m
plify con
s
traints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: m
o
re
spe
c
i
fic in
f
o
r
mation
on b
u
ggy cddlib ve
r
s
i
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
aege
configure
.
in: r
e
quire cddlib 0
.
94e by
t
esting fo
r
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile occ i
f
code_g
e
n librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
ad
d
s
ome tests for im
p
l
e
ment
a
tio
n
of projec
t
i
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: do
c
ument
new options and
new ap
p
l
i
cations
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoo
l
a
e
ge
AUTHORS: upd
a
t
e
support informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfu
n
.
cc: short_
r
at::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
Export series
a
s barvinok_enum
e
rat
e
_ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_p
a
rameter_equalities: stop "remo
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
se
r
ies:
leave
f
reei
n
g
of P argument
t
o
calling
funct
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
doc: document implemen
t
ation of the projection th
e
or
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add b
a
rvinok_
e
n
umerate_e_series implemen
t
ing the
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
laege
g
en
f
un
.
cc: fix and document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
olaege
Mo
v
e GiNaC-inde
p
endent part of library
t
o barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
p
olylib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdo
o
laege
doc: how
to coun
t
th
e
num
b
er of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc
/
imp
l
ementation
.
tex: avo
i
d mult
i
ply
d
efined label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
l
a
ttic
e
_width
.
c
: try vert
i
ces of
p
revi
o
us integer
h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
e
rdoolaege
do
c
:
d
ocum
e
nt integer
h
u
l
l com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
a
d
d
all point
s
foun
d
by sampling
d
irectly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
rdo
o
laege
P
o
ssible optimizations for genera
l
ized basis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
S
u
pport u
s
e
of gener
a
lized b
a
s
i
s reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdo
o
la
e
ge
add
Pol
y
he
d
ron_In
t
eger_Mi
n
i
mum
f
o
r
com
p
uting the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoola
e
ge
d
o
c: d
o
cument generalized basis reduction based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc
/
barvinok
.
b
i
b
:
add miss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoolaege
a
d
d more miss
i
ng assert
.
h #i
n
cl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n V
e
rdoolaege
configu
r
e
.
in: only compile libbarvinok as a
s
t
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolae
g
e
Polyhedron_Reduced_Basis: don't stop too e
a
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoolaege
compute_width_direction
s
:
o
nly keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't
i
nsta
l
l lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
confi
g
ure
.
i
n
: d
o
n't set with_{poly,pip}
l
ib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be satisfied wi
t
h a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laeg
e
c
one_integer_hull: o
p
tionally p
r
in
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaege
basis_
r
eduction: keep
track of
n
u
mber o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
options: move
-
-print
-
stats
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
dool
a
ege
bernste
i
n
:
rework testing
f
ram
e
work to not d
e
pend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bernstein: ad
d
piece
w
ise_l
s
t::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laeg
e
support newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
ol
a
ege
standard_constraint
s
: move from topcom
.
c to p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
rdo
o
laege
p
o
l
ysig
n
.
h: remov
e
dependenc
y
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaeg
e
zsolv
e
: add banner
.
h to
d
istribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
Polyhedron_
L
attice_Wid
t
h_Di
r
e
c
tions: p
r
int progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoo
l
aege
basis_reducti
o
n_pip: abort on inv
a
lid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
REA
D
ME: explain
h
o
w
to get
submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
d
o
c: doc
u
ment lattice width
com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdool
a
eg
e
som
e
lattice wid
t
h te
s
ts fro
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
Polyhedron_Lattice_Width: deci
d
e on f
a
cets
t
o
c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verd
o
olaege
a
dd Polyh
e
dron_Lattice_Width for computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hilb
e
r
t
.
c: add Co
n
e_Integer_Hull for co
m
puting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
add pip-
b
acked versio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign:
add constraints_
o
pt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aege
p
olys
i
gn
_
cdd: sw
i
tch to use
o
f
M
a
tr
i
x
repre
s
en
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysign_glp
k
:
switch to use
o
f Matrix r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
d
o
c
:
d
o
cument computation
of Hil
b
ert basis of
a
cone
commit
|
commitdiff
|
tree
next