33.11 AsSubspace

AsSubspace( V ,U )

returns the row space U, viewed as a subspace of the rows space V. For that, V must be a parent space.

    gap> v:= GF(2)^2; v.name:="v";;
    RowSpace( GF(2), [ [ Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0 ] ] )
    gap> u:= RowSpace( GF(2), [ [ 1, 1 ] * Z(2) ] );
    RowSpace( GF(2), [ [ Z(2)^0, Z(2)^0 ] ] )
    gap> w:= AsSubspace( v, u );
    Subspace( v, [ [ Z(2)^0, Z(2)^0 ] ] )
    gap> w = u;
    true 

Previous Up Top Next
Index