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
S
v
en Verdoolaege
Possible optimizat
i
ons for gen
e
ralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Support use of
g
e
neraliz
e
d basis reduction t
o
comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdool
a
e
g
e
add Polyh
e
dron_Integ
e
r_Minimum
for c
o
mpu
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc: docum
e
n
t gen
e
r
a
lized basis reduction
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib: a
d
d missi
n
g stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
add mo
r
e missing asse
r
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
evalue
.
c: add
mi
s
si
n
g
inc
l
ud
e
o
f
alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
Verdoolaege
configur
e
.
in:
p
a
ss path of G
M
P insta
l
lati
o
n to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
in: only com
p
i
l
e
li
b
b
a
rvinok as a sta
t
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
ge
Polyhedr
o
n_Reduced_Basis: don't stop too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdo
o
laege
compute_width_directions
:
only keep list of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
zsolve: don't install
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
ion
.
c:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdool
a
ege
configure
.
i
n
: do
n
't set with
_
{pol
y
,pip}li
b
_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
Po
l
yhedro
n
_
Sample: b
e
s
a
ti
s
fied with a rea
s
onable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone_integer_hull: o
p
tionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoola
e
ge
basi
s
_reduction: keep tr
a
ck of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdo
o
l
a
e
ge
options: move
-
-
p
rin
t
-stats t
o
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
b
e
rnstein: rewor
k
testi
n
g
framework to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
bern
s
t
ein:
ad
d
piecewise_lst::
i
s_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
support newer versions of GiN
a
C
(>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
doolaege
standard_constr
a
ints
:
m
ove from to
p
c
o
m
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaege
polysign
.
h: rem
o
ve de
p
e
nd
e
ncy on
l
exm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
zsolve
:
add bann
e
r
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhed
r
on_Lattice_
W
idth
_
D
irections: print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
V
er
d
oolaege
b
asis_r
e
duction_pip:
a
bort on i
n
va
l
id (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoola
e
ge
RE
A
DME: explain how
t
o
get s
u
bmo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc:
d
ocument lattice width co
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some la
t
tice wid
t
h
tests fro
m
Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolae
g
e
P
olyh
e
dron_Lat
t
i
c
e_Width
:
decide on
f
ace
t
s to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoola
e
g
e
add Pol
y
he
d
ron_Lattice_Width f
o
r computing latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
hilbert
.
c: add Cone_Integer_H
u
ll f
o
r comput
i
n
g
v
e
r
t
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
p
olysign: add
p
ip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
aeg
e
polys
i
gn:
add c
o
nstraint
s
_opt to com
p
ute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign_cdd: switch to use o
f
Mat
r
ix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysig
n
_glpk: sw
i
tch to use of Ma
t
rix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
doc:
d
ocum
e
nt computat
i
on of Hilbert ba
s
is of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
ol
a
e
g
e
C
o
ne_
H
ilbert_
B
asis: use standard
_
constrain
t
s
t
o avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
Use zsolve to compu
t
e Hi
l
b
e
rt bas
i
s
of a con
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdo
o
lae
g
e
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zso
l
ve: don't inst
a
ll
h
e
aders and ex
e
cutable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
:
i
nitia
l
ize B
a
ckupTime in
Z
S
olveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
z
solve:
z
solveSyste
m
:
a
dd missi
n
g verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsol
v
e: override LI
B
S
from
t
o
p leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
ad
d
4ti2-1
.
3
.
1
+
autoconf
-
0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
a
dd zsolve f
r
om 4t
i
2-1
.
3
.
1
+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
aram_util
.
c: ex
p
ort bi
t
_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
topcom
.
c: extract part of code
for setti
n
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaege
gen_fun
:
:
H
adamard_product: print pro
g
ress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
ool
a
ege
move --verbose option to
librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fu
n
::summate:
handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
Replace incrementa
l
i
nfinite set
co
u
nter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
make co
u
nter::ad
d
_
f
all
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
mer
g
e (most of) common part of co
u
nter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter
:
ha
n
d
l
e special
i
zat
i
on of p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
icounter: don't bother "normalizing" the ex
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
r
t
neg
_
left
_
he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
basis
_
reduction_cdd: chec
k
for possibly
incorrec
t
ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Polyhe
d
ro
n
_S
a
mple: hand
l
e polyhed
r
on becom
i
n
g
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
g
e
n_fun::op
e
rator evalue *:
a
lways retu
r
n
a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fu
n
:
:op
e
r
ator ev
a
lue *: r
e
move commented out d
e
b
u
gg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enumerate_e
.
cc: handle verificatio
n
of
pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
enume
r
ate_e: optio
n
al
l
y
p
r
i
nt
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
ba
r
vinok_e
n
umerate_e: support verif
i
c
a
tion of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
ino
k
_en
u
merate_e: s
u
pport conversion of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olae
g
e
l
attice_points: another micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
lat
t
ice
_
poi
n
ts_f
i
xed
:
nano-opt
i
mizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::add: conte
x
t of
s
um
s
hould be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
b
a
rvinok_enumerate: use verify infrastructure fo
r
verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
genfun
.
cc: print
_
p
o
w
e
r: drop spaces
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
count_points
_
e: fall back to
count_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Makefile
.
am: chec
k
-evalue: print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
verify: add check_poly_print helpe
r
f
unct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun: make
s
u
r
e conte
x
t is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
r
e
ducer:
:
re
d
uce: c
a
nonicalize coeffi
c
i
e
nts
i
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::print:
c
orrect
l
y pri
n
t
out ter
m
s
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_series: recheck for equaliti
e
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
exp
o
rt Matrix_R
e
ad fo
r
reading M
a
trix from a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
param_ut
i
l
.
c: add
P
aram_
V
e
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
ut
i
l
.
c: suppor
t
ing_co
n
s
traints: re
t
u
r
n bit
v
ec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
polylib: update for
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
options
.
c: use Polyhedron_Sample fo
r
counti
n
g i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
keep track of and
u
se
s
aturating constraints
i
n Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
mo
v
e value_gcd and value_lcm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
ernoulli_sum_evalue: only comput
e
exact sum if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Ber
n
o
ulli_sum_evalue:
sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
aege
ev
a
lue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhe
d
ro
n
_Exchan
g
eColumns: normalize constraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
expor
t
Polyhedro
n
_
ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomi
a
l: optimize evaluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
e
v
alue
.
c
: emul: handle another s
p
ec
i
al case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
evalue
.
c: eadd
:
handl
e
some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
introdu
c
e
a
nd
use evalu
e
_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue
.
c
: eadd: micro-op
t
imize
additi
o
n of two ra
t
i
o
nals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
setting an approximation met
h
o
d
now implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: optionally
use Bernoulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
Bernoulli_sum_evalu
e
: us
e
e
v
alue
_
f
r
om_section_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
a
r
vinok/polylib
.
h: r
e
mov
e
compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move Vector_Oppose to
P
ol
y
L
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
p
ol
y
tope_sc
a
n: reen
a
ble --direct option
commit
|
commitdiff
|
tree
next