[GAP Forum] bases of vector spaces

[Laurent Bartholdi]

hi,
this is maybe not a bug, but seems very strange behaviour to me:

gap> GF(2)^100;
( GF(2)^100 )
gap> Basis(last);
CanonicalBasis( ( GF(2)^100 ) )
gap> VectorSpace(GF(2),last);
<vector space over GF(2), with 100 generators>
gap> Basis(last);
SemiEchelonBasis( <vector space over GF(2), with 100 generators>, ... )
gap> VectorSpace(GF(2),last);
<vector space over GF(2), with 100 generators>
gap> Basis(last);
Basis( <vector space over GF(2), with 100 generators>, ... )
gap> VectorSpace(GF(2),last);
user interrupt at
i := i + 1;
...
and GAP runs till it exhausts memory. if instead of
VectorSpace(GF(2),last) i used VectorSpace(GF(2),Elements(last)) there is
no problem.

best, laurent

--
Laurent Bartholdi           \  laurent.bartholdi<at>epfl<dot>ch
EPFL, IGAT, Bâtiment BCH     \    Téléphone: +41 21-6930380
CH-1015 Lausanne, Switzerland \      Fax: +41 21-6930385