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
Sven Verdoo
l
ae
g
e
test Bernoulli
sum
s
based exact enum
e
rati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
barvi
n
ok_co
u
nt_with_
o
ptions
:
compute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
ou
l
l
i
_sum_ev
a
lue: optio
n
ally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fractional_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
barvino
k
_enumerate
_
w
ith_option
s
: comp
u
te (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
B
e
rnoull
i
_sum_evalue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_evalue: cut of
f
some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
B
e
rnoulli_sum
_
evalue:
m
ake
sure n
o
e
m
p
t
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Bernoulli_sum_evalu
e
: remove redundant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Berno
u
lli_su
m
: handle
c
o
n
t
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doolaege
Bernou
l
li_sum_eva
l
ue: make sure enou
g
h memory
is
a
l
l
o
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
f
or_each_lower_upper_b
o
u
n
d
: add another ca
l
lba
c
k
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c: adjust
d
efault rang
e
to context if n
e
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
euler
.
cc:
s
u
mmate_over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
param_util
.
c: export Par
a
m
_
V
e
r
t
ex
_
S
et_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Param_Polyhedron_Facet: pa
s
s face
t
defini
n
g
cons
t
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
g
en
f
un
.
cc: paralle
l
_po
l
ytopes: d
o
n't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olaege
eva
l
ue_split_dom
a
in
s
_into_orthants: don't re
d
uce
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalu
e
_rea
d
: only
al
l
ow terms to cross newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
evalue_read:
o
nly accept implicit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: accept c
o
n
s
trai
n
ts contain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_bernstein_coefficients: ens
u
re result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernste
i
n: piecewise_lst: co
r
rectly
p
rint
and e
v
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_
e
q
u
alities: keep remov
i
ng pa
r
ame
t
er
equa
l
it
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
ool
a
ege
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
d
oc: consist
e
n
t
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rd
o
ol
a
ege
doc: update
now published p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
for_ea
c
h_lower_upper_boun
d
: al
l
ow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
Rev
e
rt
"eadd_partitio
n
s: t
r
y to
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_p
a
rtiti
o
n
: p
u
t
p
artitions back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalu
e
:
r
e
duce_evalue: add no
t
e on some mis
s
ed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
bernstein
.
cc:
h
andle input
w
i
t
h
uni
o
ns + rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
maximiz
e
.
cc: d
e
al with
unions in inp
u
t during v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_s
u
bstitute: properl
y
handl
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
aege
evalue
.
c: clean
u
p emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_re
a
d: correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
o
l
a
ege
e
v
alue
_
read: a
c
cept top level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en
Verdoolaege
eva
l
ue_ba
c
ksub
s
titute: add requ
i
red modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
value
.
c: *_partitions: simp
l
ify constraints be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoola
e
ge
doc: more spe
c
i
f
ic information
o
n bug
g
y
cddlib
v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaeg
e
configu
r
e
.
in
:
r
eq
u
i
re cdd
l
ib 0
.
94e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
configur
e
.
in: only comp
i
l
e occ if code_gen
l
i
br
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add som
e
t
e
sts
f
or im
p
lemen
t
atio
n
of projecti
o
n
th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
d
o
c: doc
u
ment new optio
n
s and
n
e
w applica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
UTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
o
o
la
e
ge
g
enfun
.
cc: short_rat::print
:
c
orre
c
t
ly print p
o
l
y
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
Export
series as barvinok
_
enu
m
erate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaeg
e
remove_parameter_equalities: stop
"
remo
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
series: leave freeing of
P argument
t
o calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
doc: docum
e
nt implementatio
n
of the
p
roj
e
ction theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
add
ba
r
vinok
_
enu
m
erate_e_series im
p
lementi
n
g
the
pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
genfun
.
cc: fix and document paral
l
el polytopes
class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
Only compi
l
e zsolve if gcc 3
.
4 or l
a
ter is
a
v
ailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
GiNaC
-
independent part of library to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib
:
upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n V
e
rdoolaege
doc: ho
w
t
o count t
h
e n
u
mber of e
l
ement
s
i
n possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Verdoo
l
aege
doc/implementation
.
tex: avo
i
d multiply de
f
ine
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
lattice_w
i
dth
.
c: try vertic
e
s of previo
u
s integer hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doola
e
g
e
doc: docum
e
nt integer
hull compu
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoola
e
ge
hull
.
c: a
d
d
a
l
l
points found by
s
ampling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoo
l
a
e
ge
Possible
o
ptimizati
o
ns f
o
r genera
l
ize
d
basis reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaeg
e
Support use
of gener
a
l
ized basis reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
ege
add Polyhe
d
r
o
n_Integer_Minim
u
m for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: document general
i
zed
b
asis r
e
duction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc/barvinok
.
bib:
ad
d
miss
i
ng str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
m
ore missing
assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add missing include of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaeg
e
confi
g
u
r
e
.
in: pas
s
path of G
M
P installa
t
ion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
configure
.
in: only compil
e
libbarv
i
nok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdo
o
l
a
ege
Pol
y
hedron_Reduce
d
_Basis: don't stop too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
com
p
ute_
w
idth_d
i
rections: onl
y
keep list of dist
i
nc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve: don't install l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
v
e
rsio
n
.
c
:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
a
ege
confi
g
u
r
e
.
in: don't set with_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoo
l
aege
Polyhedron_
S
am
p
le:
b
e satisfied wit
h
a reasona
b
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
cone_intege
r
_
hull: optionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_redu
c
tion: keep track of numbe
r
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
options: m
o
ve --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein: rew
o
rk testin
g
frame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
ege
bernstein: add p
i
ece
w
ise_lst::i
s
_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
su
p
p
o
rt newer
v
ersions of GiN
a
C (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
o
laege
standard_constrai
n
ts
:
move fr
o
m topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
pol
y
sign
.
h
: rem
o
ve dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add
ba
n
ner
.
h
to dis
t
ributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdool
a
e
g
e
P
o
lyhedron_Lattice_Widt
h
_D
i
rec
t
ions: print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
b
a
sis_redu
c
tion
_
pip: abort on invalid
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
README
:
explain how to get submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolae
g
e
doc: document latti
c
e
w
id
t
h computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
d
o
o
l
aege
some latt
i
c
e width tests f
r
om Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
do
o
l
aege
Polyhedron_Lattice_Width: deci
d
e
on fa
c
ets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_Lattice_
W
i
d
th for co
m
puting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
hilbert
.
c
: ad
d
Cone_Integer_Hu
l
l for comput
i
ng vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erd
o
ola
e
ge
poly
s
i
g
n:
a
d
d
p
i
p
-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n: add constr
a
ints_opt to
c
omp
u
te optimu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
polysig
n
_cdd: switch to use
o
f Matri
x
repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
p
olysign_glpk:
s
w
i
tch to use
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
d
ocument compu
t
ati
o
n
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
next