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
Bernoulli_sum_evalue: make sure no empty partitions are created
2008-03-31
S
ven Verdoolaege
B
e
rnoulli_sum
_
evalue
:
m
ake s
u
re no e
m
p
ty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
B
e
rn
o
ul
l
i_s
u
m_eval
u
e: remove redundant
con
s
traint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
ern
o
ulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
Ber
n
o
ulli_sum: handle context
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
rnoulli_sum_eva
l
ue
:
make sure enough me
m
o
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
aege
for_e
a
ch_
l
ower_upper_bou
n
d: add another
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
v
e
r
i
fy
.
c: adju
s
t default ra
n
ge to con
t
ex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
uler
.
c
c
: s
u
m
mate_
o
ver_domain
:
only consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
param_util
.
c:
e
x
port Param_V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param
_
Polyhedron_Facet: pa
s
s facet defin
i
ng constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ge
n
f
un
.
cc: parallel_polytopes: don't
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdo
o
l
aege
evalu
e
_
s
p
l
i
t
_dom
a
i
ns_into_orth
a
nts: don't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_read: onl
y
a
llow terms
to cross new
l
ine
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_read: onl
y
ac
c
ept implicit mult
i
plicat
i
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
ev
a
lue_r
e
a
d
:
a
c
c
ept constraints
conta
i
nin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
value_bern
s
te
i
n
_
c
o
efficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
b
ern
s
tein: piece
w
ise_lst:
c
o
r
r
ectly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoola
e
ge
r
e
move_
a
ll_equalities: keep removin
g
paramet
e
r equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent
u
se o
f
Kevin's
i
n
itial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: up
d
ate now
p
ublished
p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for
_
each_lower_upper_bo
u
nd: allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
ver
t
"eadd_par
t
i
t
ions: try t
o
c
ombine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put par
t
itio
n
s back in
the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
e
value
:
r
e
duce_e
v
alue: add note on
s
ome missed opportu
n
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
ber
n
stein
.
cc: h
a
n
dle
i
n
p
ut with unions + rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoo
l
ae
g
e
m
aximize
.
cc: de
a
l
wi
t
h unions in
input during ve
r
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_subs
t
itute
:
properly handle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c
:
c
l
ean
u
p emul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
ol
a
ege
e
value_r
e
ad: correc
t
ly read
v
ariable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
olaege
evalue_
r
ead: accept
top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalue_ba
c
ksubstitute: add r
e
q
uired
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erdoo
l
aege
evalue
.
c
:
*
_p
a
rtitions: simplify constra
i
nt
s
befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
olaege
doc: more specifi
c
information on
b
uggy
c
ddlib ve
r
sion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: r
e
quire
cddlib 0
.
94e by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile
occ if code_gen
l
i
bra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
add so
m
e te
s
ts
f
or impl
e
ment
a
tion of pr
o
je
c
tion t
h
eor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
doolaege
doc:
d
ocumen
t
new options an
d
new applications
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
AUTHORS
:
update sup
p
ort i
n
format
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
ge
n
fun
.
cc: short_rat::
p
rint: correctly prin
t
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Expor
t
series as barvinok_enu
m
erate_s
e
ries and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
remove
_
p
arameter_equali
t
ies
:
st
o
p "removing" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
series: leave freeing
o
f P argument
t
o c
a
llin
g
functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
o
olaege
doc: document implementation of
t
he proj
e
c
t
i
o
n
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add b
a
rvinok_enumera
t
e_e
_
series imp
l
ementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoola
e
g
e
genfun
.
c
c:
f
ix and docu
m
ent parallel pol
y
top
e
s class
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
ae
g
e
Only com
p
ile zsolve if gcc 3
.
4 or later
i
s av
a
ila
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Move GiNaC-independent part of
l
ibr
a
ry
to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc: how to count the
number of elements in po
s
s
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/imp
l
ementat
i
o
n
.
tex: avoid multipl
y
def
i
ned la
b
el
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lattice_wi
d
th
.
c: try vertices of previous integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
a
e
ge
doc: document integer
h
ull co
m
puta
t
io
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
ll
.
c
: ad
d
all p
o
i
n
t
s
f
o
und
b
y
s
a
m
p
ling directly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
ege
Possi
b
le optimizati
o
ns for generalized basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
Support use of generalized basis red
u
ction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oolaege
add P
o
lyhedr
o
n_
I
nteger_Minimum for
computing the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc: d
o
c
u
ment generaliz
e
d basis reduction bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
doc/barvinok
.
b
i
b: add mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaeg
e
a
d
d more missing as
s
ert
.
h #
i
ncl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdo
o
laege
ev
a
lue
.
c: add mis
s
ing incl
u
de of all
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoolaege
configure
.
i
n
: p
a
ss pa
t
h
of
GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onfigure
.
in: only compile libbarvinok
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Pol
y
hedron_Reduced_Basis: don't
s
top too e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_di
r
ections
:
only keep list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoo
l
aege
zsolve: don't ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oolaege
version
.
c
: sho
w
use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaeg
e
c
onfigure
.
in: don't set wi
t
h_{poly,p
i
p}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
Polyhedr
o
n_S
a
mple: be s
a
tisfied with a reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaeg
e
cone_int
e
ger_hu
l
l:
o
p
t
ionally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
oolaege
basis_r
e
d
u
ction: keep track of nu
m
b
e
r of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolae
g
e
opti
o
ns: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
er
n
ste
i
n:
rewo
r
k
testing fra
m
ework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
e
rdoolaege
be
r
nstein: add piecewi
s
e
_
l
s
t::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
a
ege
support newer
v
e
r
sion
s
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_con
s
t
r
a
i
n
ts: move from
topcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
ege
polysign
.
h
: rem
o
ve depe
n
dency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdo
o
laege
zs
o
l
v
e:
a
d
d banner
.
h to
di
s
tr
i
but
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolae
g
e
Polyhedr
o
n_Latt
i
ce_Width_Dire
c
tions: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
basis_reduction_pi
p
:
a
bort on invalid (e
m
p
t
y
) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdo
o
laege
README
:
e
x
plain how
to g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc
:
docume
n
t lat
t
i
ce wid
t
h com
p
uta
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oola
e
ge
s
ome la
t
t
ice wi
d
th
tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
Polyhedron_Lattice_Wi
d
th: d
e
cide
o
n fac
e
ts to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoo
l
aege
add Polyhedron_Lattice_Width for
c
omputing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c
:
a
dd Cone_Inte
g
er_H
u
ll for
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysig
n
: add pip-bac
k
ed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaege
pol
y
sign
:
a
d
d cons
t
raints_opt to compute optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
polysign_cdd: switch
t
o use of Matrix represe
n
tati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
po
l
ysi
g
n
_
gl
p
k: s
w
i
t
c
h to use of Matrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: docume
n
t computa
t
ion of H
i
lbert b
a
sis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Cone_Hilbert_B
a
sis:
use sta
n
dard_constraints t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
Use z
s
olve to comput
e
Hilbert bas
i
s of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaege
zsolve: don't install
h
eaders and
executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
z
s
olve: initialize Ba
c
kupTime
i
n ZSol
v
eCont
e
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
er
d
o
o
la
e
ge
z
s
o
l
ve: zsolveSystem: add missing ve
r
bos
i
ty
che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: over
r
id
e
LIBS fr
o
m t
o
p level
commit
|
commitdiff
|
tree
next