IsXMod( X )
This Boolean function checks that the five main fields of X exist and that the crossed module axioms are satisfied.
gap> IsXMod( X ); true
Previous Up Top NextIndex