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
test Bernoulli sums based exact enumeration
2008-03-31
S
ven
Verdoolaege
test Berno
u
lli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvi
n
ok_count_with_o
p
ti
o
ns: compute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: op
t
i
onally ha
n
dle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
l
a
tti
c
e_point
.
h
:
e
xpo
r
t f
r
actional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
dool
a
ege
barvinok_enumerate_with_op
t
ions: compute
(
ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_
s
um_evalue: hand
l
e equ
a
l
iti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_ev
a
lue: cut o
f
f some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oo
l
aege
Ber
n
oulli_s
u
m
_ev
a
lue:
m
a
k
e s
u
re
n
o
e
mpt
y
partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
Bernoulli
_
sum_e
v
alue: remove redund
a
nt constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
berno
u
ll
i
.
c: minor
re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
B
e
r
n
oulli_sum: handle context co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_evalu
e
: make sure en
o
ugh
m
em
o
ry is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
for_each
_
lower_upper_
b
ound:
a
d
d anot
h
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
ver
i
fy
.
c: adjust
d
efault range to c
o
ntext
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
e
u
ler
.
cc: summate_over_domain: only consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
param_util
.
c: export Param_Vertex_S
e
t
_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
Pa
r
am_Polyhedron_Facet: pas
s
f
a
cet d
e
fini
n
g constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
ge
n
fun
.
cc: parallel_po
l
ytopes: do
n
'
t
bo
t
he
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
ola
e
ge
evalue_sp
l
it_domains_into_orthant
s
: don'
t
reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
e
value_read: only allow ter
m
s to cro
s
s
n
ewl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eval
u
e_r
e
ad
:
onl
y
accept
i
mplicit
mu
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value
_
read: acce
p
t cons
t
raints contai
n
ing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
evalue
_
b
e
rnstein_co
e
fficients:
en
s
ure result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdool
a
e
ge
bernste
i
n: piecewise_
l
st
:
c
orrectly print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
r
e
mo
v
e
_a
l
l_equalit
i
es:
keep rem
o
v
i
ng
p
arameter eq
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: co
n
sisten
t
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
doc: update
now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound
:
allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Re
v
ert "ead
d
_partitions:
t
ry
t
o
c
ombine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
oolaege
evalue_read_parti
t
ion:
put partitions back i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
ge
e
value
:
r
ed
u
ce_evalue
:
add note on s
o
m
e
m
is
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaeg
e
bernstein
.
cc:
h
a
ndle input wit
h
unions + r
e
l
a
tion viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
m
a
x
i
m
i
z
e
.
cc
:
deal wit
h
unions in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
aege
evalue
_
substitute: p
r
operly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e
.
c: cl
e
an
up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
re
a
d: correctly r
e
ad variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
eva
l
u
e
_
r
e
a
d: accept top
l
evel "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
updat
e
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven
Verdo
o
laege
ev
a
lue_back
s
ubstitute:
a
dd required
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
e
r
doo
l
ae
g
e
e
v
alue
.
c: *_partitions:
s
impli
f
y
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
more specific
i
n
f
orm
a
t
i
on on buggy cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoo
l
aege
configure
.
in:
r
equir
e
cddlib 0
.
9
4
e
by test
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfi
g
ure
.
in:
o
n
ly comp
i
l
e
o
c
c
if co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
add some t
e
sts f
o
r implem
e
ntation of projec
t
ion theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
d
oc: document new
option
s
an
d
new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
AU
T
HOR
S
: upd
a
te support info
r
m
at
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
genfun
.
cc:
s
hort_
r
at::print: correctly print polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Export
s
e
r
ies a
s
barvinok_enu
m
erate_se
r
ies and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
remo
v
e_parameter_equalities: stop "removin
g
" equa
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
se
r
ies: le
a
v
e
fr
e
eing o
f
P argume
n
t to calli
n
g functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
doc
:
documen
t
implementat
i
on of
t
h
e
projec
t
ion theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
add barvinok_enumerate_e_se
r
ies implementing the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genf
u
n
.
cc: f
i
x
and docume
n
t parallel p
o
lytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
olaege
Only compile zsolve if gcc
3
.
4 or later i
s
availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
ve G
i
NaC
-
i
n
dependent p
a
rt
o
f
library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olae
g
e
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
d
o
o
l
aeg
e
doc: how to c
o
unt the
number of ele
m
ents i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
o
laege
doc/impl
e
me
n
tat
i
on
.
tex:
avoid multiply def
i
n
e
d label
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaege
lattice_width
.
c: try vertices
o
f previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: doc
u
m
e
n
t in
t
eger hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
h
ull
.
c
:
add
a
ll poin
t
s f
o
und b
y
sampli
n
g d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
Possible
o
p
timizations fo
r
generalized ba
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of g
e
neralized
b
asis re
d
uction to co
m
p
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Poly
h
edron
_
Integer_M
i
n
i
m
um
f
or com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document generalized
bas
i
s reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaeg
e
doc/barvino
k
.
bib: add missing str
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
rdoo
l
aege
add mor
e
missing ass
e
rt
.
h #i
n
c
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compile li
b
barv
i
no
k
as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
P
o
l
y
hedron_Reduced_Basis: don't stop too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
la
e
g
e
compute_
w
idth_
d
irectio
n
s: only k
e
ep
l
i
s
t o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
zs
o
lve: d
o
n't insta
l
l libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ve
r
sion
.
c: show use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
configure
.
in: don't set w
i
th
_
{poly,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
Po
l
yhedron_Sample
:
be satisfi
e
d with a reaso
n
able choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
r
d
o
olae
g
e
cone_integer_hull: op
t
ionally print
s
ta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basi
s
_
r
eduction: keep track of num
b
er of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options:
m
ov
e
--print-stats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erd
o
o
l
a
ege
bernstein: rewo
r
k testi
n
g framework
t
o
n
ot
depe
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
bernstein: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
suppo
r
t
n
e
wer vers
i
o
n
s of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
standard_c
o
n
s
traints:
mo
v
e
f
r
om
topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
pol
y
sign
.
h: remove
de
p
e
n
dency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdo
o
laege
zso
l
ve: add banner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
P
olyhedro
n
_Lattice_Widt
h
_
D
irecti
o
ns: print
pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
bas
i
s_redu
c
t
i
o
n
_
p
ip: abor
t
on inval
i
d
(emp
t
y) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
REA
D
ME: explain how to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: d
o
cument latt
i
ce width computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en V
e
rdoola
e
ge
some lat
t
ice w
i
dth tests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
Polyhedron_L
a
ttice_Width: d
e
cide on fa
c
ets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
a
d
d Polyhedro
n
_Lattice_Width for com
p
utin
g
lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hi
l
b
e
rt
.
c: add
Co
n
e_Integ
e
r_Hull for computing
vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
poly
s
ig
n
:
a
d
d
p
i
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaeg
e
polysign: add c
o
nstraints_op
t
to compute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
polysign_cdd: switch to us
e
of
Matrix repres
e
n
t
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
po
l
ysign_glpk: s
w
it
c
h to use of Matrix
represe
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: documen
t
computatio
n
of H
i
lb
e
r
t
b
asis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
C
one_Hilb
e
rt_Basis
:
use stand
a
rd_constra
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rd
o
o
l
aege
Use
z
solve to
c
omput
e
Hi
l
bert basi
s
of a c
o
ne
commit
|
commitdiff
|
tree
next