IsSemidirectPair( pair )
This tests to see whether pair is a (semidirect product, perm group) pair.
pair
gap> IsSemidirectPair( PG ); true
Previous Up Top NextIndex