GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## #W Normal.gd FGA package Christian Sievers ## ## The declaration file for the computation of normalizers in free groups ## #Y 2003 - 2012 ## ############################################################################# ## #A NormalizerInWholeGroup( <group> ) ## ## returns the normalizer of <group> in the group of the whole family ## DeclareAttribute( "NormalizerInWholeGroup", IsFreeGroup ); ############################################################################# ## #E