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
add some tests for implementation of projection theorem
2008-01-16
Sven Verdool
a
ege
add some tests for i
m
ple
m
e
ntat
i
on of
projection
t
h
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
do
c
: do
c
u
ment n
e
w options an
d
n
e
w applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
AUTHORS: u
p
date support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genfun
.
c
c: short_rat::pr
i
n
t
: corre
c
tly print
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
e
ge
Export series as ba
r
v
i
nok_enumerate_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equ
a
lities: s
t
op
"removing" equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
seri
e
s:
l
eave freeing of P argument to calling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
d
o
c: doc
u
men
t
implementation
o
f the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add barvinok_enumerate_e_series implementing
th
e
pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
gen
f
un
.
cc: fi
x
and document pa
r
allel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile zsolve if g
c
c
3
.
4 or
l
a
t
er is a
v
ai
l
a
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
Move GiNa
C
-independen
t
pa
r
t of librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
d
o
c: how to count the number
o
f
elem
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/imp
l
emen
t
ation
.
tex: av
o
id multiply defined
l
abe
l
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verdoolaege
latti
c
e_width
.
c:
t
ry ve
r
tices
o
f pre
v
ious intege
r
hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
do
c
: document integer
h
ull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
hull
.
c
:
add
a
ll points found
by sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible opt
i
mizations for generaliz
e
d basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Supp
o
rt use of
g
e
neralized basis
redu
c
t
ion
t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
add Po
l
yhedron_Integer_Minimum for co
m
putin
g
th
e
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olae
g
e
doc: do
c
ument generalized basis re
d
uc
t
ion based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
ege
d
o
c/barvinok
.
bib: add missin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
dd more
missing asse
r
t
.
h #inclu
d
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add mis
s
ing inclu
d
e of allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoo
l
ae
g
e
co
n
figure
.
in: pass
path of GMP
insta
l
la
t
ion to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
d
oolaege
configure
.
in: only compile libba
r
vinok as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Pol
y
he
d
ron_Reduced_B
a
sis: d
o
n't sto
p
too e
a
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
c
ompute_width
_
direct
i
ons: onl
y
keep
list o
f
dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
z
s
o
l
v
e: don'
t
install li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
vers
i
on
.
c: show
use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
configure
.
in: don't
s
e
t
w
ith_
{
poly,pip}lib_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolae
g
e
Polyhedron_Sample: be satisfied with a rea
s
ona
b
le choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
cone_intege
r
_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
b
a
s
i
s
_
redu
c
tion: ke
e
p
t
r
ack of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoola
e
ge
op
t
ions:
m
ove --print-st
a
ts to
l
i
brar
y
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
d
oolaeg
e
bernstein:
r
ework
t
e
s
ting fram
e
work
t
o not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
aege
b
e
rnst
e
in: add piecewise_
l
st::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
support n
e
wer
ver
s
io
n
s of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdool
a
ege
standard_con
s
t
raints:
m
ove fr
o
m
topcom
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
do
o
laege
polysign
.
h:
remove dependency
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
do
o
la
e
ge
zsolve: add ba
n
ner
.
h to dist
r
ib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoola
e
ge
Pol
y
hedron_L
a
ttice_Widt
h
_Directions: p
r
int prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doola
e
ge
b
asis_r
e
duction_
p
ip
:
abort on invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: ex
p
lai
n
how to
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document la
t
t
ice width computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
s
ome lat
t
i
c
e
w
idth tes
t
s from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
Polyhedr
o
n_L
a
tt
i
ce_
W
idth: de
c
i
de on facet
s
to cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_
L
attice_W
i
dth
for computing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
hilbert
.
c: add Co
n
e_Integer_Hull for c
o
mputing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
ol
a
e
ge
polys
i
gn
:
a
d
d pip-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
ly
s
i
gn: add c
o
n
s
tra
i
nts_opt to comp
u
te
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: s
w
i
tch to use of
M
atr
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolaege
polysig
n
_glpk:
switch to use of M
a
t
rix re
p
resentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
doc: document computation of Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoola
e
g
e
Con
e
_
Hilbert_
B
asis:
use stan
d
ard_co
n
s
tr
a
ints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
U
s
e zsolve to compute Hilbert basis
of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaege
zsolve: don't in
s
t
all hea
d
ers
and e
x
ecutables
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
zs
o
lv
e
: initialize BackupTi
m
e i
n
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
l
a
ege
zsolve:
z
s
o
lveSystem
:
a
d
d
missing ve
r
b
o
sity
ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
zsolve: o
v
erride LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
l
a
e
ge
add 4ti2-1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
dool
a
ege
a
d
d
z
s
olve fro
m
4ti2-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
e
rdoola
e
ge
param_util
.
c: export b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topco
m
.
c: extract part of code fo
r
s
e
ttin
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoola
e
ge
ge
n
_fun:
:
Hadamar
d
_produ
c
t
:
print pr
o
gress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
e
n
Verd
o
o
l
aege
move --ve
r
bose opt
i
on to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
gen_f
u
n::summa
t
e: handle full specia
l
iza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
Replace incremental infinite set counter
by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdool
a
ege
make co
u
nter::add_f
a
lling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
merge (m
o
st of)
co
m
mon p
a
rt of
counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
icounter: handle specialization of
po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bo
t
her
"
n
ormali
z
ing" th
e
ex
p
onen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
basis_reduc
t
i
o
n_cdd
:
check for pos
s
ib
l
y in
c
orr
e
c
t
o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Po
l
y
h
e
d
r
on_Sample: handle polyh
e
d
ron
b
eco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen
_
fun::operator eva
l
ue
*
:
always ret
u
r
n
a
v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ge
n
_fun::
o
perator evalu
e
*: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumera
t
e_e
.
cc: handle verificati
o
n of
p
roblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvin
o
k_enumer
a
te
_
e: op
t
ionally print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
oo
l
ae
g
e
b
a
r
vinok_enumera
t
e_e: su
p
port verification of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
barvinok_enumerate_
e
: sup
p
ort conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
la
t
tice_points: ano
t
her micr
o
-optimizat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
lattice_po
i
nts_fixed:
n
an
o
-opt
i
mizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::add: co
n
text of sum should be union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
b
a
rvinok_enumerate:
u
se veri
f
y inf
r
as
t
ructure for verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
genfun
.
cc: print_power: drop sp
a
ces aro
u
nd "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doo
l
a
e
ge
coun
t
_
p
oints_e: fall back to count_
p
oints if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Makefile
.
am: check-eva
l
ue: pri
n
t nam
e
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rify:
a
dd
c
hec
k
_poly_print
h
elp
e
r functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: mak
e
s
u
re context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
reducer::reduce: canonical
i
ze coefficie
n
ts in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
s
hort_rat::pr
i
nt:
c
orrectly pri
n
t o
u
t t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_
s
eries: recheck for e
q
ualities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoola
e
ge
e
x
port
Matrix_Read f
o
r reading Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
par
a
m_util
.
c:
ad
d
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
util
.
c: suppor
t
i
n
g_cons
t
r
a
i
nts: return
bit v
e
cto
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
p
o
l
y
lib: update
for Matrix_
E
xten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
options
.
c: use Polyhedron_Sample
f
or count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
next