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
lexmin: remove duplicate unfringe
2006-08-26
Sven Ve
r
doolaege
lexmin: remove dupl
i
ca
t
e unf
r
in
g
e
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
polytope_s
c
an: optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope
_
scan: scan i
n
reduc
e
d b
a
sis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
pol
y
to
p
e
_scan
:
sc
a
ns the inte
g
er points in a p
o
lytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NTL_Q
Q
.
h hea
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
basi
s
_reducti
o
n
.
c: clean up G
L
P
K memory
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoola
e
ge
lexmin
.
cc
:
don't bothe
r
tr
a
ns
f
orming if
com
p
res
s
_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
o
l
ae
g
e
lexmi
n
.
cc: fix use of
com
p
r
ess
_
pa
r
ms
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verdo
o
lae
g
e
sample
.
c
: fix r
e
mov
e
_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
doolaege
barvin
o
k_count
:
clean up memory a
f
ter simplifyin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
erdoolaege
README: up
d
ate
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
Verdoola
e
ge
only perform lexm
i
n te
s
ts wh
e
n lexmin
has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
som
e
m
ore test
s
wi
t
h u
n
bounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ve
r
do
o
laege
add some small tests for le
x
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
lexmin: bar
f
w
h
en
p
o
l
y
hedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verd
o
olaege
lexmin
:
don't
p
rin
t
solution
when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaege
verify_m
a
in
.
cc: clean up
m
e
mor
y
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ve
r
doolaege
barvi
n
ok
_
s
e
ri
e
s
:
h
andle
f
ix
e
d
p
olyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
e
r
d
o
olaege
g
en_fu
n
: add constructo
r
for generating
fu
n
ction w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
barvinok
.
cc:
r
emove_more_
e
qual
i
ti
e
s: ha
n
d
le
e
q
u
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
er
d
oo
l
aege
gen_fu
n
::coe
f
ficient
:
r
e
set
the n
u
mber of rows in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
l
aege
le
x
m
in
.
cc: use remove
_
equalities
consistently
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Ve
r
d
o
o
lae
g
e
util
.
c: compress_variables: extracted fro
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdo
o
laege
lexmin
:
do
n
't ch
e
ck anythi
n
g if given range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoo
l
a
e
g
e
lex
m
in
.
cc:
remove_equalit
i
es; take preima
g
e with
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin
.
cc:
r
emove_equalities
:
ex
t
end retur
n
ed matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoolaege
lexmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: remove some debugging res
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
reduce_d
o
main: compute convex unio
n
of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
l
e
xmin
.
cc
:
in
_
domain:
als
o
check oth
e
r parts of
u
n
i
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoo
l
a
e
g
e
lexmin: in_
d
o
main: set values if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexm
i
n: plug some memory
lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin:
a
n
experimental tool
for comput
i
n
g the paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
laege
a
dd
f
dstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
e
v
a
l
u
e
.
c
: floor2frac_r
:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc: unfringe: work
incremen
t
ally
commit
|
commitdiff
|
tree
2006-08-06
S
ven Ve
r
dool
a
eg
e
e
v
a
lu
e
_frac2fl
o
o
r
_in_domain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Poly
h
edron_Sample: allow equ
a
lities i
n
inp
u
t poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
Polyhedron_Sam
p
le: mak
e
s
u
re vertice
s
are
available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdool
a
eg
e
Polyhedron_Sample: simplif
y
constraints a
f
ter
ch
o
osing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verd
o
olaege
Polyh
e
dron_Samp
l
e:
handle empty a
n
d
0D
po
l
yhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
sample
.
c:
a
lterna
t
i
v
e implemen
t
ation of remove_
r
ay
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
samp
l
e
.
c: Polyhedron_Rem
o
veFixedColumns: handle pr
e
se
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barv
i
nok_coun
t
_f
:
check
w
hether polyh
e
dr
o
n is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
o
o
laege
barvi
n
ok
_
coun
t
: simplify con
s
t
r
aint
s
af
t
er removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Ve
r
dool
a
eg
e
reduced_basis: support
1
D polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
e
rdoolaege
reduced_basis: ensur
e
all LP solutio
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ: print pa
r
ametric verti
c
es of
s
et u
s
i
ng P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdo
o
laege
occ:
add interface to barvinok_lexsmal
l
e
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoo
l
a
e
ge
util
.
c: provide dummy ba
r
vinok_lex
s
mall
e
r_ev when
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Ve
r
doolaege
4coins: computes gen
e
ra
t
ing
functio
n
for 4 coi
n
Frobe
n
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
gen_fun::Hadamard_product: a
p
ply parame
t
er compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
g
e
n_fun::
s
u
b
stitute: only pass in tr
a
nsfo
r
ma
t
io
n
ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ver
d
oolaege
scarf
.
cc: support more cases
o
f
3
(
independent
)
constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoo
l
aege
sc
a
rf
.
c
c
: sup
p
ort more case
s
of 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n
Verdool
a
ege
genfun
.
cc: add gen_fu
n
::divide method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ver
d
oolaege
g
en
f
un
.
cc
:
another ge
n
_fun::summat
e
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
nfi
n
ite_icoun
t
er: an incremental c
o
unter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icounter: move
from b
a
rvinok
.
c
c to re
d
uce
r
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
bfe
n
ume
r
ator::set_factor: plug small m
e
mory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barv
i
nok_enumera
t
e_union_serie
s
: u
s
e gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
genfu
n
.
c
c
: add gen_f
u
n::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoo
l
ae
g
e
gen_fun::Hadamard
_
p
roduct:
o
ptimize
c
om
p
u
t
a
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
g
en_fu
n
::Ha
d
amar
d
_product: make
f
irs
t
ar
g
um
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
p
o
lar_decom
p
oser:
:
decompose: make
s
ure vertices h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base:
a
d
d do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_
f
un:
:
p
rin
t
: al
l
o
w
printing to streams ot
h
e
r
t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
bfcounter
.
cc: move some more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
a
ege
gen
_
f
u
n
.
h: short_r
a
t
: use Q
Q
i
n
stead
of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
NTL_
Q
Q
.
cc: a rational NTL t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
a
e
ge
verify_main
.
cc: small mem
o
ry clea
n
-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok_series: move choice of
which gf
_
base su
b
cla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
b
a
rvi
n
o
k
.
cc: move s
o
me functional
i
t
y into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move
P
olyhedro
n
a
r
gument to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oo
l
aege
bar
v
inok
.
cc: mo
v
e start
a
n
d
h
andl
e
_polar
into
n
p_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun: add shift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
gen_fu
n
: add copy const
r
uctor
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoo
l
a
e
ge
zz2val
u
es: make fi
r
st argument c
o
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
zz2va
l
ue: m
a
k
e
first argumen
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
oolaeg
e
Polyhedron
_
is_infinite
:
us
e
Poly
h
e
dro
n
_Samp
l
e if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
v
en
V
erdoo
l
aege
p
o
l
y
hedron_sample:
computes an integer
vector
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n Verdoolaege
confi
g
ur
e
.
in: check for
g
l
p
k
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ver
d
oolaege
scar
f
.
cc: simplex
:
:shrunk_pol
y
h
e
dron: only pr
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdo
o
laeg
e
g
en_fun:
:
add:
p
erfor
m
trivi
a
l reductio
n
s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
o
laeg
e
genfun
.
cc: reorder term
s
in
n
umerat
o
r
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
l
a
ege
scar
f
.
c
c:
n
o
rm
a
lize_ma
t
r
i
x
:
simplify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Ver
d
oolaege
scarf
.
cc:
suppor
t
some cases
o
f 4 constraint
s
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoola
e
ge
barvinok_
e
numerate_e: --print-all
for
printin
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdool
a
ege
scarf
.
cc: nor
m
aliz
e
_matr
i
x:
s
implify
n
==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project out
2
vari
a
bles using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
u
t
i
l
.
c
:
export
E
xtended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rd
o
olaege
configu
r
e
.
in
:
make --enable-
f
ractional the defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdoolaeg
e
barvin
o
k_c
o
unt: c
h
eck whether unb
o
unded polyhedra a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/
c
onfigure
.
in: allo
w
specification of loc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
doolaege
reduce_doma
i
n
:
d
e
clar
e
va
r
iab
l
e
a
t
start
of code b
l
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remove_e
q
u
a
l
i
ties: st
o
p removinf equaliti
e
s if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
barv
i
no
k
_count: sto
p
counting if fir
s
t facto
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_count_f:
c
heck
f
or e
m
pti
n
e
ss
o
f
P (aga
i
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_count: tell PolyL
i
b
we are onl
y
interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
v
ersion 0
.
21
commit
|
commitdiff
|
tree
next