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
Support use of generalized basis reduction to compute integer hulls
2007-11-21
Sv
e
n Verdoolaege
Support use
o
f ge
n
eralized b
a
sis reduction
t
o compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
r
dool
a
e
g
e
add P
o
lyhed
r
on_Integer_
M
inimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
rdoolaege
doc
:
docum
e
nt generalized bas
i
s reduction based
i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
aege
doc/bar
v
ino
k
.
bib
:
add mi
s
sing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
a
e
ge
a
d
d
m
ore
miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
conf
i
gure
.
in:
o
nly compile libbarvinok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Verdoolaege
Polyh
e
dron_Reduced_Basis: don't stop too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
com
p
ute_width_
d
i
r
ecti
o
ns:
o
n
ly kee
p
l
i
st of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laeg
e
zsolve: d
o
n't ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
ve
r
s
i
on
.
c: sh
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
co
n
figure
.
in: don't set
w
i
th_{p
o
l
y,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
Polyh
e
dron_Sa
m
p
le: be sat
i
sfied
with a reasonable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_in
t
eger_hull: optionally print s
t
at
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
o
laege
basis_reduction:
k
eep track of n
u
mber of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
opt
i
ons: move
--print-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rewor
k
testing frame
w
o
r
k t
o
n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
ber
n
st
e
in: add piec
e
w
i
se_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
ae
g
e
support newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
stand
a
r
d_constraints: move from to
p
c
o
m
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h:
r
emove depende
n
cy o
n
lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
doo
l
aege
zsolve:
a
dd b
a
nner
.
h to
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyhedr
o
n_Latt
i
ce_Width_Directions
:
print
p
r
o
gr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdo
o
laege
b
a
sis_re
d
u
c
t
ion_pip: abort on invalid (empty) i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdoolaege
R
E
A
DME: expla
i
n ho
w
to
g
et
s
ubmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document
l
atti
c
e
width computatio
n
commit
|
commitdiff
|
tree
2007-11-02
S
ven V
e
rdool
a
e
g
e
some lattic
e
width te
s
ts
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Polyhedron
_
Lattice_W
i
d
th: decide on f
a
cets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
r
d
oolaege
add
Polyhe
d
ron
_
Latti
c
e_Widt
h
f
or computing
lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
hilbert
.
c:
add Cone_Integer_Hull for c
o
m
p
u
t
ing vert
i
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Ve
r
doolaege
p
o
ly
s
ign: add
pi
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
o
lysign: add constraints_o
p
t to
compute o
p
timum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign_c
d
d
:
switch to
u
se of
Matrix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
o
lysign_g
l
pk: switc
h
to use of Matrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
d
oc: d
o
cu
m
ent com
p
ut
a
tion of H
i
l
b
e
r
t basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
ege
Cone_Hilbert_Bas
i
s: us
e
s
t
andard_constrain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
Use
z
s
olve
to compute Hilbert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aege
zsolve:
d
on
'
t
inst
a
l
l headers
a
n
d exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
zsolve:
initia
l
ize BackupTime in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: zsolveSyste
m
: add mi
s
si
n
g ve
r
bo
s
ity
c
h
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e: override LIBS from top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
a
d
d 4ti2-1
.
3
.
1+auto
c
onf-0
.
1 b
a
nn
e
r
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
add
z
solve from 4ti2-
1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
param_ut
i
l
.
c: export
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: ext
r
act part of code fo
r
s
e
t
t
ing up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoolaege
gen_fun::
H
adam
a
rd
_
pro
d
u
c
t: print progre
s
s i
n
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
eg
e
move --ver
b
os
e
option t
o
library
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
gen_fun::summat
e
: ha
n
dle full sp
e
ci
a
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
ool
a
ege
Replace inc
r
emental infinite
se
t
counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
make counter::
a
dd
_
fa
l
li
n
g_pow
e
rs
static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
m
e
r
g
e
(most
o
f) common part
of co
u
nt
e
r
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
icounter: handle
s
peciali
z
ation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
a
e
ge
icounte
r
: don'
t
bother
"n
o
rmalizi
n
g" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport
neg_le
f
t
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
basis_reduction_cdd: che
c
k
for possibly
i
ncorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhedron_
S
ample: handle polyhedr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
e
g
e
gen_fun::operator e
v
al
u
e
*
: always
r
e
t
u
r
n
a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fu
n
::operator evalue *: remove commen
t
e
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barv
i
nok_enumerate_
e
.
cc: handle
v
e
r
ific
a
tion
o
f probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enume
r
ate
_
e
: optionally print
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
barvinok_enumerate_e: support veri
f
icatio
n
of gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
b
arvinok_enumer
a
te
_
e: support con
v
ersio
n
of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
la
t
tice_po
i
nts:
another micr
o
-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
l
attice_points_fixed: n
a
n
o
-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
gen_fun:
:
add: context of sum
sho
u
ld be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
lae
g
e
bar
v
inok_enumer
a
te: use verify infrastructure for verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen
f
u
n
.
cc:
p
r
int_
p
owe
r
: drop spaces arou
n
d
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
c
o
u
nt_poin
t
s_e: fall
back to c
o
unt_p
o
ints if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
Makefile
.
am: check-e
v
a
l
u
e
: prin
t
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
verify: a
d
d check_po
l
y
_
prin
t
he
l
pe
r
f
u
n
ct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun: make sure
c
ontext is alwa
y
s
set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
ae
g
e
reducer
:
:r
e
duce: ca
n
onic
a
l
i
z
e coefficients
i
n ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
short_rat::prin
t
: cor
r
ectly
print out te
r
ms
w
i
t
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
in
o
k
_
se
r
i
es:
r
e
check for equalities after c
o
mputin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
export Matrix_Read for readin
g
Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
l
a
eg
e
param_u
t
i
l
.
c: add Par
a
m_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
util
.
c
:
sup
p
ort
i
n
g
_co
n
str
a
ints
:
retur
n
bit ve
c
to
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polylib: update
f
or Ma
t
rix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use
P
o
l
yhed
r
on_Sample for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
keep tra
c
k of
and use saturat
i
n
g const
r
aints in Para
m
_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
move value_gcd and va
l
ue_
l
c
m
to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
B
e
rnoulli_sum_evalue: onl
y
comput
e
exact
sum if
a
pproximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernou
l
li_su
m
_
evalue: sum
over vari
a
bl
e
s with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
eva
l
ue
.
c:
e
x
p
ort evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
Polyhe
d
ron_ExchangeColumns:
normaliz
e
co
n
straint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
doolaege
export Polyhedr
o
n_Exch
a
ngeColu
m
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue_polynomial: optimize evaluation i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue
.
c: emul
:
handle anothe
r
s
pe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
evalue
.
c: e
a
dd: handle
some special cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
introduce
and u
s
e evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c
:
eadd: mi
c
ro-
o
ptimiz
e
addition of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
setting an approximation method no
w
implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
b
arvinok_summate: op
t
io
n
ally u
s
e Bernoull
i
/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
a
ege
Bernoul
l
i
_
sum_evalu
e
: use evalue_from_
s
ectio
n
_ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
arvin
o
k/polylib
.
h: rem
o
ve c
o
m
p
a
t
i
b
ility
with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move V
e
c
tor_Oppose t
o
Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laeg
e
p
olytope_scan
:
reenabl
e
--direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
ies: keep removi
n
g equalities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaeg
e
remove_all_equalities
:
ha
n
dle
empty pol
y
h
e
dron d
e
te
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
r
emove_all_equal
i
ties:
m
in
o
r code clean
-
u
p
commit
|
commitdiff
|
tree
next