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
GAP 3.4.4