\indexentry{MagmaWithObjects@\texttt  {MagmaWithObjects}|hyperpage}{7}
\indexentry{ObjectList@\texttt  {ObjectList}|hyperpage}{7}
\indexentry{SemigroupithObjects@\texttt  {SemigroupithObjects}|hyperpage}{7}
\indexentry{MonoidWithObjects@\texttt  {MonoidWithObjects}|hyperpage}{7}
\indexentry{MultiplicativeElementWithObjects@\texttt  {MultiplicativeElementWithObjects}|hyperpage}{8}
\indexentry{IsSinglePiece@\texttt  {IsSinglePiece}|hyperpage}{8}
\indexentry{IsDirectProductWithCompleteGraph@\texttt  {IsDirectProductWithCompleteGraph}|hyperpage}{8}
\indexentry{MagmaWithObjectsHomomorphism@\texttt  {MagmaWithObjectsHomomorphism}|hyperpage}{10}
\indexentry{MagmaHomomorphismFromSinglePiece@\texttt  {MagmaHomomorphismFromSinglePiece}|hyperpage}{10}
\indexentry{HomomorphismToSinglePiece@\texttt  {HomomorphismToSinglePiece}|hyperpage}{10}
\indexentry{HomomorphismByUnion@\texttt  {HomomorphismByUnion}|hyperpage}{10}
\indexentry{SinglePieceGroupoid@\texttt  {SinglePieceGroupoid}|hyperpage}{12}
\indexentry{Groupoid@\texttt  {Groupoid}|hyperpage}{12}
\indexentry{Pieces@\texttt  {Pieces}|hyperpage}{13}
\indexentry{ObjectList@\texttt  {ObjectList}|hyperpage}{13}
\indexentry{IsPermGroupoid@\texttt  {IsPermGroupoid}|hyperpage}{13}
\indexentry{IsPcGroupoid@\texttt  {IsPcGroupoid}|hyperpage}{13}
\indexentry{IsFpGroupoid@\texttt  {IsFpGroupoid}|hyperpage}{13}
\indexentry{GroupoidElement@\texttt  {GroupoidElement}|hyperpage}{14}
\indexentry{IsElementOfGroupoid@\texttt  {IsElementOfGroupoid}|hyperpage}{14}
\indexentry{Arrow@\texttt  {Arrow}|hyperpage}{14}
\indexentry{Arrowtail@\texttt  {Arrowtail}|hyperpage}{14}
\indexentry{Arrowhead@\texttt  {Arrowhead}|hyperpage}{14}
\indexentry{Size@\texttt  {Size}|hyperpage}{14}
\indexentry{* for groupoid elements|hyperpage}{14}
\indexentry{IsSinglePiece@\texttt  {IsSinglePiece}|hyperpage}{15}
\indexentry{IsDiscrete@\texttt  {IsDiscrete}|hyperpage}{15}
\indexentry{SubgroupoidByPieces@\texttt  {SubgroupoidByPieces}|hyperpage}{15}
\indexentry{Subgroupoid@\texttt  {Subgroupoid}|hyperpage}{15}
\indexentry{FullSubgroupoid@\texttt  {FullSubgroupoid}|hyperpage}{15}
\indexentry{MaximalDiscreteSubgroupoid@\texttt  {MaximalDiscreteSubgroupoid}|hyperpage}{15}
\indexentry{DiscreteSubgroupoid@\texttt  {DiscreteSubgroupoid}|hyperpage}{15}
\indexentry{FullIdentitySubgroupoid@\texttt  {FullIdentitySubgroupoid}|hyperpage}{15}
\indexentry{DiscreteIdentitySubgroupoid@\texttt  {DiscreteIdentitySubgroupoid}|hyperpage}{15}
\indexentry{ObjectStar@\texttt  {ObjectStar}|hyperpage}{16}
\indexentry{ObjectCostar@\texttt  {ObjectCostar}|hyperpage}{16}
\indexentry{Homset@\texttt  {Homset}|hyperpage}{16}
\indexentry{IdentityElement@\texttt  {IdentityElement}|hyperpage}{17}
\indexentry{RightCoset@\texttt  {RightCoset}|hyperpage}{17}
\indexentry{RightCosetRepresentatives@\texttt  {RightCosetRepresentatives}|hyperpage}{17}
\indexentry{RightCosetsNC@\texttt  {RightCosetsNC}|hyperpage}{17}
\indexentry{LeftCoset@\texttt  {LeftCoset}|hyperpage}{17}
\indexentry{LeftCosetRepresentatives@\texttt  {LeftCosetRepresentatives}|hyperpage}{17}
\indexentry{LeftCosetRepresentativesFromObject@\texttt  {LeftCosetRepresentativesFromObject}|hyperpage}{17}
\indexentry{LeftCosetsNC@\texttt  {LeftCosetsNC}|hyperpage}{17}
\indexentry{DoubleCoset@\texttt  {DoubleCoset}|hyperpage}{17}
\indexentry{DoubleCosetRepresentatives@\texttt  {DoubleCosetRepresentatives}|hyperpage}{17}
\indexentry{DoubleCosetsNC@\texttt  {DoubleCosetsNC}|hyperpage}{18}
\indexentry{^@\texttt  {\texttt  {\char 92\relax }\texttt  {\char 94\relax }}|hyperpage}{18}
\indexentry{\texttt{\symbol{92}}\texttt{\symbol{94}}\texttt{\symbol{123}}\texttt{\symbol{125}} for groupoid elements|hyperpage}{18}
\indexentry{GroupoidHomomorphism@\texttt  {GroupoidHomomorphism}|hyperpage}{20}
\indexentry{GroupoidHomomorphismFromSinglePiece@\texttt  {GroupoidHomomorphismFromSinglePiece}|hyperpage}{20}
\indexentry{Source@\texttt  {Source}|hyperpage}{20}
\indexentry{Range@\texttt  {Range}|hyperpage}{20}
\indexentry{FpWeightedDigraph@\texttt  {FpWeightedDigraph}|hyperpage}{22}
\indexentry{IsFpWeightedDigraph@\texttt  {IsFpWeightedDigraph}|hyperpage}{22}
\indexentry{InvolutoryArcs@\texttt  {InvolutoryArcs}|hyperpage}{22}
\indexentry{GraphOfGroups@\texttt  {GraphOfGroups}|hyperpage}{23}
\indexentry{DigraphOfGraphOfGroups@\texttt  {DigraphOfGraphOfGroups}|hyperpage}{23}
\indexentry{GroupsOfGraphOfGroups@\texttt  {GroupsOfGraphOfGroups}|hyperpage}{23}
\indexentry{SubgroupsOfGraphOfGroups@\texttt  {SubgroupsOfGraphOfGroups}|hyperpage}{23}
\indexentry{IsomorphismsOfGraphOfGroups@\texttt  {IsomorphismsOfGraphOfGroups}|hyperpage}{23}
\indexentry{IsGraphOfFpGroups@\texttt  {IsGraphOfFpGroups}|hyperpage}{24}
\indexentry{IsGraphOfPcGroups@\texttt  {IsGraphOfPcGroups}|hyperpage}{24}
\indexentry{IsGraphOfPermGroups@\texttt  {IsGraphOfPermGroups}|hyperpage}{24}
\indexentry{RightTransversalsOfGraphOfGroups@\texttt  {RightTransversalsOfGraphOfGroups}|hyperpage}{25}
\indexentry{LeftTransversalsOfGraphOfGroups@\texttt  {LeftTransversalsOfGraphOfGroups}|hyperpage}{25}
\indexentry{GraphOfGroupsWord@\texttt  {GraphOfGroupsWord}|hyperpage}{25}
\indexentry{IsGraphOfGroupsWord@\texttt  {IsGraphOfGroupsWord}|hyperpage}{25}
\indexentry{GraphOfGroupsOfWord@\texttt  {GraphOfGroupsOfWord}|hyperpage}{25}
\indexentry{WordOfGraphOfGroupsWord@\texttt  {WordOfGraphOfGroupsWord}|hyperpage}{25}
\indexentry{GGTail@\texttt  {GGTail}|hyperpage}{25}
\indexentry{GGHead@\texttt  {GGHead}|hyperpage}{25}
\indexentry{ReducedGraphOfGroupsWord@\texttt  {ReducedGraphOfGroupsWord}|hyperpage}{26}
\indexentry{IsReducedGraphOfGroupsWord@\texttt  {IsReducedGraphOfGroupsWord}|hyperpage}{26}
\indexentry{FreeProductWithAmalgamation@\texttt  {FreeProductWithAmalgamation}|hyperpage}{26}
\indexentry{IsFpaGroup@\texttt  {IsFpaGroup}|hyperpage}{26}
\indexentry{GraphOfGroupsRewritingSystem@\texttt  {GraphOfGroupsRewritingSystem}|hyperpage}{26}
\indexentry{NormalFormGGRWS@\texttt  {NormalFormGGRWS}|hyperpage}{26}
\indexentry{HnnExtension@\texttt  {HnnExtension}|hyperpage}{28}
\indexentry{IsHnnGroup@\texttt  {IsHnnGroup}|hyperpage}{28}
\indexentry{GraphOfGroupoids@\texttt  {GraphOfGroupoids}|hyperpage}{29}
\indexentry{IsGraphOfPermGroupoids@\texttt  {IsGraphOfPermGroupoids}|hyperpage}{29}
\indexentry{IsGraphOfFpGroupoids@\texttt  {IsGraphOfFpGroupoids}|hyperpage}{29}
\indexentry{GroupoidsOfGraphOfGroupoids@\texttt  {GroupoidsOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{DigraphOfGraphOfGroupoids@\texttt  {DigraphOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{SubgroupoidsOfGraphOfGroupoids@\texttt  {SubgroupoidsOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{IsomorphismsOfGraphOfGroupoids@\texttt  {IsomorphismsOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{RightTransversalsOfGraphOfGroupoids@\texttt  {RightTransversalsOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{LefvtTransversalsOfGraphOfGroupoids@\texttt  {LefvtTransversalsOfGraphOfGroupoids}|hyperpage}{29}
\indexentry{GraphOfGroupoidsWord@\texttt  {GraphOfGroupoidsWord}|hyperpage}{30}
\indexentry{IsGraphOfGroupoidsWord@\texttt  {IsGraphOfGroupoidsWord}|hyperpage}{30}
\indexentry{GraphOfGroupoidsOfWord@\texttt  {GraphOfGroupoidsOfWord}|hyperpage}{30}
\indexentry{WordOfGraphOfGroupoidsWord@\texttt  {WordOfGraphOfGroupoidsWord}|hyperpage}{30}
\indexentry{ReducedGraphOfGroupoidsWord@\texttt  {ReducedGraphOfGroupoidsWord}|hyperpage}{30}
\indexentry{IsReducedGraphOfGroupoidsWord@\texttt  {IsReducedGraphOfGroupoidsWord}|hyperpage}{30}