7.94 IsDoubleCoset

IsDoubleCoset( obj )

IsDoubleCoset returns true if the object obj is a double coset, i.e., a record with the component isDoubleCoset with value true, and false otherwise. Will signal an error if obj is an unbound variable.

    gap> G := Group( (1,2), (1,2,3,4) );;
    gap> U := Subgroup( G, [ (1,2), (3,4) ] );;
    gap> D := DoubleCoset( U, (1,2,3), U );;
    gap> IsDoubleCoset( D );
    true 

Previous Up Top Next
Index