XModOps.IsCentralExtension( X )
This Boolean function checks that the boundary is surjective with kernel central in the source.
gap> IsCentralExtension( EX ); true
Previous Up Top NextIndex