7.86 IsRightCoset

IsRightCoset( obj )
IsCoset( obj )

IsRightCoset and IsCoset return true if the object obj is a right coset, i.e., a record with the component isRightCoset with value true, and false otherwise. Will signal an error if obj is an unbound variable.

    gap> C := Subgroup( Group( (1,2), (1,2,3) ), [ (1,2,3) ] ) * (1,2);;
    gap> IsRightCoset( C );
    true
    gap> D := (1,2) * Subgroup( Group( (1,2), (1,2,3) ), [ (1,2,3) ] );;
    gap> IsCoset( D );
    false    # note that <D> is a *left coset* record,
    gap> C = D;
    true     # though as a set, it is of course also a right coset
    gap> IsCoset( 17 );
    false 

Previous Up Top Next
Index