IsDerivation( X, im )
IsDerivation( chi )
This function may be called in two ways, and tests that the derivation given by the images of its generators is well-defined.
gap> im0 := [ (1,3,2)(4,5,6), () ];; gap> IsDerivation( XSC, im0 ); true
GAP 3.4.4