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
barvinok 0.26
2008-01-16
Sven Verdoo
l
aege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
a
dd some
tests for implem
e
n
t
ation of projection
t
h
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c: d
o
cum
e
nt new op
t
ions a
n
d n
e
w ap
p
lica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
A
UTH
O
RS: update support in
f
or
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
genfun
.
cc: shor
t
_rat::pri
n
t: correctl
y
print po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
E
xp
o
rt seri
e
s
a
s barvinok_enumerate_series
a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_p
a
ramet
e
r_equalitie
s
: stop
"
r
emoving" eq
u
al
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolae
g
e
series: leave
f
reeing of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc: doc
u
ment i
m
ple
m
entation
o
f the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add
b
arvinok
_
enum
e
rate_e_series implement
i
ng
t
he
p
r
ojec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
ae
g
e
genf
u
n
.
cc: fi
x
and
documen
t
p
arallel
p
olytopes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Onl
y
com
p
ile zsolve i
f
gcc 3
.
4 or later is availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Move GiNaC-independent par
t
of
l
i
b
r
ary t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en
Verdoo
l
aege
doc: h
o
w to count the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc/implementat
i
on
.
tex: avoid mult
i
ply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoola
e
ge
lattice_width
.
c: try verti
c
es
o
f
previous integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: document integ
e
r hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
hull
.
c
:
add all points found by samplin
g
directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Poss
i
ble optimizations for gen
e
ralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
Support use of generali
z
ed ba
s
is
r
e
duct
i
on
t
o comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
add
P
olyhedron_Integer_Minim
u
m
for computing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoola
e
ge
doc: document
ge
n
eralized basis red
u
ction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc/ba
r
vinok
.
bib: add mi
s
s
in
g
st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ad
d
more
missing asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven
Ve
r
doolaege
evalue
.
c
:
add
m
issing in
c
lud
e
of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaege
configure
.
in: p
a
ss path o
f
GMP in
s
t
a
llation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
co
n
fi
g
ure
.
i
n
: only compile libbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
ool
a
ege
Polyhedron_Reduced_Basis: don't stop too early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute
_
wi
d
th_di
r
ections: only keep list of dist
i
n
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
dool
a
ege
zsolve:
d
on't
i
n
s
tall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
versi
o
n
.
c:
s
how use o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
configur
e
.
i
n: d
o
n't set wi
t
h_{poly,pip}lib
_
prefix f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedr
o
n_Sampl
e
: b
e
satisfied with a reas
o
nable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integ
e
r_hull:
o
ptionally
p
rint sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
basis_reduction:
keep
t
ra
c
k of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaege
op
t
ions: mov
e
--
p
ri
n
t-st
a
ts to
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
be
r
nstein: r
e
work testing
f
ra
m
ework to
n
ot
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
bernstein:
a
dd
p
iecewise_ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
support newer v
e
rsions of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
sta
n
dard_
c
onstra
i
nts: m
o
ve fro
m
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doolaege
p
oly
s
ign
.
h: remov
e
d
e
pend
e
n
cy on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolaeg
e
zsolv
e
: ad
d
b
a
nner
.
h to distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n V
e
rdoolaege
Polyhe
d
r
on
_
L
a
t
t
i
ce
_
Wid
t
h_Directions: print pr
o
gr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
bas
i
s_reduction_pip: ab
o
rt on invalid (empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
READM
E
:
e
xplain how to get
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
do
c
: do
c
u
ment la
t
tice width
c
omput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
rdo
o
l
a
ege
some lattice
width tests from
Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
Verdool
a
ege
Polyhedr
o
n_Lattice_W
i
dth: decide on f
a
cets
t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
V
erdool
a
ege
a
dd Poly
h
edron_Latti
c
e_Wi
d
th for computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ve
r
doolaege
h
i
lbert
.
c: ad
d
Cone
_
Integ
e
r_Hul
l
for computing
v
ert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
a
dd pip-backed
versio
n
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolae
g
e
polysign
:
add c
o
nstraints_op
t
to compute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rd
o
olaege
polysign_cdd: switch
t
o use of
M
atrix r
e
pr
e
senta
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
ae
g
e
polysi
g
n_glpk: switch
t
o use of Mat
r
ix
r
epres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
doc: docu
m
e
nt compu
t
a
t
i
o
n of Hil
b
ert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Cone_Hil
b
ert_B
a
sis: us
e
standard_c
o
nstraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
ae
g
e
Use
z
solve to c
o
mpute Hilbert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
compile
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: don't ins
t
all hea
d
ers
a
nd executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: initialize Backup
T
ime in
Z
Sol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve: zsolveSystem:
ad
d
missi
n
g verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaeg
e
zsolve:
o
verride LIBS
from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
add 4ti2-1
.
3
.
1+autoconf-0
.
1
ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
add zsolve from 4ti2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolae
g
e
param_ut
i
l
.
c
: ex
p
o
r
t bit_
v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
to
p
com
.
c: extrac
t
part of cod
e
fo
r
setting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_p
r
oduct: print
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
oo
l
aege
m
o
ve --ver
b
ose option
to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
gen
_
fun:
:
s
ummate: ha
n
dle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
Replace incremental in
f
inite s
e
t
cou
n
ter by
"
regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
make coun
t
er::
a
d
d_falling_powers st
a
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
merge (most of)
common part of counter an
d
t
c
ou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
icounter: handle specializat
i
on
o
f po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
i
counter: d
o
n't
b
o
ther "normalizi
n
g" the
e
xp
o
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
ex
p
ort ne
g
_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
do
o
l
aege
basis_reduction
_
cd
d
:
c
heck
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
Polyhedro
n
_
S
a
mple: handle polyhedron be
c
o
ming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aege
g
en_fun::oper
a
tor ev
a
lue *: always r
e
turn
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::operator eval
u
e *: r
e
move co
m
mented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barv
i
n
o
k_
e
nu
m
erate_e
.
cc:
h
a
n
dle verification of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enum
e
rate_e:
o
ptionally pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enume
r
ate_e: support verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok
_
e
numerat
e
_e: support co
n
version of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice_points: another mic
r
o-o
p
timiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_po
i
nts_fix
e
d: nano-o
p
t
i
m
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun::add: context of sum should be union
o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
ba
r
vinok_enum
e
ra
t
e: u
s
e
v
eri
f
y infrastru
c
ture for
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolae
g
e
genfun
.
c
c
: print_po
w
er: drop sp
a
ces aroun
d
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
c
o
unt_
p
oints_e: fa
l
l
bac
k
to
c
ount_poi
n
t
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
Makefile
.
am: chec
k
-e
v
a
l
u
e: print
name of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
ve
r
ify: a
d
d
c
h
eck_p
o
l
y
_print h
e
lper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
gen
_
fu
n
:
m
ake sure context is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reduce
r
::r
e
duce: canonicalize
coefficients in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sho
r
t
_
rat::pr
i
nt: co
r
r
ec
t
ly print ou
t
terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
barvinok_series:
r
e
c
h
eck for equalities af
t
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
e
x
por
t
Ma
t
r
i
x_Read for reading
M
a
t
rix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
a
ram_util
.
c
: add Param_V
e
rtex_Doma
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
util
.
c: suppor
t
ing_con
s
tra
i
nt
s
: retur
n
bit v
e
ct
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
p
olylib: update
for Matrix_Extend
commit
|
commitdiff
|
tree
next