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
S
v
en Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laeg
e
add s
o
me
t
ests for imple
m
e
n
tation of pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
ege
doc: d
o
cument new options and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: up
d
ate support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
gen
f
un
.
cc: short_rat::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
o
laege
Ex
p
ort s
e
ri
e
s as bar
v
inok_enume
r
ate_series
and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
a
ege
remove_pa
r
ameter_equalities: stop "rem
o
ving" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
e
s: leave f
r
eeing o
f
P
ar
g
ument to c
a
lling fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaeg
e
d
o
c: docume
n
t
i
mplementa
t
ion of the projection
th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
add barvinok_enumerate_e_series implementing the p
r
ojectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
g
enfun
.
cc: fix and
d
ocument para
l
l
el polytopes c
l
as
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
Onl
y
co
m
pile zsolve
i
f
g
c
c 3
.
4
o
r
later
i
s
availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-i
n
depe
n
dent pa
r
t of librar
y
t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
pol
y
lib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
V
erdoola
e
ge
doc: how to c
o
unt
th
e
n
u
mber
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/imple
m
entation
.
tex:
avoid mu
l
ti
p
ly defi
n
ed
l
ab
e
l
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoo
l
a
ege
lattice_
w
idt
h
.
c
:
try vertices of
p
revious i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
hull
.
c: add al
l
po
i
nts found b
y
sampl
i
ng direct
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdool
a
ege
Possibl
e
o
p
timizations for generalized
b
a
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Sup
p
ort
u
se of gene
r
a
l
ized basis
r
edu
c
tion to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
rdoolaege
add Polyhedro
n
_Intege
r
_Minimum for
computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verdoolaege
doc: doc
u
m
e
nt g
e
neralized ba
s
i
s reducti
o
n based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
aege
doc/barvinok
.
bi
b
: add
mis
s
ing s
t
r
i
ng
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ve
r
doolaege
add more missing a
s
sert
.
h
#i
n
c
l
udes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ev
a
lue
.
c: add mis
s
ing include
o
f a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
config
u
re
.
in: p
a
s
s path of GMP install
a
t
i
on to
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
co
n
figure
.
in: on
l
y
compi
l
e libbarvinok as a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolae
g
e
P
olyhed
r
o
n_Reduced_Basis: do
n
'
t
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
oolaege
compute_w
i
d
th_di
r
e
ctions: only ke
e
p list
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
o
olaege
z
so
l
ve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
e
ge
ver
s
ion
.
c:
s
how use of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
configure
.
i
n:
d
o
n
't set with_{poly,pip}l
i
b
_
prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
Poly
h
ed
r
on_Sample
:
be sati
s
fied with
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
con
e
_integer_hull: opt
i
on
a
l
l
y print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
olaeg
e
basis_reduction: keep tr
a
ck of numb
e
r of
LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doo
l
aege
o
ptions: move --
p
ri
n
t-stats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolae
g
e
bernstein:
r
ework te
s
ting framework to not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bernstein
:
add p
i
e
c
e
wise
_
l
s
t::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
upport newer versions of Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
dool
a
ege
standard_
c
on
s
t
r
a
i
nts
:
mov
e
from
t
opcom
.
c to
p
olys
i
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
polysign
.
h:
r
emove dependency
o
n lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
zsolve: add bann
e
r
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
S
ven
V
erdoolaege
Polyhedron_Latt
i
ce
_
Width
_
Dir
e
ctio
n
s: print p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
b
asis_r
e
du
c
t
i
on_pip:
abort
o
n
i
n
v
a
li
d
(
e
mpty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoolaege
README: ex
p
lain
how to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdool
a
e
g
e
doc: document lattice width com
p
utatio
n
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
some l
a
tt
i
ce width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Polyhedron_Lattice_Wi
d
th: decide
o
n
facets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
r
doolaege
add Pol
y
h
e
d
r
on_Lattic
e
_W
i
dth f
o
r
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdo
o
la
e
ge
hilbert
.
c: add Cone_Integer_Hull for
c
o
m
p
u
ting vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
olysign: add pip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysign: a
d
d const
r
aints
_
opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign
_
cdd: sw
i
tch to use of Matrix rep
r
e
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaege
poly
s
ign_glpk: switch
to
u
se
of Matrix represent
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: docum
e
nt comp
u
tation of Hilber
t
basis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdool
a
ege
C
o
ne
_
Hilb
e
rt_Basis: us
e
standard_c
o
n
strai
n
ts
t
o
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
s
e zsolve to
co
m
p
u
te
H
ilbert bas
i
s of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
c
ompile z
s
olv
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
d
o
olae
g
e
zsolve:
d
on't install headers
a
n
d
execu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rd
o
olaege
zsolve: initialize
Bac
k
upTime in ZSol
v
e
Cont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve: zs
o
l
v
e
S
ystem: add
m
iss
i
ng verbosity
c
heck
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laege
zsol
v
e: over
r
id
e
LIBS from top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
a
d
d 4ti2-1
.
3
.
1
+
autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aeg
e
add zsolve from 4ti
2
-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolaege
p
a
ram_uti
l
.
c: e
x
port bit_vector_co
u
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
top
c
om
.
c
: ext
r
ac
t
part of code
for
s
e
tting
u
p
s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolaeg
e
gen_fun::Hadamard_product: print pro
g
ress ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
move
-
-
verbose option to
l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate
:
handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
R
epla
c
e incremental inf
i
nite set counter b
y
"re
g
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaeg
e
make
cou
n
ter::add_fallin
g
_
pow
e
rs stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
e
r
ge (most of) common
par
t
of counter and tco
u
n
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
icounter: handl
e
spec
i
ali
z
ation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter: don't b
o
ther
"
normalizing" the ex
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
export neg_le
f
t_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
basis_reduction_c
d
d
:
check for p
o
s
sibly incorrect
o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
oolaege
Polyhedr
o
n_Sa
m
ple:
h
an
d
le p
o
lyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::op
e
r
ator ev
a
lue *: alw
a
ys
r
eturn a
v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun
:
:operator evalue
*
: remove comm
e
n
t
e
d
ou
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
barvi
n
o
k_
e
numerate_e
.
c
c
: handle
verificat
i
on
o
f pr
o
blem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
ba
r
vinok_enume
r
ate_e: o
p
tionally print
s
t
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerat
e
_e:
s
upport verification
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
b
a
rv
i
nok_enumera
t
e
_e:
s
up
p
ort conversion of generat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
d
oolaege
lattice_p
o
ints: anothe
r
micro
-
optimi
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
lattice_point
s
_fixed
:
nano-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
g
e
n
_
fu
n
::ad
d
: contex
t
of s
u
m should
b
e union of
c
ontext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
ege
ba
r
vinok_enume
r
ate: u
s
e verify infrastructure for verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolae
g
e
ge
n
fun
.
cc: prin
t
_power: drop spac
e
s a
r
ou
n
d "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
cou
n
t_points_e: fall ba
c
k to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
Makef
i
le
.
am: check-evalue
:
print name of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_pri
n
t
h
elper fu
n
ction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun: ma
k
e
sure
co
n
text is always set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
o
o
la
e
ge
red
u
cer
:
:reduce: canonicalize coefficients in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
short_rat::print:
c
orrectly pr
i
nt out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaeg
e
barvino
k
_serie
s
: reche
c
k for equ
a
lities af
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
e
x
port Matrix_Read for
r
e
ading Ma
t
rix f
r
om a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
param_util
.
c: add Param
_
Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
util
.
c:
su
p
portin
g
_constra
i
nts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib:
u
pdat
e
for Matrix
_
Extend
commit
|
commitdiff
|
tree
next