XModOps.IsAutomorphismXMod( X )
This Boolean function checks that the range group is a subgroup of the automorphism group of the source group containing the group of inner automorphisms, and that the boundary and action homomorphisms are of the correct form.
gap> IsAutomorphismXMod( AX ); true
GAP 3.4.4