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
series: leave freeing of P argument to calling function
2008-01-16
Sv
e
n V
e
r
d
oolaeg
e
s
e
r
ies
:
l
e
av
e
freeing of P arg
u
ment
t
o calli
n
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
doc: docume
n
t implementation o
f
t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
arvinok_enum
e
rat
e
_e_series implem
e
nting the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc
:
fix and document
p
a
rallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
n
l
y compile zsolv
e
if gcc 3
.
4
o
r
later is availabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-
i
n
d
e
pendent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oola
e
ge
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
S
ve
n
Verdool
a
ege
doc:
h
ow to
c
ount th
e
n
u
mber of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdool
a
ege
do
c
/imp
l
e
m
entation
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolae
g
e
lattice_width
.
c: t
r
y vertices of prev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
do
c
:
document integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolaege
h
ull
.
c: add
a
ll poi
n
ts found by sa
m
pli
n
g
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
laege
Poss
i
ble optimizations f
o
r
generali
z
ed basis red
u
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaeg
e
Su
p
port use of
g
eneralized ba
s
is reduc
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoola
e
ge
ad
d
Polyhe
d
ro
n
_
I
n
teger_Min
i
mu
m
for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaeg
e
d
o
c
:
docu
m
ent generalize
d
b
asi
s
reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc/barvinok
.
bib:
add
m
is
s
ing
string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Ve
r
dool
a
ege
add more missing asse
r
t
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
config
u
re
.
in: only
c
ompile l
i
b
b
a
r
v
inok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oola
e
ge
Polyhedron
_
Reduced_Basis: d
o
n'
t
st
o
p too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
com
p
ute_width_directions: only keep
lis
t
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve:
d
o
n't
ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
v
e
r
sion
.
c:
s
how
u
se of
T
O
P
COM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
configure
.
i
n: don't s
e
t with_{poly,pip}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
P
olyh
e
dron_Sampl
e
: be satisfi
e
d
w
i
th a
reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
cone_integer_h
u
ll:
o
pti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
basi
s
_reduction: keep track of numbe
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options
:
mo
v
e --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
b
e
rnstein: rework testing f
r
amework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
b
ernstein: a
d
d p
i
ecew
i
se_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
s
upport newer versi
o
ns of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints:
move from
t
opcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
olaege
poly
s
ign
.
h: rem
o
ve dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
g
e
z
s
olve
:
ad
d
banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoo
l
aeg
e
Polyhedron_Latti
c
e_Width_Directions
:
print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_
r
e
d
uction_p
i
p: abort on invalid (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
READ
M
E: explain how to get
submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
o
c
: document lattice width
c
omp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ver
d
ool
a
eg
e
some lat
t
ice wid
t
h test
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattice_W
i
dth: decid
e
on fa
c
ets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
add Polyhedron_Latt
i
ce_
W
idth for computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolae
g
e
hilbert
.
c: a
d
d C
o
ne_In
t
eg
e
r
_
Hull for
c
ompu
t
ing
ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
a
dd
p
ip-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
polysign
:
add co
n
straints_
o
pt to compute optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysig
n
_cdd: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
poly
s
ign_glpk:
s
w
itch
to use of Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
doc: doc
u
ment co
m
put
a
tion o
f
Hilbert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_H
i
lbert_Basis:
use
s
t
an
d
a
rd_constraints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
Use zs
o
lve
to comput
e
Hil
b
ert basis o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
compile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
z
sol
v
e: don
'
t instal
l
header
s
and e
x
ecutab
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
z
s
olve: i
n
itializ
e
BackupTime i
n
ZS
o
l
v
eCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve:
zso
l
veSystem: add
m
issing verbosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
zsolve: override LIBS from
top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olae
g
e
add 4
t
i2-1
.
3
.
1
+autoconf
-
0
.
1 b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
add zsolve from 4ti2-1
.
3
.
1+auto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
a
ra
m
_util
.
c:
e
xport bit_vector_c
o
un
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
t
opco
m
.
c: extr
a
ct part of code for setting u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolaege
gen_fun::Hadamard_pr
o
du
c
t
:
p
r
i
n
t pro
g
ress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
la
e
ge
move --verbose optio
n
to
librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun:
:
summate
:
handle
f
u
ll
s
pecial
i
zation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Replace incremental in
f
inite
set
counter by "re
g
ula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make co
u
nter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
e
ge
merge (mo
s
t o
f
) com
m
o
n
pa
r
t of counter
a
n
d tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handle spe
c
ial
i
zation of
p
o
l
y
n
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
i
count
e
r
:
don't b
o
t
h
e
r "normaliz
i
ng" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ex
p
ort neg_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
ba
s
i
s
_redu
c
tion_cdd: check for possi
b
ly inco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Polyhe
d
ron_Sampl
e
: hand
l
e
polyhedr
o
n
be
c
oming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
o
olaege
gen_fun::operator
evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun::
o
perator
evalue *: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate_e
.
cc: handle verification of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
barvinok_e
n
umerate
_
e: o
p
tio
n
ally print
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
ba
r
vinok_enume
r
ate_e: support v
e
rification o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
b
arvinok_enumerate_e: s
u
pport conv
e
rs
i
on of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
atti
c
e_points
:
a
n
other micro
-
optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
lat
t
ice_point
s
_
fixed:
nano
-
optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
g
en_
f
un::add
:
context o
f
sum shoul
d
be u
n
io
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
barv
i
nok_en
u
merate: use verify infrastructure for
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
genfun
.
cc: print_p
o
w
e
r
: drop spaces aro
u
nd
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_p
o
ints_e
:
f
a
ll back to count_points
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Makefile
.
am: check-evalu
e
:
print name of eac
h
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
v
e
rif
y
: add chec
k
_poly_pr
i
n
t he
l
per function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make sure contex
t
is always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
r
e
ducer::reduce:
c
an
o
nicalize coef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_
r
a
t::p
r
int:
c
orrectly prin
t
o
u
t ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
ae
g
e
barvinok_series: reche
c
k for equal
i
ties after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
export Matrix_Read for
r
eading Matrix fr
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
param
_
util
.
c: add
Param_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
u
t
il
.
c: sup
p
orti
n
g_constraints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polylib: upd
a
te
for
Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
options
.
c: use Polyhedron
_
Sample for counting i
n
fin
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of and u
s
e satu
r
ating cons
t
raints in Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
move value_g
c
d and
value_lcm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
Be
r
noulli_sum_evalue: only compute
exact sum if
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
Bernoulli_sum_evalue:
su
m
o
v
e
r
variable
s
with
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c: export eval
u
e_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
P
o
ly
h
edron_ExchangeColu
m
n
s
:
normalize constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
a
e
g
e
export Pol
y
hedron_ExchangeCo
l
umns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
e
v
alue_
p
olynomia
l
:
op
t
imize evaluation in zero
commit
|
commitdiff
|
tree
next