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
rename summate.cc to barvinok_summate.cc
2008-01-16
Sven Verdoolaege
AUTHOR
S
: upd
a
te
support i
n
for
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
cc: shor
t
_rat::print: correctly
p
r
i
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Export series as barvino
k
_en
u
m
erate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
remove_par
a
met
e
r
_equalities: stop "removing
"
e
qu
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
se
r
ies: leave fr
e
eing of P a
r
gument t
o
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
do
c
: docum
e
nt impl
e
men
t
ation
of the
pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barv
i
no
k
_en
u
merate_e_series implementin
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdool
a
ege
gen
f
un
.
cc:
fix and
d
ocu
m
ent
p
a
rallel
p
olytopes
c
la
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
GiNaC-independent pa
r
t of l
i
brary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
p
olylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
dool
a
ege
do
c
: how to count the num
b
er of e
l
ements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verd
o
olaege
doc/im
p
lementation
.
te
x
: avoid mu
l
tiply
d
efined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
la
e
ge
la
t
tic
e
_width
.
c: try vertic
e
s of previ
o
us inte
g
e
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
la
e
ge
doc: document inte
g
er
hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: ad
d
al
l
points fou
n
d by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
aege
Poss
i
ble
optimizatio
n
s f
o
r gen
e
ral
i
z
e
d basis re
d
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
S
u
pport
u
s
e of generalized basis reduction to
c
o
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
a
dd Polyhedron_Integ
e
r_M
i
n
imum for computing
the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
do
c
: do
c
u
ment generalized
b
asis
r
educt
i
on bas
e
d i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc
/
ba
r
vino
k
.
b
ib: ad
d
missi
n
g string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdo
o
la
e
ge
add more missing ass
e
rt
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
o
l
ae
g
e
confi
g
u
re
.
i
n
: only com
p
ile li
b
barvinok a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ve
r
doolaege
P
o
lyhedron_Red
u
c
e
d_Basi
s
:
don'
t
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_
w
idth_dir
e
ctions: only k
e
ep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zs
o
lve:
d
on't i
n
s
tall library
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
d
o
olaege
vers
i
o
n
.
c: show u
s
e
o
f
T
O
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configu
r
e
.
in: don'
t
set
with_{poly,pip}lib_p
r
efi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
Polyhedron_Sample: be satisfie
d
w
i
th
a reasonable
ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
cone_int
e
ge
r
_
hull: o
p
t
i
onal
l
y pri
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
basis_red
u
cti
o
n: keep
t
r
ack of number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaeg
e
options: move --print-stats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
rdoola
e
ge
be
r
nst
e
in: rework testing
framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
bernstein: add piecewi
s
e
_lst::
i
s
_
e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
u
pport ne
w
er ve
r
sions
of GiN
a
C (>
=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
andard
_
c
onstraints
:
move fr
o
m
to
p
com
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
polysig
n
.
h: remove dependency
o
n lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
zsolve: add ban
n
er
.
h to
di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyhe
d
ron_La
t
tice_Wid
t
h_Direction
s
: print pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
basis_reduction_pip: abort
o
n invalid
(
empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
README:
e
xpl
a
in how
to get
sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaeg
e
doc: d
o
cument lattice wid
t
h computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
so
m
e lat
t
ice width
tests
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoo
l
a
e
ge
Poly
h
e
dron_
L
attice_Width: decide
on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdo
o
l
aege
add Polyhedron_Latt
i
c
e
_Wid
t
h for c
o
mpu
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
h
ilbert
.
c: add Cone_I
n
t
e
ger_Hu
l
l for
computing v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdool
a
e
g
e
po
l
ysign: ad
d
pip-b
a
cked version
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
p
o
lysi
g
n
: add
cons
t
ra
i
nts_opt
t
o
c
om
p
ut
e
optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
l
ysign_
c
d
d: switch to
u
se o
f
Mat
r
ix representat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
rdoolaege
p
olysign_glpk: switch to use o
f
Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaege
d
o
c: document c
o
mputation of Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
o
olaeg
e
Cone_Hi
l
bert_Basis: use standard_c
o
n
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oo
l
aege
Use zsol
v
e to compute Hilbert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
d
oo
l
aege
z
s
olve:
don't ins
t
al
l
headers and exe
c
uta
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: initialize Bac
k
upTim
e
i
n
ZSolveCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: zs
o
lveSystem: add m
i
ssing verbosity ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
z
s
o
lv
e
: override LIBS from top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolaege
a
d
d 4t
i
2-1
.
3
.
1+autoconf-0
.
1 b
a
n
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zs
o
lve from 4ti2-1
.
3
.
1+au
t
oco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
a
ram_util
.
c:
e
xport bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
top
c
om
.
c: extr
a
ct part of code for
setting up sta
n
da
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
e
n
V
erdoolaege
gen_fun::
H
a
damard_prod
u
ct: print progress
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en
Ver
d
oolaege
m
ove --verbose option
t
o libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
gen_
f
un
:
:summate: h
a
ndle full spec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
Replace incremental infinite
set co
u
nter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
make
counter::add_f
a
lling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
merge (
m
ost of) commo
n
part of co
u
nter
and
tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
icounter: hand
l
e specialization of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
icou
n
t
er: don't bother "normalizi
n
g"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
exp
o
rt n
e
g_lef
t
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdool
a
ege
basis_reducti
o
n
_cd
d
: check for pos
s
ib
l
y
incorrect outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Sample: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doola
e
ge
gen
_
fun::operator evalu
e
*: al
w
ays r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
gen_fun::o
p
erator evalue
*
: remove c
o
mmented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
b
arvinok_enumera
t
e_e
.
cc: ha
n
d
l
e verif
i
ca
t
i
on
of p
r
ob
l
em
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
ba
r
vino
k
_enumerate_e: optionally
p
rint st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate_e: suppor
t
verification of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvin
o
k
_
enume
r
ate_e: support con
v
ersion
o
f
gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
lattice
_
po
i
nts: ano
t
h
e
r
m
i
cro-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
lat
t
ic
e
_poi
n
t
s_fi
x
ed: nano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::add: c
o
n
t
ext
o
f sum
shoul
d
b
e
union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
do
o
laege
ba
r
vinok_enume
r
ate: use
ver
i
fy i
n
frastructure for ver
i
fy
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
ae
g
e
genfun
.
cc: pr
i
nt_power: drop spaces
a
r
ound
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e
:
fall
b
a
ck to co
u
nt_p
o
ints if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
Makef
i
le
.
a
m:
check-evalue: p
r
int name of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
verify: add check_poly_prin
t
help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
dool
a
ege
gen_fun: ma
k
e sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce:
c
ano
n
ica
l
ize coe
f
ficie
n
ts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
short_rat
:
:print: correctly print out
terms
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
bar
v
inok
_
series: rech
e
ck
f
or
e
qualities a
f
ter
c
omput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
e
xport Matrix
_
Read for reading Matrix from a st
r
ea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
param_util
.
c: add
P
ar
a
m_V
e
r
tex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
util
.
c
: supp
o
rting_constraints: return
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polylib: up
d
ate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
options
.
c: use Polyhedron_
S
a
mple f
o
r
c
ounting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oola
e
ge
kee
p
track of
a
nd use saturating
c
on
s
traints in Param_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
move value_g
c
d and value_
l
c
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
Be
r
n
o
ul
l
i_sum_evalu
e
: only c
o
mpute ex
a
ct su
m
if app
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doo
l
a
e
ge
Bernoulli_
s
um_evalue:
sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c
: export ev
a
lue_
v
ar
commit
|
commitdiff
|
tree
next