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
barvinok 0.26
2008-01-16
S
v
en Verdoola
e
ge
b
a
rvi
n
ok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
add so
m
e tests for impleme
n
tat
i
on
of
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
: docu
m
ent new options and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
AUTHORS:
update
s
upport information
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
c
c
: short_r
a
t::print:
correctly
p
rint polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoola
e
ge
Export series as barv
i
n
ok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdool
a
ege
remove_parameter_equ
a
lities: stop "remo
v
ing" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaeg
e
se
r
ies: leav
e
freeing o
f
P arg
u
men
t
t
o
calling f
u
ncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
u
ment implementation of the pro
j
ection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add
b
arvinok_enumerate_e_series im
p
l
e
menting the project
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaeg
e
genfun
.
cc: f
i
x and document parallel po
l
ytopes cl
a
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly compile zsolve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
M
o
ve GiNaC-independent
p
art of
l
i
brar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
polylib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc: how to count t
h
e nu
m
ber of
e
lements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
rdoolaege
d
o
c
/
impl
e
ment
a
tion
.
tex: avo
i
d
multiply
d
e
f
ined
l
a
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
a
ttice_wi
d
t
h
.
c: try ver
t
ices of
p
revious integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaeg
e
doc: docum
e
nt intege
r
hu
l
l comp
u
tat
i
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
ull
.
c: a
d
d
a
ll p
o
ints
f
ound by sampling d
i
re
c
tly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaeg
e
P
o
s
si
b
le optimizations for generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
laege
Sup
p
ort u
s
e o
f
general
i
z
e
d
basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaege
add Polyhedron_In
t
eger_Minimum for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
do
c
: d
o
cumen
t
generalized basis reduction based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc/barvinok
.
bib
:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add m
o
re mi
s
sing ass
e
rt
.
h #
i
ncl
u
de
s
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Verdoolaege
e
v
a
lue
.
c: add
miss
i
ng include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
configur
e
.
in: pass path of GMP installa
t
ion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oo
l
a
ege
configu
r
e
.
in: only compile libbarv
i
n
o
k
a
s a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Polyhedro
n
_Reduced_B
a
si
s
:
d
on't stop too e
a
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_w
i
d
t
h_directions: only k
e
ep list of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
zsolve: don't i
n
stall
library
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolaege
version
.
c: show
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laeg
e
configure
.
in:
d
on't set with_{poly,pip}li
b
_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
Polyhedron
_
Sample
:
be
sat
i
sfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_intege
r
_hull
:
optiona
l
ly pr
i
nt st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
basis_redu
c
t
ion: keep
t
rack of
n
umber of LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options:
move --print-stat
s
to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
b
ernstein:
rework testing
framework
t
o
not de
p
end o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add
p
i
e
cewi
s
e
_
lst::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
suppor
t
new
e
r v
e
rsi
o
ns of GiNa
C
(>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
ege
sta
n
d
ard_constrain
t
s:
m
ove
f
r
o
m
top
c
o
m
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
polysign
.
h: re
m
ove
d
e
p
endency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
zso
l
ve: ad
d
b
anner
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
r
d
oolaege
Po
l
yhedron
_
L
attice_W
i
dth_Dir
e
ctions: prin
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pi
p
: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
README: ex
p
lain how to get su
b
modu
l
es
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolae
g
e
doc:
document lattice wi
d
th
c
ompu
t
a
tio
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
some lattice w
i
dth tests fr
o
m Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
Polyhedron_Lattice_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
a
dd Polyhedron_Latti
c
e
_
Wi
d
th
f
or computing la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n V
e
rdoolae
g
e
hilbert
.
c: add Cone_Int
e
ger_Hull
for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
polysign: add
p
ip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign:
a
d
d constra
i
n
t
s_op
t
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ola
e
ge
p
o
lysign_cdd:
s
w
i
tch to
u
se of
Matrix rep
r
ese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
i
gn_g
l
pk: switch to use of Matr
i
x
r
epre
s
ent
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
doc: doc
u
m
e
nt comp
u
tation
of Hilbert basis o
f
a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
Cone_Hilbert_Basis:
use stan
d
a
r
d
_
const
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
U
se zsolv
e
to
c
ompute H
i
lbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
o
mpile zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e: do
n
't install header
s
and exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
i
n
itialize Ba
c
kupTim
e
in
Z
SolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSystem: a
d
d mis
s
ing verbosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve:
override L
I
BS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolae
g
e
add 4ti2-1
.
3
.
1+a
u
toconf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
add z
s
olve from 4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
param_uti
l
.
c: ex
p
ort
b
it
_
vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
topcom
.
c: extract part of code for setting
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
r
doolaege
ge
n
_fun::
H
adama
r
d_product: p
r
i
n
t progr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
move
--verbose optio
n
to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
lae
g
e
g
e
n
_fun
:
:summate: handl
e
full
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace
i
ncremental inf
i
n
ite set
counter b
y
"reg
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
mak
e
counter::
a
dd_fa
l
l
i
ng_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
merge (mo
s
t of) com
m
on
part
o
f c
o
u
nter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ic
o
unter: handle speci
a
l
i
za
t
ion of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoola
e
ge
icounter: don'
t
bo
t
her "norm
a
l
i
zi
n
g"
t
he exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort
neg_lef
t
_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
basis_reduction_cd
d
: chec
k
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
Pol
y
hedr
o
n_Sam
p
le: handle polyh
e
d
ron
b
ecomi
n
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun
:
:operator
eva
l
ue *: always retur
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
g
e
n_f
u
n::operator
e
val
u
e *: remove comme
n
t
e
d out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
bar
v
inok_enu
m
erate_e
.
cc: handle v
e
rifica
t
ion of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
barvi
n
o
k
_en
u
m
e
r
a
t
e_e:
optio
n
a
l
ly print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e:
s
u
pport verific
a
ti
o
n of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_
e
numerate_e: support conversion of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: another
m
icro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdo
o
laeg
e
la
t
tic
e
_points_fixed: nano-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun
:
:add: cont
e
xt of sum should be uni
o
n of co
n
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enumer
a
te:
use ve
r
ify infra
s
tructure fo
r
ver
i
fy
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
genfu
n
.
cc: prin
t
_power: drop spaces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
count_points_e: fall back to count_po
i
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Makefi
l
e
.
am: check-evalu
e
: print name of each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
verif
y
:
add
c
h
e
ck_
p
oly_print helper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
gen_f
u
n:
m
a
k
e s
u
re
c
o
n
te
x
t is always
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::re
d
uc
e
: can
o
nicalize
co
e
fficie
n
ts
i
n e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
short_rat::
p
rin
t
:
co
r
r
e
ctly
p
rint out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_series: recheck fo
r
equ
a
lities af
t
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
export
M
atrix_Read for readin
g
Matrix f
r
om
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param_util
.
c
:
add
P
aram_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
util
.
c: suppo
r
ting_con
s
traints: ret
u
r
n
bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
po
l
y
l
ib
:
u
p
dat
e
f
or M
a
trix
_
Ex
t
end
commit
|
commitdiff
|
tree
next