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 Ver
d
oolaege
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add so
m
e tests for imp
l
ementatio
n
o
f pr
o
jection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: document new options
a
nd new a
p
p
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: up
d
ate support info
r
matio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
gen
f
un
.
cc: short_rat::pr
i
nt: correc
t
ly p
r
int polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
Ex
p
ort series as bar
v
inok
_
enu
m
e
rate_series
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove
_
paramet
e
r_equalities: sto
p
"
r
e
m
oving"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
g
e
s
e
ries: leave freeing
of
P argument to callin
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
doc: document imple
m
e
n
tation of the pr
o
je
c
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
eg
e
add bar
v
inok_enumerate_e_series
i
mple
m
en
t
in
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfu
n
.
cc
:
fix an
d
doc
u
men
t
paral
l
el po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
O
n
ly compile zsolve if gcc
3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
d
oolaege
M
o
ve GiN
a
C
-
independent
p
art of library to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rd
o
olaege
p
o
l
y
lib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
d
oc: how
t
o co
u
nt the
number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verd
o
olaege
doc/implementa
t
ion
.
t
e
x: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
la
t
tic
e
_w
i
d
th
.
c
: try vertice
s
of p
r
evi
o
us integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docu
m
ent integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add al
l
p
o
in
t
s found
b
y
sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolae
g
e
Po
s
sible
optimizations for g
e
neraliz
e
d basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
Support use
of generalized
b
asis re
d
uctio
n
t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
a
d
d
Pol
y
he
d
ron_Integer_Minimum
f
or com
p
uting th
e
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
d
o
c: document gen
e
ralized
basis redu
c
tio
n
b
a
s
ed integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
a
ege
doc/ba
r
vinok
.
b
i
b: add mi
s
sin
g
st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
ad
d
mo
r
e
missing a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
ol
a
ege
e
v
alue
.
c:
a
dd missi
n
g include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolae
g
e
c
o
nfigure
.
in: pass path of GMP
installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Ver
d
oolaege
confi
g
ure
.
in: on
l
y
c
o
m
pile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_Reduc
e
d
_
B
asis: d
o
n't stop to
o
ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_widt
h
_di
r
ect
i
o
ns: only k
e
ep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
ge
zsol
v
e: don't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
version
.
c: s
h
o
w
use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
configure
.
in
:
d
on't set
w
i
th_{po
l
y,pip}
l
i
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
ola
e
g
e
Polyhedron
_
Sa
m
ple: be
s
atisfi
e
d with a
re
a
so
n
abl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdoolaege
c
one_integer_hull:
o
pt
i
onally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ba
s
is_reduction: ke
e
p trac
k
of number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
op
t
ions:
m
ove --print-
s
tats t
o
l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
d
o
ola
e
ge
be
r
n
s
tei
n
: rework test
i
ng fram
e
work to
n
ot depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
bernst
e
in
:
a
dd piecewis
e
_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
su
p
port newer
versions
of GiNaC (>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
doolaege
standard_constraints: move from topcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: r
e
move depende
n
c
y
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Ver
d
oolaege
zsolve
:
add banner
.
h to di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ver
d
oolaege
Polyhedron_Lattice_W
i
dth_Dir
e
ctions: print progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
a
ege
basis_reduction_pip: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
READM
E
: e
x
pl
a
in how t
o
g
et submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
doc: do
c
u
m
ent la
t
tice widt
h
computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice w
i
dth
tests f
r
om Jo
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
o
l
aege
Polyhedr
o
n_Lat
t
ice_Width: decide on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaeg
e
add Poly
h
edron
_
L
attice_Width
f
or comp
u
ting
l
a
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hilbert
.
c: ad
d
C
one_Integer_Hull for com
p
uti
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign: add
p
ip-backed
version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
pol
y
sign: ad
d
cons
t
raints_opt
t
o co
m
pute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
polysign_cdd
:
sw
i
t
c
h t
o
use o
f
Matrix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
ool
a
ege
p
o
lysign_gl
p
k: swi
t
ch
t
o
use of Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdo
o
l
a
ege
doc: document computation of Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Cone_Hilb
e
rt_Basis
:
use standard_co
n
straints
t
o av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
U
s
e zsolve
to com
p
ut
e
Hi
l
b
e
r
t
b
a
s
i
s
o
f a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
o
mpile z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: don't install heade
r
s a
n
d executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
zsolve: ini
t
ialize
B
ackupTi
m
e in ZSol
v
e
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: z
s
olveSystem: add
missing verbosity
ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsol
v
e: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaege
add 4ti2-1
.
3
.
1+
a
utoc
o
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
ol
a
ege
add zsolve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
param
_
util
.
c: export bit_vec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaege
topcom
.
c: extract
part of code fo
r
setting up s
t
and
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
r
doolaege
gen_fun:
:
H
adamard_produc
t
: print pr
o
gress ind
i
cat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
laege
move
--verb
o
se o
p
tion to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun:
:
summate: handle
fu
l
l
s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace incremental infinite set co
u
nter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
m
a
ke counter::add_fa
l
ling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of)
c
ommon
p
art
o
f cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
icou
n
ter: han
d
le special
i
zation of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
icounte
r
: d
o
n't bother "no
r
malizing" the
expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ve
r
doolae
g
e
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
basis
_
reduction_cdd: check fo
r
possib
l
y
in
c
o
r
re
c
t outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
Polyhed
r
on_Sample: handle p
o
l
y
h
edr
o
n b
e
c
o
ming
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fun:
:
o
per
a
tor evalue
*
:
a
l
ways ret
u
rn a v
a
li
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aeg
e
ge
n
_fun::op
e
rator evalue *: remove co
m
mented
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
l
a
ege
b
arvin
o
k_
e
numerate_e
.
c
c
:
handle
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok
_
en
u
mer
a
te_e: option
a
l
ly print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barv
i
nok_enumerate_e: support
verification of
g
e
n
erat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
barvinok_enumerate_e: s
u
pport c
o
nversi
o
n of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
lattice_point
s
: ano
t
her m
i
cro
-
opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoola
e
g
e
lattice_points_fixe
d
: na
n
o-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
gen_
f
un
:
:ad
d
: context of
s
um
s
hould be uni
o
n
of
context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
e
g
e
barvin
o
k_enumerate: use verify infra
s
t
r
u
c
t
ure f
o
r verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
genfun
.
cc: print_po
w
e
r: drop
s
paces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
coun
t
_
p
oints_e: fal
l
back
t
o count_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
Ma
k
efile
.
am: ch
e
ck-ev
a
lue:
pr
i
nt name of
e
ach
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify
:
add c
h
e
c
k_poly_print helper fu
n
c
t
io
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ge
n
_fun: make sure co
n
tex
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduc
e
r:
:
red
u
ce: canonicalize co
e
ffi
c
i
ents in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_rat::print: cor
r
ectly
pri
n
t
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_series:
r
e
check
for equalities af
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
export Matrix_Read for reading Matrix from a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c
: add Pa
r
a
m_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
util
.
c: s
u
p
porti
n
g
_
c
onstraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
po
l
ylib: u
p
date for Mat
r
ix_Ex
t
end
commit
|
commitdiff
|
tree
next