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
doc: document integer hull computation
2007-11-21
Sv
e
n Verdoo
l
aeg
e
doc: docume
n
t i
n
t
eg
e
r hull comp
u
tatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hul
l
.
c:
a
dd all poi
n
t
s
found
by
s
am
p
li
n
g d
i
re
c
tl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoolaege
Possible op
t
imizations
f
or
g
eneralized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
S
upp
o
rt use of generali
z
ed basis
r
eduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
add P
o
lyhedron_Integer
_
Minimum for co
m
p
uting
the i
n
t
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
olaege
do
c
: do
c
u
m
ent generalized
b
asi
s
reduction ba
s
ed
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib: ad
d
missing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add mo
r
e missi
n
g assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add m
i
ssing
include
o
f alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
conf
i
gure
.
in: pass
p
a
t
h
of GMP install
a
t
ion
t
o Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
configure
.
in: only compile libba
r
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
e
r
doola
e
g
e
Polyhe
d
r
on_Reduced_Basis: do
n
'
t stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
do
o
laege
c
ompute_
w
idth_direct
i
ons
:
only keep l
i
st of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don
'
t
i
nstall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c
:
show use of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set wit
h
_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
Polyhedro
n
_Sample: be
satisfied with a re
a
sonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone
_
integer_hul
l
: optionally prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
o
olaege
basi
s
_re
d
uc
t
ion: keep t
r
ack of nu
m
be
r
of L
P
s
sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: mov
e
--p
r
in
t
-stats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolae
g
e
b
e
rnstein: rework testing framework to
not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoo
l
aege
b
e
rn
s
te
i
n: add
p
iecewise_lst
:
:
i
s
_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
su
p
port newer version
s
o
f G
i
N
aC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
standa
r
d_co
n
str
a
ints: move from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
poly
s
ign
.
h: remove depe
n
d
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
z
solve: a
d
d
bann
e
r
.
h
t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ver
d
o
o
l
a
ege
Polyhedro
n
_Latt
i
ce_Width_
D
ir
e
ctions
:
pri
n
t
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
si
s
_red
u
ction_p
i
p
:
abort on inv
a
l
id (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
ol
a
ege
R
EAD
M
E: explain how to get su
b
module
s
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
doc: document
latt
i
c
e
width com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdool
a
ege
some lattice wid
t
h t
e
sts from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
Verdoolaege
Polyhedron_Latti
c
e
_
W
idth
:
d
ec
i
de
o
n
f
acets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
e
rdoolaege
add Polyhedron_Lattice_W
i
dth
f
or c
o
m
p
u
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
ge
hilbert
.
c
: add Cone
_
Integer_Hull for compu
t
ing
ver
t
ic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
pol
y
sign: add pip-backe
d
ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
erdoo
l
aege
polysign: add
constra
i
nts
_
opt t
o
c
ompute opt
i
mum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
polysign_cdd: sw
i
tch to use of Matrix
r
epresen
t
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
polysi
g
n_glpk: sw
i
tch to use o
f
Ma
t
rix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
do
c
: docu
m
ent co
m
putatio
n
o
f
Hilbert
b
a
sis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
Cone_Hilb
e
rt_Basis: u
s
e standard_constraints t
o
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
Use zso
l
ve to com
p
u
te Hilbert
bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
compil
e
z
s
ol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
o
l
v
e
: do
n
't in
s
tall
h
eaders
a
nd execut
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: initialize Ba
c
kup
T
ime in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aeg
e
zsolve:
z
solveSystem: ad
d
mis
s
i
n
g
verbosity ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
g
e
zsol
v
e: ove
r
ride
LIBS from
t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
a
dd 4
t
i
2
-1
.
3
.
1+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
ola
e
ge
add
zsolve from 4
t
i2-1
.
3
.
1+auto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
param_util
.
c: export bit_
v
ector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
to
p
com
.
c: ex
t
rac
t
par
t
of co
d
e for
s
etting
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolaege
gen_fun::Hadam
a
rd_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verd
o
olaege
move
-
-verbos
e
option to library
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
er
d
oolaege
g
en_fun::summate: handle
f
u
l
l
s
p
ecial
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Rep
l
ace incremental infinite se
t
count
e
r
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
make
c
ounter::add_falling_po
w
ers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
merg
e
(mo
s
t
o
f) co
m
mon part of count
e
r and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
icou
n
ter: handle spec
i
aliz
a
tio
n
of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
counter: don't bother "no
r
mal
i
zi
n
g" the
e
xpone
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
e
xport n
e
g_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_
r
educ
t
ion_
c
dd: check for possibly incorrect o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
Polyhedron
_
Sample: handle
p
olyhedron b
e
coming empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoola
e
ge
gen_fun:
:
oper
a
tor evalue *: always
r
e
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
g
e
n_fun::operator evalu
e
*
:
r
e
move comm
e
nted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enu
m
erate_e
.
cc: handl
e
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate_e: optio
n
ally print
stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_e
n
umerate_e: support verification of generat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
bar
v
in
o
k
_
enume
r
ate_e: support conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doo
l
a
ege
lat
t
i
ce_
p
o
i
nts: another
m
icro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poi
n
t
s
_fixed: n
a
no-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::ad
d
: context of sum should
be un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate: use verify inf
r
astructure
f
or
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
fun
.
cc:
p
rint_pow
e
r:
dr
o
p spaces
ar
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
count_points_e:
fall back
t
o count_po
i
nts if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
M
a
kefile
.
am: check-evalue:
p
rint name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rify: add
c
h
eck_poly_
p
rint helper
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun: make sure context is al
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doola
e
ge
reducer
:
:r
e
d
uce: canonicalize
c
oeff
i
cient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
s
hort_rat::p
r
i
n
t
: correctly print out t
e
rms
w
ith
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ba
r
vinok_series: rechec
k
f
or equali
t
ies afte
r
co
m
p
ut
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
rt Matrix
_
Read for readin
g
M
a
trix from a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
p
a
ra
m
_util
.
c: add Para
m
_Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
do
o
l
a
e
ge
util
.
c: sup
p
orting_const
r
a
i
nts: return
b
i
t ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
l
aege
p
olylib: u
p
date for
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
opti
o
ns
.
c:
use
P
olyhedron_Sam
p
le f
o
r counting i
n
fi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
k
e
e
p
track of an
d
u
se saturating cons
t
raints in Param_Poly
h
e
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value
_
gcd and
val
u
e_l
c
m
t
o
p
ol
y
li
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Bernoulli
_
sum_evalue
:
only compute exact sum if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoull
i
_
s
um_evalue
:
s
um
o
ver variables with inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalu
e
.
c: ex
p
ort e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
ae
g
e
Polyhedron_Ex
c
hangeCol
u
mns: normal
i
z
e
cons
t
r
a
i
nts af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Po
l
yhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
evalue_polynomial: optimize evaluation
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value
.
c: emul:
handle an
o
th
e
r spec
i
al case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value
.
c: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
i
n
troduce and use eval
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
evalue
.
c: eadd: micro
-
optimize
ad
d
ition of
two ratio
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
setting
an app
r
oximation method now im
p
lies
p
oly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
barvinok_summate: opt
i
on
a
lly use Berno
u
lli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bern
o
ulli_sum_
e
value: us
e
evalue_from_se
c
t
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
o
l
aege
barvinok/polylib
.
h: remo
v
e compatibili
t
y with old
e
r
.
.
.
commit
|
commitdiff
|
tree
next