GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
1<Verb>ActedGroup(M):: GOuterGroup --> Group</Verb><P/> 2 3<P/> 4Inputs a <M>G</M>-outer group <M>M</M> corresponding to a homomorphism 5<M>\alpha\colon G\rightarrow {\rm Out}(N)</M> and returns the group 6$N$. 7 8 9 10 11