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
hull.c: add all points found by sampling directly to the approximation
2007-11-21
S
ven Verdoolaege
hull
.
c: add a
l
l
p
oints found
b
y
s
a
mpling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Po
s
sibl
e
optimizations for gene
r
alized ba
s
is
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Su
p
port use
of generalized basis
r
eduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doola
e
ge
a
dd Polyhedron_Integer_Minimum
f
o
r
computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: documen
t
gen
e
ralized
b
a
s
is reduction b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
a
ege
d
oc/barvinok
.
bib: a
d
d m
i
ss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
r
doolaege
add more missing ass
e
rt
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoolaeg
e
ev
a
lue
.
c: ad
d
missing include
o
f
a
ll
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
rdool
a
ege
configure
.
in: pass p
a
th of
G
MP instal
l
a
tion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
lae
g
e
configure
.
in: only compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
Po
l
yhedron
_
Reduce
d
_Basis: don't stop too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
compute
_
width
_
dir
e
cti
o
ns:
only keep lis
t
o
f d
i
s
t
in
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
zsolve
:
don't in
s
tall library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
o
olaege
version
.
c: show
u
se o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaeg
e
c
o
nf
i
g
u
re
.
in: do
n
't set wit
h
_{pol
y
,pip}lib_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
Polyhedron_
S
a
m
ple: be s
a
tisfied with a r
e
asonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
co
n
e_
i
n
te
g
er
_
hu
l
l: op
t
ionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
ola
e
ge
basis_
r
e
duction: keep t
r
a
ck of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdo
o
laege
options:
mov
e
--pr
i
nt-
s
tats to li
b
r
a
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aeg
e
bernstein:
rework testi
n
g
f
rame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
be
r
nstein
:
a
d
d pie
c
ew
i
se_l
s
t::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
ola
e
g
e
suppor
t
n
ewer ve
r
sions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
laege
standard_con
s
traints: move
fro
m
topcom
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysign
.
h: remove d
e
pendency on l
e
xm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
zsolve: add
b
anner
.
h to distri
b
u
t
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyh
e
dron_Lattice_Wi
d
th_Directions: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pi
p
: abort
on invalid
(
emp
t
y) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
ege
READM
E
: explai
n
how
t
o get
s
ubmod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
rdoolaege
doc: docum
e
nt
lattice w
i
dth computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
some lattice width test
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdo
o
laeg
e
Polyhedron_Lattice_W
i
dth: d
e
cide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
add
Polyhe
d
r
on_
L
attice_Width for c
o
mputing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
ool
a
ege
hilber
t
.
c: add Cone_Integer_Hull for comput
i
ng vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign
:
ad
d
p
ip-back
e
d
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysign: add constraints_opt t
o
compute optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
po
l
ys
i
gn_cdd: switch
t
o
use of Matrix repr
e
sentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysi
g
n
_
gl
p
k: switch
to use of
Matrix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
doc: docu
m
ent computation o
f
Hil
b
ert ba
s
is
o
f
a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_
H
ilbert_Basis:
use st
a
ndar
d
_const
r
aint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to com
p
ute Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't in
s
tall headers
an
d
executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaeg
e
zsolve: initia
l
ize
BackupTi
m
e in ZS
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: zsolveSyst
e
m: ad
d
mi
s
s
i
n
g ver
b
osity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aeg
e
zsolve: overri
d
e LIB
S
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti
2
-1
.
3
.
1+autoconf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
add zsolve
f
r
o
m 4ti2-1
.
3
.
1+aut
o
conf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param_
u
til
.
c: export b
i
t
_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
topcom
.
c: e
x
t
ract
part of
code
f
or setting up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolae
g
e
gen_fun
:
:
Hadam
a
rd_product: print progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
move --verbose option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::summ
a
te: handle full speci
a
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Replace inc
r
e
mental i
n
finite s
e
t co
u
nte
r
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
k
e
counter::add_falling_pow
e
r
s
s
tat
i
c
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
me
r
ge (most of) com
m
on pa
r
t of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
aege
icounter: handle specialization of polyn
o
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
lae
g
e
ico
u
nt
e
r: don't bother
"norma
l
izing" the ex
p
onent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
basis_reduction_cdd: check
f
or poss
i
bly
i
n
correct ou
t
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
P
olyhedr
o
n_
S
ample: ha
n
dle polyhed
r
on be
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::operator
e
v
a
l
ue
*
:
al
w
a
y
s re
t
ur
n
a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fu
n
::operator
e
val
u
e *: re
m
ove commented out de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e
.
cc: handle
v
erific
a
t
ion
o
f problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
barv
i
no
k
_enum
e
rate_e: optional
l
y pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arvin
o
k_enumerat
e
_e:
s
uppor
t
v
e
rifi
c
a
t
i
o
n of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
barv
i
nok_en
u
merate_
e
: sup
p
or
t
conversion of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
lattice_points: anot
h
er micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
g
e
lattice_p
o
ints_fixed: nano-opti
m
izati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
g
en_fun::add: context of sum
s
hould be uni
o
n
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
ba
r
vinok_enumerate:
u
se
verify infrast
r
u
c
tur
e
for verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
genfun
.
cc:
p
r
i
nt_power: dr
o
p
s
paces ar
o
u
nd "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
count_
p
oints_e
:
fall back
to count
_
points if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
M
akefile
.
a
m
: check-
e
v
a
l
u
e
: p
r
i
nt name of ea
c
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_pr
i
nt hel
p
e
r functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
o
olaege
gen_fun: make sure
conte
x
t
is
a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
reducer::reduce: c
a
nonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
short_rat
:
:print: correc
t
ly
p
rint out
terms
wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoola
e
g
e
barvinok_series: reche
c
k for equalities
a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
expor
t
Matri
x
_
Read for reading Matrix from a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
param_util
.
c
:
add Par
a
m_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
a
e
ge
u
t
il
.
c:
s
uppor
t
i
n
g
_con
s
trai
n
ts
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaeg
e
polylib: update for Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
options
.
c
:
use Polyh
e
dron_Sample
for counting
infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
keep track of
and
use saturating con
s
trai
n
ts in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
m
o
ve value
_
gcd and value
_
lcm to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
Bernoull
i
_sum_evalue:
o
n
l
y compute
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_sum
_
eval
u
e: sum over va
r
ia
b
les
w
ith intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: ex
p
ort evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
Polyhedron_Exc
h
angeColumns: normalize const
r
aints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
export Po
l
yhedron_E
x
ch
a
n
g
eColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
eval
u
e_p
o
lyn
o
mial:
o
p
t
i
mize evaluatio
n
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: emul: handle
another s
p
ecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: handle some
s
peci
a
l c
a
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
introduce
and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
eval
u
e
.
c:
ea
d
d
:
m
i
cro-optimize addition of two
r
ationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
se
t
t
ing an
a
pproximation metho
d
now i
m
plies
polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
barvinok_su
m
mat
e
: optionally use B
e
rnoull
i
/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
Bernou
l
li_sum_eva
l
ue: use eval
u
e_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoola
e
ge
barvinok/polyl
i
b
.
h: remov
e
c
ompatibility
w
ith old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
move V
e
ctor_Oppose to Poly
L
ib
commit
|
commitdiff
|
tree
next