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 Verdoola
e
ge
a
d
d s
o
m
e tests f
o
r
imple
m
entat
i
on of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
doc: doc
u
me
n
t n
e
w options and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
AUTHO
R
S: update
s
upport
information
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
ae
g
e
g
e
n
f
u
n
.
cc
:
short_rat::pri
n
t:
c
orrectly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
E
x
port
series as barvinok_enumerat
e
_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
r
emove_param
e
t
e
r_equalitie
s
: sto
p
"
removing"
e
qu
a
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
s
eries: leav
e
fr
e
ei
n
g of P argum
e
nt to calling func
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
d
oc:
document
i
mplem
e
ntation of the projec
t
io
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvi
n
ok_
e
n
umer
a
t
e
_
e
_se
r
ies implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
d
o
olaege
ge
n
f
un
.
c
c: fix a
n
d d
o
c
ument paralle
l
polytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
Only compi
l
e zsolve if gcc 3
.
4 or later i
s
availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
Move G
i
N
aC-i
n
de
p
endent part of libra
r
y
to ba
r
vino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
p
olylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
do
c
:
how to count
t
he nu
m
ber of
e
lements in po
s
sib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc/implementation
.
tex:
a
void
m
ulti
p
l
y
define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
lattice_width
.
c: try vertice
s
of previ
o
us integ
e
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
o
c
ume
n
t integer hull
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
hull
.
c
: add all po
i
nts found
b
y
sampling
directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Po
s
s
ible opt
i
mizations for genera
l
ized basi
s
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
g
e
Supp
o
r
t
use of general
i
zed basis r
e
duction to
c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
ad
d
Po
l
y
h
edron_Int
e
ger_
M
i
n
imum for
co
m
puting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document genera
l
ized b
a
sis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
ege
doc/barv
i
nok
.
bib: a
d
d missing
stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
d
o
o
l
aege
add more missi
n
g assert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoolaege
evalue
.
c
:
add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoolaege
configure
.
in: pa
s
s path o
f
GM
P
inst
a
l
l
ation to P
o
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoola
e
ge
c
onfigur
e
.
in: only compile libbarvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
e
g
e
Polyhedr
o
n_Reduc
e
d_Basis: do
n
'
t st
o
p too e
a
rl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
c
o
m
p
ute_wi
d
th
_
dir
e
ct
i
o
ns: only
k
ee
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
zsolve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdool
a
ege
ver
s
io
n
.
c: show use
of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
c
o
nfigure
.
i
n:
d
o
n
'
t set wi
t
h
_{poly,p
i
p}l
i
b_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
P
o
lyhedron_Sample: be satisfied with
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdool
a
eg
e
cone_integer_hull: opt
i
onal
l
y
print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basi
s
_red
u
ct
i
o
n
:
ke
e
p
t
ra
c
k of numb
e
r of LPs so
l
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
opt
i
ons: mov
e
--
p
rint-stats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoo
l
aege
bern
s
tein: rew
o
rk testing fr
a
mework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoolaege
bernstein: add p
i
ecewise_ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
sup
p
ort newer versio
n
s of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
standard_c
o
nstraints
:
move
f
r
om topcom
.
c t
o
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
polysi
g
n
.
h: re
m
ove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
olae
g
e
zsol
v
e:
add ba
n
n
e
r
.
h to
d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Polyhedron
_
Lat
t
i
c
e
_Width_Directions: print
p
r
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolae
g
e
basis_red
u
ct
i
on_pip: a
b
ort on invalid
(
empty) i
n
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
R
EADME: explain how to
g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaeg
e
do
c
: document lattice widt
h
co
m
p
u
t
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
some lattice
w
idth test
s
from J
o
n Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
P
o
l
yhe
d
ron_Latt
i
ce_Widt
h
: decide on facets
t
o
clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verd
o
olaege
add Polyhedron_
L
attice_Widt
h
f
or
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilber
t
.
c: add Cone_
I
nteger_Hull for comp
u
ting v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
po
l
y
sign: add pip-ba
c
ke
d
vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n: ad
d
co
n
straints_opt to
c
ompute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd
:
swit
c
h to use of Matrix r
e
presentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
polys
i
gn_
g
l
p
k:
s
witch to us
e
of Matri
x
rep
r
esenta
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: docu
m
ent computation of
Hilbert
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Cone_Hilbert_Basis
:
use standa
r
d_constraints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
Use z
s
ol
v
e to compute
Hilb
e
r
t basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdool
a
ege
zs
o
lve: don't
i
nstall
h
ead
e
rs an
d
executa
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lv
e
: initialize BackupTim
e
in ZSo
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
z
so
l
v
e: zsolveSystem:
ad
d
miss
i
ng ve
r
bos
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolv
e
:
overr
i
de
L
I
B
S f
r
o
m
top
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add 4
t
i2-1
.
3
.
1
+
a
ut
o
c
on
f
-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
add z
s
olve
from
4t
i
2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
p
a
ram_util
.
c: expo
r
t bit_vec
t
o
r
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olae
g
e
t
o
pcom
.
c: e
x
tra
c
t
p
art
of
code for setting up
s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
e
rdool
a
ege
gen_fun::
H
adamard_prod
u
ct: prin
t
progres
s
indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose opt
i
on to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
g
e
n
_
f
un::summate: handle full specializa
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
Replace incremental infinit
e
set c
o
unter by
"
r
e
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
ma
k
e counter::add_falli
n
g_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
merge
(
most o
f
) common part
o
f counter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ic
o
u
nt
e
r: handl
e
specializat
i
on
of poly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
icounter: don't bo
t
her "norm
a
lizing"
th
e
e
x
ponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
bas
i
s_re
d
uction_cdd: ch
e
c
k for possibly incorre
c
t ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
Polyhedro
n
_
S
a
mple:
h
andl
e
polyhedron bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::ope
r
ator evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
operator e
v
a
lu
e
*:
r
emove commente
d
o
ut d
e
bug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verd
o
olaege
ba
r
vin
o
k_enumerate_e
.
cc: handl
e
verificati
o
n
o
f prob
l
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enumerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
barvinok_e
n
umerate_e: su
p
port ve
r
ific
a
tion of
g
eneratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
b
arvinok_enume
r
at
e
_e: sup
p
ort
c
o
n
version of generat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: anothe
r
micro
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
lattice_po
i
nts_fixed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolae
g
e
gen_
f
u
n
:
:
add
:
context o
f
sum
s
hould be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate: use
verify
i
nfrastruct
u
r
e
for ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
genf
u
n
.
cc: p
r
int_po
w
e
r
: drop spaces around "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
count
_
point
s
_
e
: fa
l
l back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
M
akefile
.
am
:
check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
verify: add chec
k
_poly_
p
rint helpe
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_fun:
m
a
ke sure
c
ontext
i
s always
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
r
educe
r
::
r
educ
e
:
canonica
l
i
z
e
coeffi
c
i
ents in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short_r
a
t:
:
print: co
r
rectly print ou
t
te
r
ms
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
barvinok_series: recheck for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export Matri
x
_
Read for
re
a
ding Matrix from a s
t
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
a
ram_u
t
il
.
c: add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ut
i
l
.
c
: supporting_con
s
traints: r
e
turn
bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: update fo
r
Matrix_Ex
t
en
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
optio
n
s
.
c: use Polyhedron_Sample for
count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
next