AgNormalizedOuterAutomorphisms( P )
returns a polycyclically presented group isomorphic to the group of normalized outer automorphisms of the polycyclically presented p-group P.
gap> g:= SolvableGroup( "D8" );; gap> aut:= AgNormalizedOuterAutomorphisms( g ); Group( IdAgWord )
Note: If the component P.isCompatiblePCentralSeries
is not bound
it is computed using IsCompatiblePCentralSeries
.
GAP 3.4.4