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