#Example: "IsIsomorphicPGroup-ni" . . . based on manual example
#(demonstrates `IsIsomorphicPGroup' usage)
#vars: G, P1, P2, P3, P4;
#options: 
G := Group( (1,2,3,4), (1,3) );
P1 := Image( IsomorphismPcGroup( G ) );
P2 := ElementaryAbelianGroup( 8 );
IsIsomorphicPGroup( P1, P2 );
P3 := QuaternionGroup( 8 );
IsIsomorphicPGroup( P1, P3 );
P4 := DihedralGroup( 8 );
IsIsomorphicPGroup( P1, P4 );