\begin{theindex} \item 2d-mapping, \hyperpage{15} \item 2d-object, \hyperpage{7} \item 3d-mapping, \hyperpage{34} \item 3d-object, \hyperpage{31} \indexspace \item abelian module, \hyperpage{38} \item \texttt {AbelianModuleAction}, \hyperpage{38} \item \texttt {AbelianModuleGroup}, \hyperpage{38} \item \texttt {AbelianModuleObject}, \hyperpage{38} \item actor, \hyperpage{25} \item \texttt {ActorXMod}, \hyperpage{25} \item \texttt {ActorXSq}, \hyperpage{32} \item \texttt {AllDerivations}, \hyperpage{22} \item \texttt {AllInducedXMods}, \hyperpage{30} \item \texttt {AllSections}, \hyperpage{22} \item \texttt {AutoGroup}, \hyperpage{8}, \hyperpage{37} \item \texttt {AutomorphismPermGroup}, \hyperpage{25} \indexspace \item \texttt {Boundary}, \hyperpage{8}, \hyperpage{11} \indexspace \item \texttt {Cat1}, \hyperpage{11} \item cat1-group, \hyperpage{10} \item \texttt {Cat1ByPeifferQuotient}, \hyperpage{11} \item \texttt {Cat1Morphism}, \hyperpage{17} \item \texttt {Cat1MorphismByHoms}, \hyperpage{17} \item \texttt {Cat1OfXMod}, \hyperpage{12} \item \texttt {Cat1Select}, \hyperpage{13} \item cat2-group, \hyperpage{31} \item \texttt {Centre}, \hyperpage{25} \item \texttt {CommonRepresentatives}, \hyperpage{39} \item \texttt {CommonTransversal}, \hyperpage{39} \item \texttt {CompositeDerivation}, \hyperpage{23} \item \texttt {CompositeSection}, \hyperpage{23} \item \texttt {CompositionMorphism}, \hyperpage{18} \item crossed module, \hyperpage{7}, \hyperpage{31} \item crossed module morphism, \hyperpage{15} \item crossed pairing, \hyperpage{31} \item crossed square, \hyperpage{25} \item crossed square morphism, \hyperpage{34} \indexspace \item derivation, of crossed module, \hyperpage{20} \item \texttt {DerivationByImages}, \hyperpage{20} \item \texttt {DerivationBySection}, \hyperpage{21} \item \texttt {DiagonalAction}, \hyperpage{34} \item \texttt {DirectProduct}, \hyperpage{7} \item display a 2d-mapping, \hyperpage{16} \item display a 2d-object, \hyperpage{8} \item distinct and common representatives, \hyperpage{39} \item \texttt {DistinctRepresentatives}, \hyperpage{39} \item \texttt {Down2dMorphism}, \hyperpage{34} \item \texttt {Down2dObject}, \hyperpage{34} \indexspace \item \texttt {EndoClassConjugators}, \hyperpage{37} \item \texttt {EndoClassIsomorphism}, \hyperpage{37} \item \texttt {EndoClassNaturalHom}, \hyperpage{37} \item endomorphism classes, \hyperpage{37} \item \texttt {EndomorphismClasses}, \hyperpage{37} \indexspace \item \texttt {GeneratorImages}, \hyperpage{21} \indexspace \item \texttt {HeadMap}, \hyperpage{11} \indexspace \item \texttt {IdentityMapping}, \hyperpage{16, 17} \item \texttt {IdentitySubXMod}, \hyperpage{9} \item \texttt {ImageElmXPair}, \hyperpage{34} \item \texttt {ImagePositions}, \hyperpage{23} \item \texttt {ImagesList}, \hyperpage{22} \item \texttt {ImagesTable}, \hyperpage{22} \item inclusion mapping, \hyperpage{36} \item \texttt {InclusionMappingGroups}, \hyperpage{36} \item \texttt {InclusionMorphism2dObjects}, \hyperpage{16, 17} \item induced crossed module, \hyperpage{28} \item \texttt {InducedCat1}, \hyperpage{28} \item \texttt {InducedXMod}, \hyperpage{28} \item \texttt{InfoXMod}, \hyperpage{6} \item \texttt {InnerActor}, \hyperpage{25} \item \texttt {InnerAutomorphismByNormalSubgroup}, \hyperpage{38} \item \texttt {InnerAutomorphismCat1}, \hyperpage{17} \item \texttt {InnerAutomorphismXMod}, \hyperpage{16} \item \texttt {InnerMorphism}, \hyperpage{25} \item \texttt {Is3dObject}, \hyperpage{33} \item \texttt {IsAbelianModule}, \hyperpage{38} \item \texttt {IsAutomorphism2dObject}, \hyperpage{16} \item \texttt {IsAutomorphism3dObject}, \hyperpage{35} \item \texttt {IsBijective}, \hyperpage{16}, \hyperpage{35} \item \texttt {IsCat1Morphism}, \hyperpage{15} \item \texttt {IsCommonTransversal}, \hyperpage{39} \item \texttt {IsDerivation}, \hyperpage{20} \item \texttt {IsEndomorphism2dObject}, \hyperpage{16} \item \texttt {IsFp3dObject}, \hyperpage{33} \item \texttt {IsGroupOfAutomorphisms}, \hyperpage{38} \item \texttt {IsInducedCat1}, \hyperpage{28} \item \texttt {IsInducedXMod}, \hyperpage{28} \item \texttt {IsInjective}, \hyperpage{16} \item \texttt {IsmorphismPermObject}, \hyperpage{17} \item \texttt {IsomorphismPermObject}, \hyperpage{16} \item \texttt {IsPc3dObject}, \hyperpage{33} \item \texttt {IsPcPreXMod}, \hyperpage{10} \item \texttt {IsPerm3dObject}, \hyperpage{33} \item \texttt {IsPermXMod}, \hyperpage{10} \item \texttt {IsPreCat1Morphism}, \hyperpage{15} \item \texttt {IsPreXModMorphism}, \hyperpage{15} \item \texttt {IsPreXSq}, \hyperpage{33} \item \texttt {IsPreXSqMorphism}, \hyperpage{35} \item \texttt {IsSection}, \hyperpage{20} \item \texttt {IsSingleValued}, \hyperpage{16} \item \texttt {IsSurjective}, \hyperpage{16} \item \texttt {IsTotal}, \hyperpage{16} \item \texttt {IsUp2dMapping}, \hyperpage{20} \item \texttt {IsXModMorphism}, \hyperpage{15} \item \texttt {IsXSq}, \hyperpage{33} \item \texttt {IsXSqMorphism}, \hyperpage{35} \indexspace \item \texttt {Kernel}, \hyperpage{18} \item \texttt {Kernel2dMapping}, \hyperpage{18} \item \texttt {KernelEmbedding}, \hyperpage{11} \indexspace \item \texttt {Left2dMorphism}, \hyperpage{34} \item \texttt {Left2dObject}, \hyperpage{34} \item \texttt {LueXMod}, \hyperpage{25} \indexspace \item \texttt {MappingToOne}, \hyperpage{36} \item morphism, \hyperpage{15} \item morphism of 2d-object, \hyperpage{15} \item morphism of 3d-object, \hyperpage{34} \item \texttt {MorphismOfInducedXMod}, \hyperpage{28} \indexspace \item \texttt {Name}, \hyperpage{8}, \hyperpage{11}, \hyperpage{32} \item \texttt {NormalSubXMods}, \hyperpage{9} \item \texttt {NorrieXMod}, \hyperpage{25} \indexspace \item \texttt {Object2d}, \hyperpage{20} \item operations on morphisms, \hyperpage{18} \item \texttt {Order}, \hyperpage{18} \indexspace \item Peiffer subgroup, \hyperpage{10} \item \texttt {PeifferSubgroup}, \hyperpage{10} \item pre-crossed module, \hyperpage{9} \item \texttt {PreCat1ByEndomorphisms}, \hyperpage{11} \item \texttt {PreCat1ByNormalSubgroup}, \hyperpage{11} \item \texttt {PreCat1ByTailHeadEmbedding}, \hyperpage{11} \item \texttt {PreCat1Morphism}, \hyperpage{17} \item \texttt {PreCat1MorphismByHoms}, \hyperpage{17} \item \texttt {PreCat1OfPreXMod}, \hyperpage{12} \item \texttt {PreXModByBoundaryAndAction}, \hyperpage{9} \item \texttt {PreXModMorphism}, \hyperpage{16} \item \texttt {PreXModMorphismByHoms}, \hyperpage{16} \item \texttt {PreXModOfPreCat1}, \hyperpage{12} \indexspace \item \texttt {Range}, \hyperpage{8}, \hyperpage{10}, \hyperpage{15}, \hyperpage{34} \item \texttt {RangeEmbedding}, \hyperpage{11} \item \texttt {RangeHom}, \hyperpage{15} \item regular derivation, \hyperpage{20} \item \texttt {RegularDerivations}, \hyperpage{22} \item \texttt {RegularSections}, \hyperpage{22} \item restriction mapping, \hyperpage{36} \item \texttt {RestrictionMappingGroups}, \hyperpage{36} \item \texttt {Reverse}, \hyperpage{11} \item \texttt {Right2dMorphism}, \hyperpage{34} \item \texttt {Right2dObject}, \hyperpage{34} \indexspace \item section, of cat1-group, \hyperpage{20} \item \texttt {SectionByDerivation}, \hyperpage{21} \item \texttt {SectionByImages}, \hyperpage{21} \item selection of a small cat1-group, \hyperpage{13} \item \texttt {Size}, \hyperpage{8}, \hyperpage{11} \item \texttt {SmallerDegreePerm2dObject}, \hyperpage{17} \item \texttt {Source}, \hyperpage{8}, \hyperpage{10}, \hyperpage{15}, \hyperpage{34} \item \texttt {SourceHom}, \hyperpage{15} \item \texttt {SubPreXMod}, \hyperpage{9} \item \texttt {SubXMod}, \hyperpage{9} \indexspace \item \texttt {TailMap}, \hyperpage{11} \item \texttt {Transpose3dObject}, \hyperpage{32} \indexspace \item up 2d-mapping of 2d-object, \hyperpage{20} \item \texttt {Up2dMorphism}, \hyperpage{34} \item \texttt {Up2dObject}, \hyperpage{34} \indexspace \item version 1 for \textsf{GAP} 3, \hyperpage{40} \item version 2.001 for \textsf{GAP} 4, \hyperpage{40} \indexspace \item Whitehead group, \hyperpage{20} \item Whitehead monoid, \hyperpage{20} \item Whitehead multiplication, \hyperpage{20} \item \texttt {WhiteheadGroupTable}, \hyperpage{23} \item \texttt {WhiteheadMonoidTable}, \hyperpage{23} \item \texttt {WhiteheadPermGroup}, \hyperpage{23} \item \texttt {WhiteheadTransMonoid}, \hyperpage{23} \item \texttt {WhiteheadXMod}, \hyperpage{25} \indexspace \item \texttt {XMod}, \hyperpage{7} \item \texttt {XModAction}, \hyperpage{8} \item \texttt {XModByAbelianModule}, \hyperpage{7} \item \texttt {XModByAutomorphismGroup}, \hyperpage{7} \item \texttt {XModByBoundaryAndAction}, \hyperpage{7} \item \texttt {XModByCentralExtension}, \hyperpage{7} \item \texttt {XModByGroupOfAutomorphisms}, \hyperpage{7} \item \texttt {XModByInnerAutomorphismGroup}, \hyperpage{7} \item \texttt {XModByNormalSubgroup}, \hyperpage{7} \item \texttt {XModByPeifferQuotient}, \hyperpage{10} \item \texttt {XModByTrivialAction}, \hyperpage{7} \item \texttt {XModMorphism}, \hyperpage{16} \item \texttt {XModMorphismByHoms}, \hyperpage{16} \item \texttt {XModOfCat1}, \hyperpage{12} \item \texttt {XPair}, \hyperpage{34} \item \texttt {XSq}, \hyperpage{32} \item \texttt {XSqByNormalSubgroups}, \hyperpage{32} \end{theindex}