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
lattice_width.c: skip directions that are identical up to sign
2007-11-17
Sven
V
e
r
doolaege
ev
a
lue
.
c: ad
d
missing
i
nclude of al
l
oc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
Verdoolaege
c
o
nfigur
e
.
in: pass pat
h
of GMP in
s
tallatio
n
to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
configure
.
in
:
o
nly c
o
mpile l
i
bbar
v
inok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
do
o
lae
g
e
Poly
h
edro
n
_Reduc
e
d_Basis: don't s
t
op too
early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rd
o
ol
a
e
ge
comp
u
te_
w
idth_
d
irection
s
: only
k
eep l
i
s
t
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdool
a
ege
z
s
o
lve: don't ins
t
al
l
li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
ve
r
sio
n
.
c
:
s
h
o
w use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
con
f
igure
.
i
n: don'
t
set with_{poly,pi
p
}lib_prefix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
o
olae
g
e
Polyh
e
dron_Sample: be sat
i
sfie
d
wi
t
h a reasonab
l
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Ver
d
o
olaege
cone_integer_hull: optionally p
r
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
oolae
g
e
basis_reduction:
k
e
ep track of number
o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdoolaege
options: move
--print-
s
tats
to
librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
bernst
e
i
n
:
rework
t
esting framework
t
o no
t
de
p
end
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bernstein: add piecewis
e
_ls
t
:
:
i
s_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaeg
e
support newer ve
r
sions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
aege
st
a
ndard_con
s
traints: move fr
o
m topcom
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove
d
ependency on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
do
o
laege
zsolve: add banner
.
h
t
o
d
istributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
Poly
h
edron_Lattice_Width_Directions: print progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
ege
basis_reduction_pip: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain h
o
w t
o
ge
t
sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: docume
n
t
latt
i
ce width c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice width tests from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
P
o
lyhedro
n
_
L
a
t
t
ice_
W
idth: de
c
i
d
e on facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add P
o
l
yhe
d
ron_Latti
c
e_Wid
t
h for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ver
d
oolaeg
e
hilbert
.
c: add Cone_Integer_Hull
for c
o
mputing ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
pol
y
sign:
ad
d
pip-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
pol
y
si
g
n:
a
dd constraints_
o
pt
t
o compute opt
i
m
um o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
o
lysign_cdd: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
g
n_glpk: swi
t
ch
t
o u
s
e of Matrix r
e
presen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
doc: docu
m
ent computa
t
ion of
Hilbert basis of
a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
o
o
laege
C
on
e
_Hilbert_Basis: use stand
a
rd_c
o
n
s
train
t
s to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
Use zso
l
v
e
t
o
compu
t
e Hi
l
b
e
rt basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
o
mpile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
aege
zsolve: don't
i
nstall headers a
n
d executables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve:
i
nitializ
e
BackupTime
i
n
ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaeg
e
zso
l
ve:
zsolveSystem
:
add
m
issing
v
erbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: ov
e
rri
d
e
L
IBS
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
add 4ti2-1
.
3
.
1+autoconf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zsol
v
e from 4ti2-
1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
e
ge
p
a
ra
m
_util
.
c: export
bit_vector_
c
o
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c:
e
x
tract
part
of code for setting up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
V
e
rdoolaege
gen_fun::Hadamar
d
_product: print progress i
n
dicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdool
a
ege
m
o
ve --ver
b
ose
o
ption to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::su
m
mate:
h
andle full
specialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
Replace
i
ncremen
t
al infini
t
e set counter by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
m
a
ke
c
ounter::a
d
d_falli
n
g_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
do
o
laeg
e
merge (most of) common part of
c
ounter and tc
o
unt
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
icounter: handle speci
a
lizat
i
on of
p
o
l
y
nomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icount
e
r: don't bo
t
her "no
r
malizi
n
g" the e
x
po
n
en
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
export neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
l
aege
b
as
i
s_r
e
du
c
tion_cdd: ch
e
ck
f
o
r
p
o
ssibly incorrect out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdo
o
laege
Poly
h
edron_
S
ample: h
a
ndle poly
h
ed
r
on becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
gen_fun::operator evalue *: always re
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
g
en_f
u
n::operator eval
u
e *: re
m
ove com
m
ented o
u
t
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e
.
cc
:
handle
verification of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
barvinok_enumerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
bar
v
i
nok_e
n
umerate_e: support verificat
i
on
o
f gen
e
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
erate_e: s
u
ppor
t
conversion
o
f
g
eneratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
la
e
ge
latti
c
e_
p
oints: anot
h
er mic
r
o-op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
lattice
_
po
i
nts_fix
e
d
: nano-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun
:
:
add: c
o
ntext o
f
s
u
m should be unio
n
of con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok_enum
e
rate: use ver
i
f
y
infr
a
st
r
u
c
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
genfun
.
c
c:
p
r
in
t
_powe
r
: dro
p
s
p
a
c
es around "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
c
ount_points
_
e: fall
b
a
ck
to c
o
unt_points if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
Makefile
.
a
m: check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
verify: ad
d
check_poly_p
r
int h
e
lper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
gen_fun
:
ma
k
e sure context
is a
l
w
ay
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduce
r
::re
d
uce: canonica
l
ize coefficient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
short
_
rat::pr
i
nt: corr
e
ctly
print
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_series: rec
h
ec
k
for equalities aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
expo
r
t Matrix_
R
e
a
d
f
o
r reading Mat
r
ix
f
rom a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
p
ar
a
m_util
.
c: add Param_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
util
.
c: support
i
ng_
c
onstra
i
nts: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
polylib
:
up
d
ate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
options
.
c: use P
o
l
yhe
d
ron_Sam
p
le for
c
ount
i
ng infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
keep track of and use
s
a
turat
i
ng cons
t
r
aints i
n
Pa
r
am_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve v
a
lue_
g
cd and value_l
c
m
to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_su
m
_evalue:
o
n
ly com
p
u
te exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli
_
sum_evalue: sum over variables w
i
th
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
evalue
.
c
:
export evalue
_
v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Exc
h
a
n
geColumn
s
: normalize cons
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Pol
y
hedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue_polynom
i
al:
optimize eva
l
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
evalue
.
c:
e
m
ul: handle ano
t
her specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
evalue
.
c: eadd: hand
l
e some
s
pecial ca
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce and
us
e
evalu
e
_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: eadd: micro-optimize
a
ddit
i
o
n
of
two
rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
o
olaege
s
etting
a
n
a
p
proximatio
n
method now implies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_summate: o
p
tionally
use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_
s
um_evalu
e
: use
e
v
alue_from_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
bar
v
i
n
o
k/
p
olylib
.
h
:
rem
o
v
e
c
omp
a
tibi
l
ity with ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
move Vector_Oppose
t
o PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
polyto
p
e
_
scan: reenable -
-
d
i
rect opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdo
o
laege
remove_all
_
equalities: k
e
ep rem
o
ving equalitie
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n
V
e
r
doolae
g
e
remove_al
l
_equali
t
ies:
h
andle empty
p
o
lyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
v
e_all_
e
qualities: min
o
r code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
o
lar_
s
i
g
n
ed_cone_cons
u
mer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven V
e
rdo
o
la
e
ge
Param_Inner_Product
:
fix u
s
e o
f
value_lcm
commit
|
commitdiff
|
tree
next