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
S
v
en
V
erdoolae
g
e
s
eries: leave freei
n
g of P argument to c
a
lling fun
c
t
io
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
d
oc: document imple
m
ent
a
tion of th
e
p
r
oj
e
ction th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
b
a
rvinok_enu
m
erate_e_series impl
e
menting
t
he projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc:
fix
a
n
d doc
u
ment parallel polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Only com
p
ile zsolve if gcc 3
.
4 or later is av
a
ilable
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Move
GiNaC-
i
ndepende
n
t part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
olylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
doc: h
o
w
t
o count the number o
f
elements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
/imp
l
ementati
o
n
.
t
ex
:
avoi
d
multiply defi
n
ed
la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
lattice_width
.
c: try vertices of
prev
i
ous int
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc: document intege
r
hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
h
ull
.
c: add a
l
l point
s
found b
y
sampl
i
ng dire
c
t
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
g
e
Possible optimizations for
g
e
neralize
d
basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
S
u
p
port use
o
f generalized basi
s
redu
c
tion to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add
P
ol
y
hedron_In
t
e
g
e
r
_M
i
nimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
er
d
ool
a
ege
doc: document gene
r
alized basis reduction b
a
sed intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/bar
v
inok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ve
r
doola
e
ge
add more miss
i
ng assert
.
h
#
i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
ev
a
l
ue
.
c:
a
dd missing i
n
c
lude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configu
r
e
.
in
:
pass path of GMP in
s
talla
t
i
o
n
to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compil
e
l
ibbarvino
k
a
s a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_
R
e
d
uced
_
B
a
sis: don't s
t
op too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaeg
e
co
m
pute_width
_
directions: o
n
ly kee
p
li
s
t o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: do
n
't
i
nstall l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
ola
e
ge
version
.
c
: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doola
e
ge
configure
.
i
n
:
don't set w
i
th_{poly,pip
}
lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
P
olyh
e
dron_
S
a
m
p
le
:
be
sa
t
isfied with a r
e
as
o
n
able
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
cone_integer_hull: optio
n
al
l
y print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
ba
s
is_reduction: keep tr
a
ck of
number of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
options: move --print-s
t
ats
t
o
lib
r
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
be
r
n
stei
n
: rewor
k
testing framework to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
bernst
e
i
n
: add pie
c
ewise_ls
t
:
:is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoola
e
ge
su
p
port newer vers
i
ons
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
standard_con
s
traints: move from topcom
.
c
to polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
o
l
aege
polysign
.
h
: re
m
ove dependency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
zsolve: add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolaege
Polyhedron_Lattice_W
i
dth_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verd
o
olaege
basis_redu
c
ti
o
n
_pip: abort on invalid (empty)
i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
Verdo
o
laege
R
EADME: ex
p
lain how to get s
u
b
m
odules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoola
e
ge
doc: do
c
umen
t
lattice width co
m
p
u
ta
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some l
a
tt
i
c
e width tests f
r
om J
o
n Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoola
e
ge
P
o
lyhed
r
on_Lattice_Width: de
c
ide on facets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
V
erdool
a
ege
add Polyh
e
d
ron_
L
attic
e
_Width for computing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
r
d
oo
l
aege
hi
l
be
r
t
.
c: add Cone_Int
e
g
e
r_H
u
ll
f
or com
p
utin
g
v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
eg
e
polysign: add pip-
b
acked version
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
polysign: add cons
t
r
aints_opt to co
m
p
ute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
polysign_c
d
d: swi
t
ch to
u
se of
M
atrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
laege
polysign_g
l
pk:
s
witch
to use of
Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
d
oc: document computation
o
f
H
ilbert
basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
C
one_H
i
lbert_Basis: us
e
s
tandard_constraints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
U
s
e zsolve to compute H
i
lbert basis o
f
a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
d
on't ins
t
al
l
h
e
aders a
n
d executables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
zsolve: initi
a
lize Backu
p
Time in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve: zsolveSystem: a
d
d mis
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
aege
zsolve:
override LIBS f
r
om top
l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
add z
s
ol
v
e
fr
o
m
4
ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
param_u
t
il
.
c:
e
xpo
r
t bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
topc
o
m
.
c
:
e
xtract part
of code for
set
t
ing up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erdoolaege
gen_fun::Had
a
mard_product: print pro
g
r
ess ind
i
c
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
move --verbose option
t
o l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
g
e
n_fun::summate:
h
andl
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Re
p
lace
i
ncre
m
ental inf
i
nite set
counter
by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
doolae
g
e
make
counter:
:
add_fall
i
ng_p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
me
r
g
e (m
o
st
o
f)
common part of counter and
t
counter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter:
ha
n
d
le
s
pecial
i
zation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
ge
icounter:
don't bo
t
h
er "nor
m
alizing
"
the expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export neg_lef
t
_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdo
o
laege
b
asis_red
u
ction_
c
dd: ch
e
ck for possib
l
y inc
o
r
r
ect
o
u
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
P
o
lyhedron_S
a
m
ple:
handle
po
l
yhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_
f
un::operato
r
evalue *
:
a
l
w
a
y
s return a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
lae
g
e
gen_fun::ope
r
ator evalue
*
: rem
o
ve commented out debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate_e
.
cc: handl
e
v
erifica
t
i
o
n
of pr
o
bl
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_enumerat
e
_e: opti
o
nally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
barv
i
n
ok_enumerate_e
:
support verifi
c
ation of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_en
u
merate_e:
s
upport conv
e
rsion of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice_points: another
m
icro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
lat
t
ice_poin
t
s
_fixed:
n
ano-opti
m
iza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fu
n
::add: context of
s
um
s
h
o
uld be
u
nion of c
o
ntext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_enumerate: use ve
r
i
f
y
i
n
f
r
astructure fo
r
v
e
r
i
f
y
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genfu
n
.
cc:
print_
p
ower: drop spaces around "/"
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
dool
a
ege
count_poi
n
t
s_e: fall
b
ack to cou
n
t_poin
t
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Makefil
e
.
am: chec
k
-
evalue: print
n
ame o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
verif
y
: add che
c
k_poly_prin
t
helper
function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fu
n
: make
s
u
r
e contex
t
is always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::r
e
duce:
c
anonicalize coeffi
c
ients
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
h
o
rt
_
rat:
:
print: correctl
y
p
r
i
nt out te
r
m
s
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
arvin
o
k_serie
s
: rech
e
ck for e
q
ualities afte
r
comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
g
e
e
x
port Matrix_Read
for reading Ma
t
rix from
a
stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
r
do
o
laege
par
a
m_util
.
c: add
P
a
r
a
m_Ver
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
util
.
c: su
p
port
i
n
g
_const
r
aints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polyl
i
b
:
u
pdate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
options
.
c: use Polyh
e
dron_Sample fo
r
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
kee
p
track of and us
e
saturating cons
t
rain
t
s
in Par
a
m_Polyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move v
a
lue_gcd and
v
alue_l
c
m t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
ol
a
ege
Bernoulli_sum_
e
value:
o
n
ly
comp
u
te exact sum if a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaeg
e
Bernoulli_sum_evalue: su
m
over variables with intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdo
o
laege
Pol
y
he
d
r
o
n_ExchangeColumns: n
o
rmalize constraints
a
f
ter
.
.
.
commit
|
commitdiff
|
tree
next