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
doc: document new options and new applications
2008-01-16
Sve
n
Verd
o
ola
e
ge
d
o
c: doc
u
ment new options
a
nd new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
A
U
THORS
:
u
pdate support
i
nform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdool
a
ege
gen
f
u
n
.
cc: short_ra
t
::
p
rin
t
: correctly print p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
Export series as
b
arvin
o
k_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
r
e
mov
e
_paramete
r
_equaliti
e
s: st
o
p "removing" e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
series: leave
free
i
ng
o
f P
a
rgume
n
t to ca
l
li
n
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document implementation of t
h
e
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
a
r
v
i
n
ok_enu
m
erate_e_series implem
e
nti
n
g the
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix an
d
d
ocument parallel
p
ol
y
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Only
compi
l
e zsolve if gcc 3
.
4 or later is availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Move GiNaC-independen
t
part of library to
b
a
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
ool
a
ege
doc: how to
count
the number of el
e
me
n
ts
in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
a
e
ge
d
oc/implementation
.
tex: avoi
d
mu
l
tiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lattice_width
.
c: try v
e
rtic
e
s of previous
in
t
eger
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
doc: document integer
hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolaege
h
u
ll
.
c:
add
all points fo
u
n
d
by sam
p
ling direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizat
i
ons fo
r
gene
r
alized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Support us
e
of gen
e
ralized
basis reductio
n
to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
ge
add Poly
h
e
d
ron_Integer_Mi
n
imu
m
for
computing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
rdoolaege
doc: doc
u
ment generalize
d
basis
reductio
n
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc
/
barvinok
.
bib:
add
missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdo
o
lae
g
e
add
m
ore
mis
s
i
n
g a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolae
g
e
e
value
.
c: a
d
d
missing include of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
con
f
igure
.
in: pa
s
s
p
a
t
h
o
f GMP
i
nstallatio
n
to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
configure
.
in: only c
o
mpile li
b
barvino
k
as a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
Polyhedron_Red
u
ced_Ba
s
is:
d
on't stop too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
e
r
doolaege
comp
u
t
e
_width_directions: only keep lis
t
o
f
dis
t
i
n
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
zso
l
ve: don't install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
ver
s
ion
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configu
r
e
.
i
n
: d
o
n't
set with
_
{poly,pip
}
lib
_
p
r
efix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
P
o
lyhedron_S
a
mple: be satisfied with
a
reasonab
l
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
a
ege
c
one_i
n
teger_
h
ull: optionally pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
b
a
s
i
s
_
reduction:
k
e
ep
t
r
a
ck
o
f numb
e
r of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolae
g
e
opti
o
ns: move
--print-st
a
t
s to libr
a
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
bernstein:
rewor
k
testing fram
e
w
o
rk to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoola
e
ge
bernstein: add p
i
ecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer
versions o
f
Gi
N
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
o
l
a
e
g
e
s
t
andard_const
r
ain
t
s: move from topcom
.
c
t
o pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
poly
s
ign
.
h: remove dependency on
l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolaege
zsolv
e
: add banner
.
h to
d
i
s
t
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
Polyhe
d
ron_Lattice_Width_Directi
o
ns: p
r
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doo
l
aege
basis_reduction_
p
ip: abort on invalid (empty)
i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
R
EADME: explain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
doc
:
d
ocum
e
nt lat
t
ice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some lattice wi
d
th t
e
sts
fr
o
m Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdool
a
e
ge
Polyhedron_La
t
tice_Widt
h
: decide on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
add
P
oly
h
edro
n
_Lattice_Width fo
r
com
p
uti
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
lae
g
e
hi
l
bert
.
c
:
a
dd Cone_In
t
eg
e
r_
H
ull for compu
t
ing
v
ertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign: add pip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
p
o
ly
s
ign:
a
dd c
o
nstraint
s
_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: switch
to use of Mat
r
i
x re
p
resentatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysi
g
n_glpk:
s
witch to u
s
e of
M
atrix repr
e
sent
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
d
o
c
: document
co
m
pu
t
ati
o
n o
f
H
ilbert ba
s
i
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdool
a
e
ge
Cone_H
i
l
bert_Ba
s
is: use s
t
andard
_
constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use z
s
olve to co
m
pute H
i
lbert basi
s
of a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
zsolve
:
d
o
n
'
t install headers an
d
executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
zsolve: initialize BackupTime
i
n ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
l
aege
z
solve: zsolv
e
System: add miss
i
n
g verbo
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
z
s
o
lve: ove
r
ride
L
I
BS f
r
om top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
add
4ti2-1
.
3
.
1+
a
utoco
n
f-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
add zsolv
e
f
r
om
4ti2-1
.
3
.
1+auto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
pa
r
am_util
.
c: export
b
it_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
topco
m
.
c:
extr
a
ct part
o
f code for sett
i
ng
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun:
:
H
adamard_pr
o
d
u
ct: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
m
ove --verbose
o
ption to librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: ha
n
dl
e
full specializa
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Rep
l
ac
e
incremental infi
n
ite set c
o
unter by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
m
a
ke counter::a
d
d_falling_powers st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
merge (mos
t
o
f)
c
omm
o
n part of counter an
d
t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
icounter: handle specialization of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
icounter: don'
t
bother
"
no
r
mali
z
ing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
e
x
port neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
asis_reducti
o
n_cdd: check for pos
s
ibly incorrect o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
Polyhedron_Sample: handle polyhe
d
ron bec
o
mi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::operator eva
l
ue *: always return a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
la
e
ge
gen_fun::operator evalue *: remo
v
e
comment
e
d out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvi
n
ok_enum
e
rate_e
.
cc: handl
e
v
erificati
o
n
o
f
pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
aege
barvino
k
_
e
num
e
rate_
e
: optionally print stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_e
n
umerate_e: support verificatio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok
_
enumer
a
te_e: support conve
r
s
ion of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
lattice_
p
oints:
a
n
o
t
h
er mic
r
o-optimiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points_
f
i
x
ed: na
n
o-opt
i
m
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
g
e
n_fun::add:
context
o
f
sum should be un
i
on
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_en
u
me
r
ate: us
e
verify
infrastructu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
g
e
nfun
.
cc:
p
r
in
t
_power: drop space
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
cou
n
t_points_e: fall back
to c
o
u
n
t
_point
s
i
f
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Makefi
l
e
.
a
m
: check-evalue: p
r
int name of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdo
o
laege
verify: add
check_poly_pr
i
n
t
helpe
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un:
make
sure context is alw
a
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
re
d
ucer::reduce: canonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
sho
r
t_r
a
t:
:
print: correct
l
y print out te
r
ms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvi
n
ok_series: recheck for equalities afte
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
x
po
r
t Matrix_Read
f
o
r
r
eading
Ma
t
rix
f
r
om
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
pa
r
am_util
.
c:
add Param_Ver
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
ut
i
l
.
c:
suppo
r
t
i
ng_con
s
traints:
r
e
turn
bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
p
o
lylib: update for Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
o
ptions
.
c: use
P
olyhed
r
on_S
a
m
ple for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
o
o
laege
keep
t
ra
c
k of and use satu
r
ating constr
a
int
s
in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
next