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
doc: more specific information on buggy cddlib versions
2008-02-01
Sven Verdoolaege
doc: more speci
f
i
c information on buggy cd
d
l
ib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaege
configure
.
in:
require cddlib 0
.
9
4
e b
y
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
configure
.
i
n
: on
l
y co
m
pi
l
e occ if code_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add som
e
tests fo
r
implementat
i
on
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoo
l
ae
g
e
doc:
d
ocum
e
nt new o
p
ti
o
ns and new applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
U
T
H
ORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c: s
h
ort
_
r
at::pri
n
t: cor
r
ect
l
y print
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oola
e
g
e
E
xport series as
barvinok_enumerat
e
_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
remove_parameter_equalities: st
o
p "removing" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Ve
r
doolaege
serie
s
: leave freeing of P
arg
u
ment
to ca
l
ling
function
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
doc: document impleme
n
tation
of the projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
a
dd
b
arv
i
n
o
k_enumerate_e_series i
m
ple
m
entin
g
t
h
e
pro
j
e
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfun
.
cc: fix and docume
n
t par
a
llel
p
o
lytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Only compile zsolve if gcc 3
.
4
or lat
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Move Gi
N
a
C
-in
d
ep
e
n
d
ent p
a
rt of library to barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
polyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
S
ven V
e
rdoolae
g
e
doc: how to count the number
of el
e
ments in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
do
c
/implement
a
ti
o
n
.
t
e
x: a
v
oid mult
i
pl
y
d
e
fine
d
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
lattice_
w
idth
.
c: try vertices of p
r
evious int
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document integer h
u
ll computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
hul
l
.
c: add all poi
n
ts found
by sampling direct
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaeg
e
P
o
s
sible opti
m
i
z
ati
o
ns f
o
r generalized b
a
sis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
o
laeg
e
Support use o
f
generali
z
ed basis reduction to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
add Polyhedr
o
n_Intege
r
_Minimum
for comput
i
ng the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc: docu
m
ent general
i
z
ed basis
r
educt
i
on based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/ba
r
vin
o
k
.
b
i
b:
a
d
d missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Ver
d
oolaege
add more mi
s
s
i
n
g
as
s
ert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
r
doolaeg
e
e
v
a
l
ue
.
c: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
o
laege
c
o
n
figu
r
e
.
i
n: pass
path of GMP in
s
tallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdo
o
laege
c
onfigu
r
e
.
in
:
onl
y
compile li
b
ba
r
v
ino
k
as a st
a
ti
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
ly
h
edr
o
n
_
R
educed_Ba
s
is: don't st
o
p
to
o
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoola
e
g
e
c
o
mpute_width_directions: on
l
y
keep l
i
st of
disti
n
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
zsolv
e
: d
o
n't install li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
ve
r
s
i
on
.
c: show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
lae
g
e
configure
.
in: don't set with_{po
l
y,pip}lib_p
r
e
f
ix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Poly
h
ed
r
o
n
_
Sample
:
be satisfied with a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoola
e
ge
cone_integer_h
u
ll: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
rdoolaege
basis_reduction: k
e
ep
track of numb
e
r
of LPs
sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
o
p
tions: move -
-
pri
n
t-
s
t
a
ts to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
be
r
nst
e
in: r
e
work tes
t
ing fr
a
mewo
r
k to not
d
ep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
a
ege
bernstei
n
: add
p
i
ecew
i
se_lst
:
:is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
suppor
t
newer
v
ers
i
ons of
GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
sta
n
dar
d
_constraints: move from top
c
om
.
c to
p
olys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
do
o
laege
po
l
ysign
.
h: remov
e
depend
e
ncy on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdoolaege
zsolve: add banner
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
P
olyhedro
n
_La
t
tice_Width_Direc
t
ions: pr
i
n
t
pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n Verdoola
e
ge
basis_reduct
i
on_pip
:
abort on in
v
alid (empt
y
)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
READM
E
:
e
xpl
a
i
n
how
t
o get
s
u
bmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc
:
documen
t
la
t
tice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoola
e
ge
so
m
e
l
a
ttice width tests f
r
o
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verd
o
olaege
Polyhedron
_
L
a
t
tice_W
i
dth
:
d
e
ci
d
e on facet
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
e
rdool
a
ege
a
d
d
P
o
l
y
hedron_Latti
c
e_Wi
d
th for compu
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
o
l
aege
h
i
lbert
.
c
: a
d
d Cone_Integer_Hull for comp
u
ting ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoolae
g
e
pol
y
sign: add p
i
p
-
back
e
d versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign:
a
dd constraints_opt to compu
t
e optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoola
e
ge
polysign_cdd: swit
c
h to use
o
f M
a
trix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
ool
a
ege
polysign_glp
k
: switch
t
o use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc
:
docume
n
t c
o
mputation o
f
Hilbert basis
of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_H
i
lbert_Basis: use standard_
c
onstraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
Use zsolve to c
o
mpute Hilbert basis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoo
l
aege
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't i
n
s
tall header
s
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve:
init
i
a
l
ize
B
ackupTi
m
e in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zsolveSys
t
e
m
: add missing v
e
rbo
s
ity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
z
s
olve: over
r
ide
LIBS f
r
om to
p
le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
lae
g
e
a
dd 4ti2
-
1
.
3
.
1
+
autoco
n
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaeg
e
add
z
sol
v
e from 4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
l
aege
param_u
t
il
.
c:
e
xport b
i
t_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
top
c
om
.
c: ext
r
act pa
r
t of
c
ode
for setting up
standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hada
m
ar
d
_product
:
print progre
s
s
indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
o
o
l
a
e
ge
m
o
v
e --ver
b
o
s
e o
p
tion to libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
gen_fun::summ
a
te: handle full specializ
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Repla
c
e
in
c
remental in
f
ini
t
e set cou
n
ter
b
y
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter:
:
add
_
falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
m
e
rge (
m
o
s
t
o
f
) commo
n
p
a
rt of counter and tco
u
nt
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
counter:
h
andle specialization o
f
p
o
lyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
icou
n
te
r
:
d
on't bother "normalizin
g
" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export
neg_le
f
t_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
laege
b
asis_reduction_cdd: c
h
e
c
k
for possibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdool
a
ege
Polyhedron_Sample: handle
p
olyhedr
o
n
becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_f
u
n::operat
o
r
ev
a
lue
*
: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::operator evalue
*
: remove commented out
d
e
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ba
r
vinok_enumera
t
e_e
.
cc
:
handle verification
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
barvi
n
ok
_
enumerate_e: optionally pri
n
t s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
b
a
rv
i
nok_enumerate_e: support
verification
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doo
l
a
ege
b
a
r
v
in
o
k_enumerate_e: support
c
onversio
n
o
f
genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
la
t
tice_points:
a
nother micro-op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lat
t
ice_points_fixed: na
n
o-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verd
o
ola
e
ge
gen_fun::add: context of sum
sh
o
uld
b
e union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdo
o
lae
g
e
barvinok_enumerate: us
e
verify infrastru
c
tur
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
g
enfun
.
cc: print_power: dro
p
spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
coun
t
_points_e: fall back to count_points if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Makef
i
le
.
a
m
: check-eval
u
e: print name o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doolae
g
e
ve
r
i
f
y: add
c
hec
k
_poly_pri
n
t helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
g
e
n_fun: make sure
c
ont
e
x
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
re
d
ucer::reduce
:
canonicalize coefficients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
short
_
rat::print: correctl
y
print out t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_se
r
ies: recheck
f
or equal
i
t
ies af
t
er co
m
puti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
export
Mat
r
i
x_Read for reading Ma
t
rix from
a
s
t
ream
commit
|
commitdiff
|
tree
next