33.24 IsSpaceCoset

IsSpaceCoset( obj )

returns true if obj, which may be an arbitrary object, is a row space coset, and false otherwise.

    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:= Subspace( v, [ [ 1, 1 ] * Z(2) ] );
    Subspace( v, [ [ Z(2)^0, Z(2)^0 ] ] )
    gap> f:= v / u;
    v / [ [ Z(2)^0, Z(2)^0 ] ]
    gap> IsSpaceCoset( u );
    false
    gap> IsSpaceCoset( Random( f ) );
    true 

Previous Up Top Next
Index