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
verify.c: evalue_optimum: allow computation of optimum in 0D domain
2007-11-21
Sven Verdoolaeg
e
Possible op
t
imiza
t
ions for gen
e
r
alized b
a
sis r
e
d
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Suppo
r
t use of generalized ba
s
is re
d
uction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
a
ege
add Polyhedron_Integer_
M
inimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc: document general
i
zed basis reduction based i
n
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdo
o
laege
doc/barvi
n
ok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
S
ven
Verdoolaege
add mor
e
missing assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-15
S
ven
Verdoolaege
con
f
igu
r
e
.
in
:
only
c
ompile libbarvinok as a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
P
olyhedro
n
_Re
d
uced_Basis:
d
on't stop to
o
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
er
d
oolaege
compute_width
_
direc
t
ions: only keep list o
f
di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
versio
n
.
c
: sh
o
w
u
se o
f
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
c
onfigure
.
in: don't
s
et
with_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
Po
l
yhedr
o
n_Samp
l
e: be satisfied
w
i
t
h a reasonable choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
con
e
_
integ
e
r_h
u
ll: opt
i
on
a
lly pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ba
s
is_re
d
uction: keep track o
f
nu
m
ber
of
L
Ps so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: mo
v
e --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
bernstei
n
: r
e
w
ork
t
e
sting
framewo
r
k to n
o
t
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoo
l
aege
bernstei
n
:
a
dd piece
w
ise_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdo
o
la
e
ge
s
u
p
por
t
newer versions of
GiNaC (
>
= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
do
o
laeg
e
s
t
a
n
d
a
r
d
_
con
s
t
r
ai
n
ts: move from to
p
com
.
c
t
o polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
po
l
ysign
.
h: remove dep
e
nde
n
cy on
l
exmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add
b
anner
.
h
t
o
distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Poly
h
edr
o
n_Lattice_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reducti
o
n_pip: abor
t
o
n invalid (emp
t
y
) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
READ
M
E:
e
xplain how to g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Ve
r
doolaeg
e
doc:
document
lattice width
comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verd
o
ol
a
ege
some lattice
w
idth te
s
ts from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
P
o
lyhedron_Lattice_W
i
d
t
h: decide on face
t
s
to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ve
n
Verdoolaege
a
dd Polyhedron_La
t
tice_Width f
o
r computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven V
e
rdoolaege
hilbert
.
c: add Cone_Integer_Hull for
c
o
m
puti
n
g
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
poly
s
ig
n
: add pip-backed ver
s
io
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign:
add constraints_opt
to compute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
polysign_cdd:
sw
i
tch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysign_gl
p
k: switch
t
o use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
doc
:
document comp
u
tation of Hilbe
r
t
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
Cone_Hilbert_Basis: use standard_con
s
t
r
aint
s
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
r
doolae
g
e
U
se
zsolve to compute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
zsolve:
don't
i
nstall h
e
aders and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoola
e
ge
zsolve: initialize Bac
k
upTime in
ZSolveC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
a
e
ge
zso
l
ve: zsolveSys
t
em: add
m
i
ssing
v
erbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: o
v
erri
d
e LI
B
S from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaeg
e
add
4
ti2-1
.
3
.
1+autoconf-0
.
1
b
an
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
a
d
d zs
o
lv
e
fr
o
m 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
param_u
t
il
.
c
:
e
xport bit_
v
ector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaeg
e
topco
m
.
c: extr
a
ct part o
f
code for setting
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verd
o
o
laege
ge
n
_fun::Hada
m
a
r
d_product:
p
rint p
r
ogress indi
c
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --ver
b
ose o
p
tion to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
g
e
n_fun::summate: hand
l
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Replac
e
incremental i
n
f
i
nit
e
set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
make counter::add_fal
l
i
n
g_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolae
g
e
me
r
ge (most o
f
) common part
of counter
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
i
counter: handl
e
s
p
e
c
ialization
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don
'
t bothe
r
"normali
z
ing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
export neg_l
e
ft_
h
erm
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_redu
c
t
i
o
n_
c
d
d: c
h
e
ck for possibly incorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
e
g
e
Pol
y
hedron
_
Sam
p
l
e: handle polyhedron
b
ecoming
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
en_fun::o
p
er
a
to
r
eva
l
ue *: a
l
w
a
ys
r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
g
en_fun::
o
perator evalue *: remove comme
n
ted
o
ut deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
ba
r
v
i
nok_enumerate
_
e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
ba
r
vinok_enumer
a
te_e: opt
i
o
n
ally p
r
int
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate_e
:
s
u
p
p
ort verif
i
cation of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
ba
r
vin
o
k_enumerate
_
e: support c
o
nversi
o
n of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
lat
t
ice
_
points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
lattice_po
i
nts_fixed: nano
-
opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
gen_fun::add: context of
s
u
m
should be u
n
ion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolae
g
e
barvinok_enume
r
a
t
e
:
use
v
e
rify infra
s
tr
u
cture f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
e
nfun
.
cc: print_
p
owe
r
: dr
o
p spaces
around "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
c
ount_poi
n
t
s
_e:
fall back t
o
count_points if th
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Makef
i
le
.
am:
c
he
c
k-e
v
alue: pr
i
nt name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
verify: add ch
e
c
k
_
pol
y
_print
h
elper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fu
n
: make sure cont
e
xt is
a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
olaege
reducer::reduce
:
canonicalize coefficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
short_rat::pr
i
nt: correctly print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
e
g
e
barvinok_series: recheck for
e
qualiti
e
s
a
fter
c
omp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
e
x
port Matrix_R
e
ad f
o
r readi
n
g Matri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oo
l
aege
p
a
ram_uti
l
.
c
:
add Param_V
e
rte
x
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c: supporting
_
c
onst
r
aints: retu
r
n bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
polylib: updat
e
for Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
options
.
c: u
s
e Polyhedron_Sampl
e
for c
o
unting in
f
in
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olaege
k
eep trac
k
of and use saturating c
o
nstraints in Param_Polyh
e
dro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
move value_g
c
d and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
Be
r
noulli_s
u
m_e
v
alue: only co
m
pute exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
eg
e
Bernoul
l
i_sum
_
evalue:
sum over variables with
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
eva
l
ue
.
c:
e
xport ev
a
lue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
olyh
e
dron_Ex
c
h
angeColumns
:
n
ormalize
co
n
strai
n
t
s
afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
exp
o
r
t
Polyhedron_Exchang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue_polynomial: opt
i
mize evaluation in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaeg
e
evalue
.
c: emul:
h
andle
another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ev
a
lue
.
c: eadd: handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
introduce and use evalue_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
evalue
.
c
:
e
add: micro-o
p
timize addition of two
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
sett
i
ng
an appr
o
xima
t
ion meth
o
d
now i
m
plies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
summ
a
te: optionally
u
se Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli
_
sum_eva
l
u
e
:
use
e
value_from_s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvin
o
k/po
l
ylib
.
h: re
m
ov
e
c
o
m
p
a
tibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
o
ve Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
o
lyto
p
e_scan: ree
n
able --direct
o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_equalities
:
k
e
ep removin
g
equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remove
_
a
l
l
_e
q
ual
i
ties: hand
l
e
e
mpty polyhedron d
e
tec
t
e
d
.
.
.
commit
|
commitdiff
|
tree
next