Quelle manual.six Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "groupoids",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
     ],
  [ "Abstract", "0.0-1", [ 0, 0, 1 ], 26, 2, "abstract", "X7AA6C5737B711C89" ]
    ,
  [ "Copyright", "0.0-2", [ 0, 0, 2 ], 59, 2, "copyright",
      "X81488B807F2A1CF1" ],
  [ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 69, 2, "acknowledgements",
      "X82A988D47DFAFCFA" ],
  [ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 78, 3, "table of contents",
      "X8537FEB07AF2BEC8" ],
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
      [ 1, 0, 0 ], 1, 5, "introduction", "X7DFB63A97E67C0A1" ],
  [ "\033[1X\033[33X\033[0;-2YMany-object structures\033[133X\033[101X", "2",
      [ 2, 0, 0 ], 1, 6, "many-object structures", "X8361CEA4856430C6" ],
  [ "\033[1X\033[33X\033[0;-2YMagmas with objects; arrows\033[133X\033[101X",
      "2.1", [ 2, 1, 0 ], 19, 6, "magmas with objects arrows",
      "X7920BF45828AE5DE" ],
  [ "\033[1X\033[33X\033[0;-2YSemigroups with objects\033[133X\033[101X",
      "2.2", [ 2, 2, 0 ], 168, 9, "semigroups with objects",
      "X7FDF94E8791B9BC1" ],
  [ "\033[1X\033[33X\033[0;-2YMonoids with objects\033[133X\033[101X", "2.3",
      [ 2, 3, 0 ], 230, 10, "monoids with objects", "X86C32E6981557ED0" ],
  [
      "\033[1X\033[33X\033[0;-2YGenerators of magmas with objects\033[133X\033[10\
1X", "2.4", [ 2, 4, 0 ], 269, 11, "generators of magmas with objects",
      "X842D1B0C7A76CC15" ],
  [
      "\033[1X\033[33X\033[0;-2YStructures with more than one piece\033[133X\033[\
101X", "2.5", [ 2, 5, 0 ], 314, 11, "structures with more than one piece",
      "X7C7007207FD91BB0" ],
  [
      "\033[1X\033[33X\033[0;-2YMappings of many-object structures\033[133X\033[1\
01X", "3", [ 3, 0, 0 ], 1, 13, "mappings of many-object structures",
      "X78FC7902804CED8E" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms of magmas with objects\033[133X\\
033[101X", "3.1", [ 3, 1, 0 ], 24, 13, "homomorphisms of magmas with objects",
      "X82F856A086B93832" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms of semigroups and monoids with obje\
cts\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 103, 15,
      "homomorphisms of semigroups and monoids with objects",
      "X7C4D1AEE80D41A35" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms to more than one piece\033[133X\\
033[101X", "3.3", [ 3, 3, 0 ], 157, 16, "homomorphisms to more than one piece"
        , "X795C8DE37AED7B44" ],
  [
      "\033[1X\033[33X\033[0;-2YMappings defined by a function\033[133X\033[101X"
        , "3.4", [ 3, 4, 0 ], 210, 17, "mappings defined by a function",
      "X7B9D71BB7BAEFAAA" ],
  [ "\033[1X\033[33X\033[0;-2YGroupoids\033[133X\033[101X", "4", [ 4, 0, 0 ],
      1, 18, "groupoids", "X82F6A1AB798648F4" ],
  [
      "\033[1X\033[33X\033[0;-2YGroupoids: their properties and attributes\033[13\
3X\033[101X", "4.1", [ 4, 1, 0 ], 41, 18,
      "groupoids: their properties and attributes", "X7AC321DC7E3C6167" ],
  [
      "\033[1X\033[33X\033[0;-2YGroupoid elements; stars; costars; homsets\033[13\
3X\033[101X", "4.2", [ 4, 2, 0 ], 333, 24,
      "groupoid elements stars costars homsets", "X7F23BE3F85C9BA06" ],
  [ "\033[1X\033[33X\033[0;-2YSubgroupoids\033[133X\033[101X", "4.3",
      [ 4, 3, 0 ], 461, 26, "subgroupoids", "X7BDBA72C852C4625" ],
  [ "\033[1X\033[33X\033[0;-2YLeft, right and double cosets\033[133X\033[101X"
        , "4.4", [ 4, 4, 0 ], 722, 30, "left right and double cosets",
      "X831AA9E8780235F2" ],
  [ "\033[1X\033[33X\033[0;-2YConjugation\033[133X\033[101X", "4.5",
      [ 4, 5, 0 ], 828, 32, "conjugation", "X8653FC9786E3209A" ],
  [
      "\033[1X\033[33X\033[0;-2YGroupoids formed using isomorphisms\033[133X\033[\
101X", "4.6", [ 4, 6, 0 ], 922, 34, "groupoids formed using isomorphisms",
      "X86DD749283068705" ],
  [
      "\033[1X\033[33X\033[0;-2YGroupoids whose objects form a monoid\033[133X\\
033[101X", "4.7", [ 4, 7, 0 ], 1005, 35,
      "groupoids whose objects form a monoid", "X795DEB3D825B2120" ],
  [ "\033[1X\033[33X\033[0;-2YHomomorphisms of Groupoids\033[133X\033[101X",
      "5", [ 5, 0, 0 ], 1, 38, "homomorphisms of groupoids",
      "X879ED2A7878B5A7A" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms from a connected groupoid\033[133X\\
033[101X", "5.1", [ 5, 1, 0 ], 41, 38,
      "homomorphisms from a connected groupoid", "X85D28690823636CD" ],
  [
      "\033[1X\033[33X\033[0;-2YProperties and attributes of groupoid homomorphis\
ms\033[133X\033[101X", "5.2", [ 5, 2, 0 ], 118, 40,
      "properties and attributes of groupoid homomorphisms",
      "X7BFF46FD8308846F" ],
  [
      "\033[1X\033[33X\033[0;-2YProperties of a groupoid homomorphism\033[133X\\
033[101X", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "properties of a groupoid homomorphism", "X83DDA9528396451A" ],
  [
      "\033[1X\033[33X\033[0;-2YAttributes of a groupoid homomorphism\033[133X\\
033[101X", "5.2-2", [ 5, 2, 2 ], 151, 40,
      "attributes of a groupoid homomorphism", "X870565948381B921" ],
  [
      "\033[1X\033[33X\033[0;-2YSpecial types of groupoid homomorphism\033[133X\\
033[101X", "5.3", [ 5, 3, 0 ], 252, 42,
      "special types of groupoid homomorphism", "X7DBC80D8817CDA04" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms to a connected groupoid\033[133X\\
033[101X", "5.4", [ 5, 4, 0 ], 440, 45,
      "homomorphisms to a connected groupoid", "X7EAAB2A97E097FB6" ],
  [
      "\033[1X\033[33X\033[0;-2YHomomorphisms to more than one piece\033[133X\\
033[101X", "5.5", [ 5, 5, 0 ], 511, 47, "homomorphisms to more than one piece"
        , "X795C8DE37AED7B44" ],
  [ "\033[1X\033[33X\033[0;-2YAutomorphisms of Groupoids\033[133X\033[101X",
      "6", [ 6, 0, 0 ], 1, 49, "automorphisms of groupoids",
      "X803E01577A2B37D2" ],
  [
      "\033[1X\033[33X\033[0;-2YAutomorphisms of single piece groupoids\033[133X\\
033[101X", "6.1", [ 6, 1, 0 ], 8, 49,
      "automorphisms of single piece groupoids", "X7935832881320667" ],
  [
      "\033[1X\033[33X\033[0;-2YAutomorphisms of a groupoid with rays\033[133X\\
033[101X", "6.1-3", [ 6, 1, 3 ], 196, 52,
      "automorphisms of a groupoid with rays", "X8278B93E7F78038C" ],
  [ "\033[1X\033[33X\033[0;-2YInner automorphisms\033[133X\033[101X",
      "6.1-5", [ 6, 1, 5 ], 323, 54, "inner automorphisms",
      "X7EC237ED7E1978B0" ],
  [
      "\033[1X\033[33X\033[0;-2YMatrix representations of groupoids\033[133X\033[\
101X", "6.2", [ 6, 2, 0 ], 491, 57, "matrix representations of groupoids",
      "X8003AF117B956D16" ],
  [ "\033[1X\033[33X\033[0;-2YGroupoid actions\033[133X\033[101X", "6.3",
      [ 6, 3, 0 ], 553, 58, "groupoid actions", "X7DB8E7EF7A51F1BE" ],
  [
      "\033[1X\033[33X\033[0;-2YGraphs of Groups and Groupoids\033[133X\033[101X"
        , "7", [ 7, 0, 0 ], 1, 61, "graphs of groups and groupoids",
      "X78063DC8847554B4" ],
  [ "\033[1X\033[33X\033[0;-2YDigraphs\033[133X\033[101X", "7.1",
      [ 7, 1, 0 ], 13, 61, "digraphs", "X7D554C5D7FDC3D02" ],
  [ "\033[1X\033[33X\033[0;-2YGraphs of Groups\033[133X\033[101X", "7.2",
      [ 7, 2, 0 ], 65, 62, "graphs of groups", "X7BAFCA3680E478AE" ],
  [
      "\033[1X\033[33X\033[0;-2YWords in a Graph of Groups and their normal forms\
\033[133X\033[101X", "7.3", [ 7, 3, 0 ], 187, 64,
      "words in a graph of groups and their normal forms",
      "X7BD9DCF87FB3E0AF" ],
  [
      "\033[1X\033[33X\033[0;-2YFree products with amalgamation and HNN extension\
s\033[133X\033[101X", "7.4", [ 7, 4, 0 ], 273, 65,
      "free products with amalgamation and hnn extensions",
      "X7D99A7B37B36BAA8" ],
  [
      "\033[1X\033[33X\033[0;-2YGraphsOfGroupoids and their Words\033[133X\033[10\
1X", "7.5", [ 7, 5, 0 ], 444, 68, "graphsofgroupoids and their words",
      "X78108FB4814AE887" ],
  [ "\033[1X\033[33X\033[0;-2YDouble Groupoids\033[133X\033[101X", "8",
      [ 8, 0, 0 ], 1, 72, "double groupoids", "X83B7E8A287C9284A" ],
  [ "\033[1X\033[33X\033[0;-2YSingle piece double groupoids\033[133X\033[101X"
        , "8.1", [ 8, 1, 0 ], 23, 72, "single piece double groupoids",
      "X780DA94780938851" ],
  [
      "\033[1X\033[33X\033[0;-2YHorizontal and vertical groupoids in \033[22X\\
342\226\241(G)\033[122X\033[101X\027\033[1X\027\033[133X\033[101X", "8.1-8",
      [ 8, 1, 8 ], 466, 80, "horizontal and vertical groupoids in a\226\241 g"
        , "X7B8DEF5A7B5AEC46" ],
  [
      "\033[1X\033[33X\033[0;-2YDouble groupoids with more than one piece\033[133\
X\033[101X", "8.2", [ 8, 2, 0 ], 489, 81,
      "double groupoids with more than one piece", "X7F319AA17ED13024" ],
  [
      "\033[1X\033[33X\033[0;-2YGenerators of a double groupoid\033[133X\033[101X\
", "8.3", [ 8, 3, 0 ], 535, 82, "generators of a double groupoid",
      "X78E24657817C4D30" ],
  [
      "\033[1X\033[33X\033[0;-2YWhat is the double groupoid generated by a set of\
squares?\033[133X\033[101X", "8.3-3", [ 8, 3, 3 ], 591, 83,
      "what is the double groupoid generated by a set of squares?",
      "X85A6C1A685357E66" ],
  [ "\033[1X\033[33X\033[0;-2YStarting with two groupoids\033[133X\033[101X",
      "8.4", [ 8, 4, 0 ], 616, 83, "starting with two groupoids",
      "X80E0318F78D2AD28" ],
  [ "\033[1X\033[33X\033[0;-2YDouble groupoid homomorphisms\033[133X\033[101X"
        , "8.5", [ 8, 5, 0 ], 666, 84, "double groupoid homomorphisms",
      "X83F6AFC185148621" ],
  [ "\033[1X\033[33X\033[0;-2YTechnical Notes\033[133X\033[101X", "9",
      [ 9, 0, 0 ], 1, 86, "technical notes", "X7F2BA6DC7AD84FBC" ],
  [ "\033[1X\033[33X\033[0;-2YMany object structures\033[133X\033[101X",
      "9.1", [ 9, 1, 0 ], 9, 86, "many object structures",
      "X7C5B725A7AED3C8D" ],
  [ "\033[1X\033[33X\033[0;-2YMany object homomorphisms\033[133X\033[101X",
      "9.2", [ 9, 2, 0 ], 104, 88, "many object homomorphisms",
      "X7A4760E887C9C968" ],
  [ "\033[1X\033[33X\033[0;-2YDevelopment History\033[133X\033[101X", "10",
      [ 10, 0, 0 ], 1, 89, "development history", "X810C43BC7F63C4B4" ],
  [ "\033[1X\033[33X\033[0;-2YVersions of the Package\033[133X\033[101X",
      "10.1", [ 10, 1, 0 ], 4, 89, "versions of the package",
      "X8192EA4C7B7CC5CD" ],
  [ "\033[1X\033[33X\033[0;-2YWhat needs to be done next?\033[133X\033[101X",
      "10.2", [ 10, 2, 0 ], 67, 90, "what needs to be done next?",
      "X82148FB77CC3CCC0" ],
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 91, "bibliography",
      "X7A6F98FD85F02BFE" ],
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 91, "references",
      "X7A6F98FD85F02BFE" ],
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 92, "index", "X83A0356F839C696F" ],
  [ "\033[2XMagmaWithObjects\033[102X", "2.1-1", [ 2, 1, 1 ], 40, 6,
      "magmawithobjects", "X7C51D7847BD23284" ],
  [ "\033[2XSinglePieceMagmaWithObjects\033[102X", "2.1-1", [ 2, 1, 1 ], 40,
      6, "singlepiecemagmawithobjects", "X7C51D7847BD23284" ],
  [ "\033[2XObjectList\033[102X for magmas with objects", "2.1-1",
      [ 2, 1, 1 ], 40, 6, "objectlist for magmas with objects",
      "X7C51D7847BD23284" ],
  [ "\033[2XRootObject\033[102X for magmas with objects", "2.1-1",
      [ 2, 1, 1 ], 40, 6, "rootobject for magmas with objects",
      "X7C51D7847BD23284" ],
  [ "\033[2XIsDomainWithObjects\033[102X", "2.1-2", [ 2, 1, 2 ], 87, 7,
      "isdomainwithobjects", "X87D1C0BC86749E6D" ],
  [ "\033[2XIsMagmaWithObjects\033[102X", "2.1-2", [ 2, 1, 2 ], 87, 7,
      "ismagmawithobjects", "X87D1C0BC86749E6D" ],
  [ "\033[2XArrow\033[102X", "2.1-3", [ 2, 1, 3 ], 104, 7, "arrow",
      "X86247DFC8242CEBE" ],
  [ "\033[2XElementOfArrow\033[102X for magmas with objects", "2.1-3",
      [ 2, 1, 3 ], 104, 7, "elementofarrow for magmas with objects",
      "X86247DFC8242CEBE" ],
  [ "\033[2XTailOfArrow\033[102X for magmas with objects", "2.1-3",
      [ 2, 1, 3 ], 104, 7, "tailofarrow for magmas with objects",
      "X86247DFC8242CEBE" ],
  [ "\033[2XHeadOfArrow\033[102X for magmas with objects", "2.1-3",
      [ 2, 1, 3 ], 104, 7, "headofarrow for magmas with objects",
      "X86247DFC8242CEBE" ],
  [ "\033[10XIsMultiplicativeElementWithObjects\033[110X", "2.1-3",
      [ 2, 1, 3 ], 104, 7, "ismultiplicativeelementwithobjects",
      "X86247DFC8242CEBE" ],
  [ "\033[2XIsSinglePieceDomain\033[102X", "2.1-4", [ 2, 1, 4 ], 139, 8,
      "issinglepiecedomain", "X7B3352148103FD05" ],
  [ "\033[2XIsSinglePiece\033[102X", "2.1-4", [ 2, 1, 4 ], 139, 8,
      "issinglepiece", "X7B3352148103FD05" ],
  [ "\033[2XIsDirectProductWithCompleteDigraph\033[102X", "2.1-4",
      [ 2, 1, 4 ], 139, 8, "isdirectproductwithcompletedigraph",
      "X7B3352148103FD05" ],
  [ "\033[2XIsDiscreteMagmaWithObjects\033[102X", "2.1-4", [ 2, 1, 4 ], 139,
      8, "isdiscretemagmawithobjects", "X7B3352148103FD05" ],
  [ "\033[2XSemigroupWithObjects\033[102X", "2.2-1", [ 2, 2, 1 ], 171, 9,
      "semigroupwithobjects", "X8519787D833653A7" ],
  [ "\033[2XSinglePieceSemigroupWithObjects\033[102X", "2.2-1", [ 2, 2, 1 ],
      171, 9, "singlepiecesemigroupwithobjects", "X8519787D833653A7" ],
  [ "\033[2XMagmaWithSingleObject\033[102X for semigroups", "2.2-1",
      [ 2, 2, 1 ], 171, 9, "magmawithsingleobject for semigroups",
      "X8519787D833653A7" ],
  [ "\033[2XIsSemigroupWithObjects\033[102X", "2.2-1", [ 2, 2, 1 ], 171, 9,
      "issemigroupwithobjects", "X8519787D833653A7" ],
  [ "\033[2XMonoidWithObjects\033[102X", "2.3-1", [ 2, 3, 1 ], 233, 10,
      "monoidwithobjects", "X7A271B1A7F2FF245" ],
  [ "\033[2XSinglePieceMonoidWithObjects\033[102X", "2.3-1", [ 2, 3, 1 ],
      233, 10, "singlepiecemonoidwithobjects", "X7A271B1A7F2FF245" ],
  [ "\033[2XIsMonoidWithObjects\033[102X", "2.3-1", [ 2, 3, 1 ], 233, 10,
      "ismonoidwithobjects", "X7A271B1A7F2FF245" ],
  [ "\033[2XGeneratorsOfMagmaWithObjects\033[102X", "2.4-1", [ 2, 4, 1 ],
      272, 11, "generatorsofmagmawithobjects", "X83239B307EE95054" ],
  [ "\033[2XGeneratorsOfSemigroupWithObjects\033[102X", "2.4-1", [ 2, 4, 1 ],
      272, 11, "generatorsofsemigroupwithobjects", "X83239B307EE95054" ],
  [ "\033[2XGeneratorsOfMonoidWithObjects\033[102X", "2.4-1", [ 2, 4, 1 ],
      272, 11, "generatorsofmonoidwithobjects", "X83239B307EE95054" ],
  [ "\033[2XUnionOfPieces\033[102X for magmas with objects", "2.5-1",
      [ 2, 5, 1 ], 317, 11, "unionofpieces for magmas with objects",
      "X781FB06382E08115" ],
  [ "\033[2XPieces\033[102X for magmas with objects", "2.5-1", [ 2, 5, 1 ],
      317, 11, "pieces for magmas with objects", "X781FB06382E08115" ],
  [ "\033[2XPieceOfObject\033[102X", "2.5-1", [ 2, 5, 1 ], 317, 11,
      "pieceofobject", "X781FB06382E08115" ],
  [ "\033[2XMagmaWithObjectsHomomorphism\033[102X", "3.1-1", [ 3, 1, 1 ], 27,
      13, "magmawithobjectshomomorphism", "X86E00FEA7FF38FEA" ],
  [ "\033[2XHomomorphismFromSinglePiece\033[102X", "3.1-1", [ 3, 1, 1 ], 27,
      13, "homomorphismfromsinglepiece", "X86E00FEA7FF38FEA" ],
  [ "\033[2XHomomorphismToSinglePiece\033[102X for magmas with objects",
      "3.1-1", [ 3, 1, 1 ], 27, 13,
      "homomorphismtosinglepiece for magmas with objects",
      "X86E00FEA7FF38FEA" ],
  [ "\033[2XMappingToSinglePieceData\033[102X for magmas with objects",
      "3.1-1", [ 3, 1, 1 ], 27, 13,
      "mappingtosinglepiecedata for magmas with objects", "X86E00FEA7FF38FEA"
     ], [ "\033[2XPiecesOfMapping\033[102X", "3.1-1", [ 3, 1, 1 ], 27, 13,
      "piecesofmapping", "X86E00FEA7FF38FEA" ],
  [ "\033[2XIsomorphismNewObjects\033[102X for magmas with objects", "3.1-1",
      [ 3, 1, 1 ], 27, 13, "isomorphismnewobjects for magmas with objects",
      "X86E00FEA7FF38FEA" ],
  [ "\033[10XIsMappingToSinglePieceRep\033[110X", "3.1-1", [ 3, 1, 1 ], 27,
      13, "ismappingtosinglepiecerep", "X86E00FEA7FF38FEA" ],
  [ "\033[10XSource\033[110X", "3.1-1", [ 3, 1, 1 ], 27, 13, "source",
      "X86E00FEA7FF38FEA" ],
  [ "\033[10XRange\033[110X", "3.1-1", [ 3, 1, 1 ], 27, 13, "range",
      "X86E00FEA7FF38FEA" ],
  [ "\033[2XHomomorphismByUnion\033[102X for magmas with objects", "3.3-1",
      [ 3, 3, 1 ], 160, 16, "homomorphismbyunion for magmas with objects",
      "X7AE44D9485EB50F1" ],
  [ "\033[2XIsInjectiveOnObjects\033[102X", "3.3-2", [ 3, 3, 2 ], 185, 16,
      "isinjectiveonobjects", "X7C053B0379DDCE13" ],
  [ "\033[2XIsSurjectiveOnObjects\033[102X", "3.3-2", [ 3, 3, 2 ], 185, 16,
      "issurjectiveonobjects", "X7C053B0379DDCE13" ],
  [ "\033[2XIsBijectiveOnObjects\033[102X", "3.3-2", [ 3, 3, 2 ], 185, 16,
      "isbijectiveonobjects", "X7C053B0379DDCE13" ],
  [ "\033[2XIsEndomorphismWithObjects\033[102X", "3.3-2", [ 3, 3, 2 ], 185,
      16, "isendomorphismwithobjects", "X7C053B0379DDCE13" ],
  [ "\033[2XIsAutomorphismWithObjects\033[102X", "3.3-2", [ 3, 3, 2 ], 185,
      16, "isautomorphismwithobjects", "X7C053B0379DDCE13" ],
  [ "\033[2XMappingWithObjectsByFunction\033[102X", "3.4-1", [ 3, 4, 1 ],
      213, 17, "mappingwithobjectsbyfunction", "X81B64F9A855D265F" ],
  [ "\033[2XIsMappingWithObjectsByFunction\033[102X", "3.4-1", [ 3, 4, 1 ],
      213, 17, "ismappingwithobjectsbyfunction", "X81B64F9A855D265F" ],
  [ "\033[2XUnderlyingFunction\033[102X", "3.4-1", [ 3, 4, 1 ], 213, 17,
      "underlyingfunction", "X81B64F9A855D265F" ],
  [ "", "4.0", [ 4, 0, 0 ], 1, 18, "", "X82F6A1AB798648F4" ],
  [ "\033[2XSinglePieceGroupoid\033[102X", "4.1-1", [ 4, 1, 1 ], 44, 18,
      "singlepiecegroupoid", "X8406913B7ED86CFE" ],
  [ "\033[2XGroupoid\033[102X", "4.1-1", [ 4, 1, 1 ], 44, 18, "groupoid",
      "X8406913B7ED86CFE" ],
  [ "\033[2XMagmaWithSingleObject\033[102X for groups", "4.1-1", [ 4, 1, 1 ],
      44, 18, "magmawithsingleobject for groups", "X8406913B7ED86CFE" ],
  [ "\033[2XIsGroupoid\033[102X", "4.1-1", [ 4, 1, 1 ], 44, 18, "isgroupoid",
      "X8406913B7ED86CFE" ],
  [ "standard groupoid", "4.1-1", [ 4, 1, 1 ], 44, 18, "standard groupoid",
      "X8406913B7ED86CFE" ],
  [ "\033[2XObjectList\033[102X for groupoids", "4.1-2", [ 4, 1, 2 ], 99, 19,
      "objectlist for groupoids", "X813B084184AAA890" ],
  [ "\033[2XRootObject\033[102X for groupoids", "4.1-2", [ 4, 1, 2 ], 99, 19,
      "rootobject for groupoids", "X813B084184AAA890" ],
  [ "\033[2XRootGroup\033[102X", "4.1-2", [ 4, 1, 2 ], 99, 19, "rootgroup",
      "X813B084184AAA890" ],
  [ "\033[2XObjectGroup\033[102X", "4.1-2", [ 4, 1, 2 ], 99, 19,
      "objectgroup", "X813B084184AAA890" ],
  [ "\033[2XIsPermGroupoid\033[102X", "4.1-3", [ 4, 1, 3 ], 131, 20,
      "ispermgroupoid", "X8511D3EE845CC930" ],
  [ "\033[2XIsPcGroupoid\033[102X", "4.1-3", [ 4, 1, 3 ], 131, 20,
      "ispcgroupoid", "X8511D3EE845CC930" ],
  [ "\033[2XIsFpGroupoid\033[102X", "4.1-3", [ 4, 1, 3 ], 131, 20,
      "isfpgroupoid", "X8511D3EE845CC930" ],
  [ "\033[2XIsMatrixGroupoid\033[102X", "4.1-3", [ 4, 1, 3 ], 131, 20,
      "ismatrixgroupoid", "X8511D3EE845CC930" ],
  [ "\033[2XIsFreeGroupoid\033[102X", "4.1-3", [ 4, 1, 3 ], 131, 20,
      "isfreegroupoid", "X8511D3EE845CC930" ],
  [ "\033[2XUnionOfPieces\033[102X for groupoids", "4.1-4", [ 4, 1, 4 ], 166,
      21, "unionofpieces for groupoids", "X8681D15C7CA15F87" ],
  [ "\033[2XPieces\033[102X for groupoids", "4.1-4", [ 4, 1, 4 ], 166, 21,
      "pieces for groupoids", "X8681D15C7CA15F87" ],
  [ "\033[2XSize\033[102X", "4.1-4", [ 4, 1, 4 ], 166, 21, "size",
      "X8681D15C7CA15F87" ],
  [ "\033[2XReplaceOnePieceInUnion\033[102X", "4.1-4", [ 4, 1, 4 ], 166, 21,
      "replaceonepieceinunion", "X8681D15C7CA15F87" ],
  [ "\033[10XObjectList\033[110X for groupoids", "4.1-4", [ 4, 1, 4 ], 166,
      21, "objectlist for groupoids", "X8681D15C7CA15F87" ],
  [ "\033[2XHomogeneousGroupoid\033[102X", "4.1-5", [ 4, 1, 5 ], 222, 22,
      "homogeneousgroupoid", "X855F318181808814" ],
  [ "\033[2XPieceIsomorphisms\033[102X", "4.1-5", [ 4, 1, 5 ], 222, 22,
      "pieceisomorphisms", "X855F318181808814" ],
  [ "\033[2XHomogeneousDiscreteGroupoid\033[102X", "4.1-5", [ 4, 1, 5 ], 222,
      22, "homogeneousdiscretegroupoid", "X855F318181808814" ],
  [ "\033[10XIsHomogeneousDomainWithObjects\033[110X", "4.1-5", [ 4, 1, 5 ],
      222, 22, "ishomogeneousdomainwithobjects", "X855F318181808814" ],
  [ "\033[10XIsHomogeneousDiscreteGroupoidRep\033[110X", "4.1-5",
      [ 4, 1, 5 ], 222, 22, "ishomogeneousdiscretegroupoidrep",
      "X855F318181808814" ],
  [ "\033[2XDirectProductOp\033[102X", "4.1-6", [ 4, 1, 6 ], 292, 23,
      "directproductop", "X78E8FE0C7F599F5A" ],
  [ "\033[2XProjection\033[102X for groupoids", "4.1-6", [ 4, 1, 6 ], 292,
      23, "projection for groupoids", "X78E8FE0C7F599F5A" ],
  [ "\033[2XEmbedding\033[102X for groupoids", "4.1-6", [ 4, 1, 6 ], 292, 23,
      "embedding for groupoids", "X78E8FE0C7F599F5A" ],
  [ "\033[2XGroupoidElement\033[102X", "4.2-1", [ 4, 2, 1 ], 336, 24,
      "groupoidelement", "X7D028B3B8385ED07" ],
  [ "\033[2XElementOfArrow\033[102X for groupoids", "4.2-1", [ 4, 2, 1 ],
      336, 24, "elementofarrow for groupoids", "X7D028B3B8385ED07" ],
  [ "\033[2XTailOfArrow\033[102X for groupoids", "4.2-1", [ 4, 2, 1 ], 336,
      24, "tailofarrow for groupoids", "X7D028B3B8385ED07" ],
  [ "\033[2XHeadOfArrow\033[102X for groupoids", "4.2-1", [ 4, 2, 1 ], 336,
      24, "headofarrow for groupoids", "X7D028B3B8385ED07" ],
  [ "\033[2XIsGroupoidElement\033[102X", "4.2-1", [ 4, 2, 1 ], 336, 24,
      "isgroupoidelement", "X7D028B3B8385ED07" ],
  [ "\033[10XArrow\033[110X for groupoid elements", "4.2-1", [ 4, 2, 1 ],
      336, 24, "arrow for groupoid elements", "X7D028B3B8385ED07" ],
  [ "* for groupoid elements", "4.2-1", [ 4, 2, 1 ], 336, 24,
      "* for groupoid elements", "X7D028B3B8385ED07" ],
  [ "\033[2XIdentityArrow\033[102X", "4.2-2", [ 4, 2, 2 ], 374, 24,
      "identityarrow", "X78C3228682279032" ],
  [ "inverse arrow", "4.2-2", [ 4, 2, 2 ], 374, 24, "inverse arrow",
      "X78C3228682279032" ],
  [ "\033[2XOrder\033[102X", "4.2-3", [ 4, 2, 3 ], 391, 25, "order",
      "X84F59A2687C62763" ],
  [ "loop", "4.2-3", [ 4, 2, 3 ], 391, 25, "loop", "X84F59A2687C62763" ],
  [ "\033[2XObjectStar\033[102X", "4.2-4", [ 4, 2, 4 ], 407, 25,
      "objectstar", "X7B561BAE7D471C60" ],
  [ "\033[2XObjectCostar\033[102X", "4.2-4", [ 4, 2, 4 ], 407, 25,
      "objectcostar", "X7B561BAE7D471C60" ],
  [ "\033[2XHomset\033[102X", "4.2-4", [ 4, 2, 4 ], 407, 25, "homset",
      "X7B561BAE7D471C60" ],
  [ "", "4.2-4", [ 4, 2, 4 ], 407, 25, "", "X7B561BAE7D471C60" ],
  [ "", "4.2-4", [ 4, 2, 4 ], 407, 25, "", "X7B561BAE7D471C60" ],
  [ "\033[2XSubgroupoid\033[102X", "4.3-1", [ 4, 3, 1 ], 464, 26,
      "subgroupoid", "X80780D287EDDB7BB" ],
  [ "\033[2XIsSubgroupoid\033[102X", "4.3-1", [ 4, 3, 1 ], 464, 26,
      "issubgroupoid", "X80780D287EDDB7BB" ],
  [ "\033[2XIsWideSubgroupoid\033[102X", "4.3-1", [ 4, 3, 1 ], 464, 26,
      "iswidesubgroupoid", "X80780D287EDDB7BB" ],
  [ "\033[2XIsFullSubgroupoid\033[102X", "4.3-1", [ 4, 3, 1 ], 464, 26,
      "isfullsubgroupoid", "X80780D287EDDB7BB" ],
  [ "\033[2XSubgroupoidByObjects\033[102X", "4.3-2", [ 4, 3, 2 ], 483, 26,
      "subgroupoidbyobjects", "X8600FA7B8051C9AC" ],
  [ "\033[2XSubgroupoidBySubgroup\033[102X", "4.3-2", [ 4, 3, 2 ], 483, 26,
      "subgroupoidbysubgroup", "X8600FA7B8051C9AC" ],
  [ "\033[2XSubgroupoidWithRays\033[102X", "4.3-3", [ 4, 3, 3 ], 513, 27,
      "subgroupoidwithrays", "X873E0914871858E8" ],
  [ "\033[2XRaysOfGroupoid\033[102X", "4.3-3", [ 4, 3, 3 ], 513, 27,
      "raysofgroupoid", "X873E0914871858E8" ],
  [ "\033[2XRayArrowsOfGroupoid\033[102X", "4.3-3", [ 4, 3, 3 ], 513, 27,
      "rayarrowsofgroupoid", "X873E0914871858E8" ],
  [ "\033[2XSubgroupoidByPieces\033[102X", "4.3-4", [ 4, 3, 4 ], 563, 28,
      "subgroupoidbypieces", "X7AEA9BF780CD6957" ],
  [ "\033[2XPiecePositions\033[102X", "4.3-5", [ 4, 3, 5 ], 614, 29,
      "piecepositions", "X78C7A83980BAE937" ],
  [ "\033[2XFullTrivialSubgroupoid\033[102X", "4.3-6", [ 4, 3, 6 ], 646, 29,
      "fulltrivialsubgroupoid", "X7FE8F09A7C8CEC5B" ],
  [ "\033[2XDiscreteTrivialSubgroupoid\033[102X", "4.3-6", [ 4, 3, 6 ], 646,
      29, "discretetrivialsubgroupoid", "X7FE8F09A7C8CEC5B" ],
  [ "trivial subgroupoid", "4.3-6", [ 4, 3, 6 ], 646, 29,
      "trivial subgroupoid", "X7FE8F09A7C8CEC5B" ],
  [ "tree groupoid", "4.3-6", [ 4, 3, 6 ], 646, 29, "tree groupoid",
      "X7FE8F09A7C8CEC5B" ],
  [ "identity subgroupoid", "4.3-6", [ 4, 3, 6 ], 646, 29,
      "identity subgroupoid", "X7FE8F09A7C8CEC5B" ],
  [ "\033[2XDiscreteSubgroupoid\033[102X", "4.3-7", [ 4, 3, 7 ], 667, 29,
      "discretesubgroupoid", "X7ACFBE7D855A82A3" ],
  [ "\033[2XHomogeneousDiscreteSubgroupoid\033[102X", "4.3-7", [ 4, 3, 7 ],
      667, 29, "homogeneousdiscretesubgroupoid", "X7ACFBE7D855A82A3" ],
  [ "\033[2XMaximalDiscreteSubgroupoid\033[102X", "4.3-7", [ 4, 3, 7 ], 667,
      29, "maximaldiscretesubgroupoid", "X7ACFBE7D855A82A3" ],
  [ "\033[2XSinglePieceSubgroupoidByGenerators\033[102X", "4.3-8",
      [ 4, 3, 8 ], 699, 30, "singlepiecesubgroupoidbygenerators",
      "X7A9F29BD7D64DCC1" ],
  [ "", "4.4", [ 4, 4, 0 ], 722, 30, "", "X831AA9E8780235F2" ],
  [ "", "4.4", [ 4, 4, 0 ], 722, 30, "", "X831AA9E8780235F2" ],
  [ "\033[2XRightCoset\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30,
      "rightcoset", "X8412ABD57986B9FC" ],
  [ "\033[2XRightCosetRepresentatives\033[102X", "4.4-1", [ 4, 4, 1 ], 725,
      30, "rightcosetrepresentatives", "X8412ABD57986B9FC" ],
  [ "\033[2XRightCosets\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30,
      "rightcosets", "X8412ABD57986B9FC" ],
  [ "\033[2XLeftCoset\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30, "leftcoset",
      "X8412ABD57986B9FC" ],
  [ "\033[2XLeftCosetRepresentatives\033[102X", "4.4-1", [ 4, 4, 1 ], 725,
      30, "leftcosetrepresentatives", "X8412ABD57986B9FC" ],
  [ "\033[2XLeftCosetRepresentativesFromObject\033[102X", "4.4-1",
      [ 4, 4, 1 ], 725, 30, "leftcosetrepresentativesfromobject",
      "X8412ABD57986B9FC" ],
  [ "\033[2XLeftCosets\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30,
      "leftcosets", "X8412ABD57986B9FC" ],
  [ "\033[2XDoubleCoset\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30,
      "doublecoset", "X8412ABD57986B9FC" ],
  [ "\033[2XDoubleCosetRepresentatives\033[102X", "4.4-1", [ 4, 4, 1 ], 725,
      30, "doublecosetrepresentatives", "X8412ABD57986B9FC" ],
  [ "\033[2XDoubleCosets\033[102X", "4.4-1", [ 4, 4, 1 ], 725, 30,
      "doublecosets", "X8412ABD57986B9FC" ],
  [ "\\^ for arrows", "4.5", [ 4, 5, 0 ], 828, 32, "^ for arrows",
      "X8653FC9786E3209A" ],
  [ "\033[2X\\^\033[102X", "4.5-1", [ 4, 5, 1 ], 831, 32, "^",
      "X7D21FB1A7D21FB1A" ],
  [ "\\^ for groupoids", "4.5-1", [ 4, 5, 1 ], 831, 32, "^ for groupoids",
      "X7D21FB1A7D21FB1A" ],
  [ "\033[2XConjugateGroupoid\033[102X", "4.5-2", [ 4, 5, 2 ], 904, 34,
      "conjugategroupoid", "X78218F357BFEDE82" ],
  [ "\033[2XGroupoidByIsomorphisms\033[102X", "4.6-1", [ 4, 6, 1 ], 937, 34,
      "groupoidbyisomorphisms", "X7B066DE28574A768" ],
  [ "\033[2XIsGroupoidByIsomorphisms\033[102X", "4.6-1", [ 4, 6, 1 ], 937,
      34, "isgroupoidbyisomorphisms", "X7B066DE28574A768" ],
  [ "\033[2XSinglePieceGroupoidWithRays\033[102X", "4.7-1", [ 4, 7, 1 ],
      1015, 36, "singlepiecegroupoidwithrays", "X805FA9F687C7F2A7" ],
  [ "\033[2XRightActionGroupoid\033[102X", "4.7-2", [ 4, 7, 2 ], 1047, 36,
      "rightactiongroupoid", "X7E399664868937C8" ],
  [ "\033[2XIsGroupoidWithMonoidObjects\033[102X", "4.7-2", [ 4, 7, 2 ],
      1047, 36, "isgroupoidwithmonoidobjects", "X7E399664868937C8" ],
  [ "\033[2XGroupoidHomomorphismFromSinglePiece\033[102X", "5.1-1",
      [ 5, 1, 1 ], 44, 38, "groupoidhomomorphismfromsinglepiece",
      "X870288C6803D9005" ],
  [ "\033[2XGroupoidHomomorphism\033[102X", "5.1-1", [ 5, 1, 1 ], 44, 38,
      "groupoidhomomorphism", "X870288C6803D9005" ],
  [ "\033[2XIsGroupoidHomomorphism\033[102X", "5.1-1", [ 5, 1, 1 ], 44, 38,
      "isgroupoidhomomorphism", "X870288C6803D9005" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ " for groupoid homomorphisms", "5.2-1", [ 5, 2, 1 ], 121, 40,
      "for groupoid homomorphisms", "X83DDA9528396451A" ],
  [ "\033[2XRootGroupHomomorphism\033[102X", "5.2-3", [ 5, 2, 3 ], 183, 41,
      "rootgrouphomomorphism", "X85A99D8A83511DDE" ],
  [ "\033[2XImagesOfObjects\033[102X", "5.2-4", [ 5, 2, 4 ], 191, 41,
      "imagesofobjects", "X837EEB9578EA1A78" ],
  [ "\033[2XImageElementsOfRays\033[102X", "5.2-5", [ 5, 2, 5 ], 198, 41,
      "imageelementsofrays", "X791DC3F3852A6422" ],
  [ "\033[2XMappingToSinglePieceData\033[102X for groupoids", "5.2-6",
      [ 5, 2, 6 ], 216, 41, "mappingtosinglepiecedata for groupoids",
      "X8391526C7A02FF19" ],
  [ "\033[2XObjectGroupHomomorphism\033[102X", "5.2-7", [ 5, 2, 7 ], 237, 42,
      "objectgrouphomomorphism", "X7C6775A178DB9D39" ],
  [ "\033[2XInclusionMappingGroupoids\033[102X", "5.3-1", [ 5, 3, 1 ], 260,
      42, "inclusionmappinggroupoids", "X855DB6C8815CDCC3" ],
  [ "\033[2XRestrictedMappingGroupoids\033[102X", "5.3-2", [ 5, 3, 2 ], 280,
      43, "restrictedmappinggroupoids", "X7946BC207D455A98" ],
  [ "\033[2XParentMappingGroupoids\033[102X", "5.3-2", [ 5, 3, 2 ], 280, 43,
      "parentmappinggroupoids", "X7946BC207D455A98" ],
  [ "\033[2XIsomorphismNewObjects\033[102X for groupoids", "5.3-3",
      [ 5, 3, 3 ], 304, 43, "isomorphismnewobjects for groupoids",
      "X83B8AB6D7C9DB264" ],
  [ "\033[2XIsomorphismStandardGroupoid\033[102X", "5.3-4", [ 5, 3, 4 ], 339,
      44, "isomorphismstandardgroupoid", "X87C54BB581181400" ],
  [ "\033[2XIsomorphismPermGroupoid\033[102X", "5.3-5", [ 5, 3, 5 ], 394, 45,
      "isomorphismpermgroupoid", "X7CF33CCD8278A904" ],
  [ "\033[2XRegularActionHomomorphismGroupoid\033[102X", "5.3-5",
      [ 5, 3, 5 ], 394, 45, "regularactionhomomorphismgroupoid",
      "X7CF33CCD8278A904" ],
  [ "\033[2XIsomorphismPcGroupoid\033[102X", "5.3-5", [ 5, 3, 5 ], 394, 45,
      "isomorphismpcgroupoid", "X7CF33CCD8278A904" ],
  [ "\033[2XHomomorphismToSinglePiece\033[102X for groupoids", "5.4-1",
      [ 5, 4, 1 ], 443, 45, "homomorphismtosinglepiece for groupoids",
      "X8700B5977B2513C1" ],
  [ "\033[2XGroupoidHomomorphismFromHomogeneousDiscrete\033[102X", "5.4-2",
      [ 5, 4, 2 ], 480, 46, "groupoidhomomorphismfromhomogeneousdiscrete",
      "X87225D86785DEBC2" ],
  [ "\033[2XHomomorphismByUnion\033[102X for groupoids", "5.5-1",
      [ 5, 5, 1 ], 514, 47, "homomorphismbyunion for groupoids",
      "X847094F478113EA6" ],
  [ "\033[2XIsomorphismGroupoids\033[102X", "5.5-2", [ 5, 5, 2 ], 544, 47,
      "isomorphismgroupoids", "X7E2C6BCC7AAB25BE" ],
  [ "\033[2XGroupoidAutomorphismByObjectPerm\033[102X", "6.1-1", [ 6, 1, 1 ],
      11, 49, "groupoidautomorphismbyobjectperm", "X79DA704A8051CB72" ],
  [ "\033[2XGroupoidAutomorphismByGroupAuto\033[102X", "6.1-1", [ 6, 1, 1 ],
      11, 49, "groupoidautomorphismbygroupauto", "X79DA704A8051CB72" ],
  [ "\033[2XGroupoidAutomorphismByNtuple\033[102X", "6.1-1", [ 6, 1, 1 ], 11,
      49, "groupoidautomorphismbyntuple", "X79DA704A8051CB72" ],
  [ "\033[2XGroupoidAutomorphismByRayShifts\033[102X", "6.1-1", [ 6, 1, 1 ],
      11, 49, "groupoidautomorphismbyrayshifts", "X79DA704A8051CB72" ],
  [ "\033[2XGroupoidInnerAutomorphism\033[102X", "6.1-2", [ 6, 1, 2 ], 122,
      51, "groupoidinnerautomorphism", "X86BD61567B41B139" ],
  [ "\033[2XGroupoidInnerAutomorphismNormalSubgroupoid\033[102X", "6.1-2",
      [ 6, 1, 2 ], 122, 51, "groupoidinnerautomorphismnormalsubgroupoid",
      "X86BD61567B41B139" ],
  [ "inner automorphism", "6.1-2", [ 6, 1, 2 ], 122, 51, "inner automorphism",
      "X86BD61567B41B139" ],
  [ "\033[2XAutomorphismGroupOfGroupoid\033[102X", "6.1-4", [ 6, 1, 4 ], 274,
      53, "automorphismgroupofgroupoid", "X7DB9D5737EB8C260" ],
  [ "\033[2XNiceObjectAutoGroupGroupoid\033[102X", "6.1-4", [ 6, 1, 4 ], 274,
      53, "niceobjectautogroupgroupoid", "X7DB9D5737EB8C260" ],
  [ "\033[10XAutomorphismGroup\033[110X", "6.1-4", [ 6, 1, 4 ], 274, 53,
      "automorphismgroup", "X7DB9D5737EB8C260" ],
  [ "inner automorphism group", "6.1-5", [ 6, 1, 5 ], 323, 54,
      "inner automorphism group", "X7EC237ED7E1978B0" ],
  [ "\033[2XGroupoidAutomorphismByGroupAutos\033[102X", "6.1-6", [ 6, 1, 6 ],
      370, 55, "groupoidautomorphismbygroupautos", "X80F9594481CA9FDE" ],
  [ "\033[2XAutomorphismGroupoidOfGroupoid\033[102X", "6.1-7", [ 6, 1, 7 ],
      447, 56, "automorphismgroupoidofgroupoid", "X7A93C6507BC697CD" ],
  [ "matrix representation", "6.2", [ 6, 2, 0 ], 491, 57,
      "matrix representation", "X8003AF117B956D16" ],
  [ "representation by matrices", "6.2", [ 6, 2, 0 ], 491, 57,
      "representation by matrices", "X8003AF117B956D16" ],
  [ "groupoid action", "6.3", [ 6, 3, 0 ], 553, 58, "groupoid action",
      "X7DB8E7EF7A51F1BE" ],
  [ "conjugation identities", "6.3", [ 6, 3, 0 ], 553, 58,
      "conjugation identities", "X7DB8E7EF7A51F1BE" ],
  [ "\033[2XGroupoidActionByConjugation\033[102X", "6.3-1", [ 6, 3, 1 ], 614,
      59, "groupoidactionbyconjugation", "X7C4DCB287B3DD0CD" ],
  [ "\033[2XIsGroupoidAction\033[102X", "6.3-1", [ 6, 3, 1 ], 614, 59,
      "isgroupoidaction", "X7C4DCB287B3DD0CD" ],
  [ "\033[2XActionMap\033[102X", "6.3-1", [ 6, 3, 1 ], 614, 59, "actionmap",
      "X7C4DCB287B3DD0CD" ],
  [ "\033[2XFpWeightedDigraph\033[102X", "7.1-1", [ 7, 1, 1 ], 16, 61,
      "fpweighteddigraph", "X85BD6D2584D8A22F" ],
  [ "\033[2XIsFpWeightedDigraph\033[102X", "7.1-1", [ 7, 1, 1 ], 16, 61,
      "isfpweighteddigraph", "X85BD6D2584D8A22F" ],
  [ "\033[2XInvolutoryArcs\033[102X", "7.1-1", [ 7, 1, 1 ], 16, 61,
      "involutoryarcs", "X85BD6D2584D8A22F" ],
  [ "\033[2XGraphOfGroups\033[102X", "7.2-1", [ 7, 2, 1 ], 68, 62,
      "graphofgroups", "X8130246E854BC5D9" ],
  [ "\033[2XDigraphOfGraphOfGroups\033[102X", "7.2-1", [ 7, 2, 1 ], 68, 62,
      "digraphofgraphofgroups", "X8130246E854BC5D9" ],
  [ "\033[2XGroupsOfGraphOfGroups\033[102X", "7.2-1", [ 7, 2, 1 ], 68, 62,
      "groupsofgraphofgroups", "X8130246E854BC5D9" ],
  [ "\033[2XIsomorphismsOfGraphOfGroups\033[102X", "7.2-1", [ 7, 2, 1 ], 68,
      62, "isomorphismsofgraphofgroups", "X8130246E854BC5D9" ],
  [ "\033[2XIsGraphOfGroups\033[102X", "7.2-1", [ 7, 2, 1 ], 68, 62,
      "isgraphofgroups", "X8130246E854BC5D9" ],
  [ "\033[2XIsGraphOfFpGroups\033[102X", "7.2-2", [ 7, 2, 2 ], 142, 63,
      "isgraphoffpgroups", "X847464677F641527" ],
  [ "\033[2XIsGraphOfPcGroups\033[102X", "7.2-2", [ 7, 2, 2 ], 142, 63,
      "isgraphofpcgroups", "X847464677F641527" ],
  [ "\033[2XIsGraphOfPermGroups\033[102X", "7.2-2", [ 7, 2, 2 ], 142, 63,
      "isgraphofpermgroups", "X847464677F641527" ],
  [ "\033[2XRightTransversalsOfGraphOfGroups\033[102X", "7.2-3", [ 7, 2, 3 ],
      162, 64, "righttransversalsofgraphofgroups", "X7B036C2B84E48BB1" ],
  [ "\033[2XLeftTransversalsOfGraphOfGroups\033[102X", "7.2-3", [ 7, 2, 3 ],
      162, 64, "lefttransversalsofgraphofgroups", "X7B036C2B84E48BB1" ],
  [ "\033[2XGraphOfGroupsWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "graphofgroupsword", "X87937AE47C5B1018" ],
  [ "\033[2XIsGraphOfGroupsWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "isgraphofgroupsword", "X87937AE47C5B1018" ],
  [ "\033[2XGraphOfGroupsOfWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "graphofgroupsofword", "X87937AE47C5B1018" ],
  [ "\033[2XWordOfGraphOfGroupsWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "wordofgraphofgroupsword", "X87937AE47C5B1018" ],
  [ "\033[2XTailOfGraphOfGroupsWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "tailofgraphofgroupsword", "X87937AE47C5B1018" ],
  [ "\033[2XHeadOfGraphOfGroupsWord\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 64,
      "headofgraphofgroupsword", "X87937AE47C5B1018" ],
  [ "\033[2XReducedGraphOfGroupsWord\033[102X", "7.3-2", [ 7, 3, 2 ], 239,
      65, "reducedgraphofgroupsword", "X78FA7C3F831AA6E4" ],
  [ "\033[2XIsReducedGraphOfGroupsWord\033[102X", "7.3-2", [ 7, 3, 2 ], 239,
      65, "isreducedgraphofgroupsword", "X78FA7C3F831AA6E4" ],
  [ "\033[2XFreeProductWithAmalgamation\033[102X", "7.4-1", [ 7, 4, 1 ], 276,
      65, "freeproductwithamalgamation", "X795AB71F7E370119" ],
  [ "\033[2XFreeProductWithAmalgamationInfo\033[102X", "7.4-1", [ 7, 4, 1 ],
      276, 65, "freeproductwithamalgamationinfo", "X795AB71F7E370119" ],
  [ "\033[2XIsFreeProductWithAmalgamation\033[102X", "7.4-1", [ 7, 4, 1 ],
      276, 65, "isfreeproductwithamalgamation", "X795AB71F7E370119" ],
  [ "\033[2XGraphOfGroupsRewritingSystem\033[102X", "7.4-1", [ 7, 4, 1 ],
      276, 65, "graphofgroupsrewritingsystem", "X795AB71F7E370119" ],
  [ "\033[2XNormalFormGGRWS\033[102X", "7.4-1", [ 7, 4, 1 ], 276, 65,
      "normalformggrws", "X795AB71F7E370119" ],
  [ "\033[2XReducedImageElm\033[102X", "7.4-2", [ 7, 4, 2 ], 348, 67,
      "reducedimageelm", "X86F5F9787E3644FD" ],
  [ "\033[2XIsMappingToGroupWithGGRWS\033[102X", "7.4-2", [ 7, 4, 2 ], 348,
      67, "ismappingtogroupwithggrws", "X86F5F9787E3644FD" ],
  [ "\033[2XEmbedding\033[102X for fpa-groups", "7.4-2", [ 7, 4, 2 ], 348,
      67, "embedding for fpa-groups", "X86F5F9787E3644FD" ],
  [ "\033[2XHnnExtension\033[102X", "7.4-3", [ 7, 4, 3 ], 379, 67,
      "hnnextension", "X7CB0F120804A8DED" ],
  [ "\033[2XHnnExtensionInfo\033[102X", "7.4-3", [ 7, 4, 3 ], 379, 67,
      "hnnextensioninfo", "X7CB0F120804A8DED" ],
  [ "\033[2XIsHnnExtension\033[102X", "7.4-3", [ 7, 4, 3 ], 379, 67,
      "ishnnextension", "X7CB0F120804A8DED" ],
  [ "\033[2XGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447, 68,
      "graphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XIsGraphOfPermGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447, 68,
      "isgraphofpermgroupoids", "X8739267678808E85" ],
  [ "\033[2XIsGraphOfFpGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447, 68,
      "isgraphoffpgroupoids", "X8739267678808E85" ],
  [ "\033[2XGroupoidsOfGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447,
      68, "groupoidsofgraphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XDigraphOfGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447,
      68, "digraphofgraphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XSubgroupoidsOfGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ],
      447, 68, "subgroupoidsofgraphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XIsomorphismsOfGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ],
      447, 68, "isomorphismsofgraphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XRightTransversalsOfGraphOfGroupoids\033[102X", "7.5-1",
      [ 7, 5, 1 ], 447, 68, "righttransversalsofgraphofgroupoids",
      "X8739267678808E85" ],
  [ "\033[2XLeftTransversalsOfGraphOfGroupoids\033[102X", "7.5-1",
      [ 7, 5, 1 ], 447, 68, "lefttransversalsofgraphofgroupoids",
      "X8739267678808E85" ],
  [ "\033[2XIsGraphOfGroupoids\033[102X", "7.5-1", [ 7, 5, 1 ], 447, 68,
      "isgraphofgroupoids", "X8739267678808E85" ],
  [ "\033[2XGraphOfGroupoidsWord\033[102X", "7.5-2", [ 7, 5, 2 ], 523, 70,
      "graphofgroupoidsword", "X7EC1A9067FC91255" ],
  [ "\033[2XIsGraphOfGroupoidsWord\033[102X", "7.5-2", [ 7, 5, 2 ], 523, 70,
      "isgraphofgroupoidsword", "X7EC1A9067FC91255" ],
  [ "\033[2XGraphOfGroupoidsOfWord\033[102X", "7.5-2", [ 7, 5, 2 ], 523, 70,
      "graphofgroupoidsofword", "X7EC1A9067FC91255" ],
  [ "\033[2XWordOfGraphOfGroupoidsWord\033[102X", "7.5-2", [ 7, 5, 2 ], 523,
      70, "wordofgraphofgroupoidsword", "X7EC1A9067FC91255" ],
  [ "\033[2XReducedGraphOfGroupoidsWord\033[102X", "7.5-2", [ 7, 5, 2 ], 523,
      70, "reducedgraphofgroupoidsword", "X7EC1A9067FC91255" ],
  [ "\033[2XIsReducedGraphOfGroupoidsWord\033[102X", "7.5-2", [ 7, 5, 2 ],
      523, 70, "isreducedgraphofgroupoidsword", "X7EC1A9067FC91255" ],
  [ "\033[2XSinglePieceBasicDoubleGroupoid\033[102X", "8.1-1", [ 8, 1, 1 ],
      26, 72, "singlepiecebasicdoublegroupoid", "X7F5D722C83CB9139" ],
  [ "\033[2XDoubleGroupoid\033[102X", "8.1-1", [ 8, 1, 1 ], 26, 72,
      "doublegroupoid", "X7F5D722C83CB9139" ],
  [ "\033[2XIsDoubleGroupoid\033[102X", "8.1-1", [ 8, 1, 1 ], 26, 72,
      "isdoublegroupoid", "X7F5D722C83CB9139" ],
  [ "\033[2XIsBasicDoubleGroupoid\033[102X", "8.1-1", [ 8, 1, 1 ], 26, 72,
      "isbasicdoublegroupoid", "X7F5D722C83CB9139" ],
  [ "\033[2XSquareOfArrows\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73,
      "squareofarrows", "X823A3A7481B90EB7" ],
  [ "\033[2XUpArrow\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73, "uparrow",
      "X823A3A7481B90EB7" ],
  [ "\033[2XLeftArrow\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73, "leftarrow",
      "X823A3A7481B90EB7" ],
  [ "\033[2XRightArrow\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73, "rightarrow",
      "X823A3A7481B90EB7" ],
  [ "\033[2XDownArrow\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73, "downarrow",
      "X823A3A7481B90EB7" ],
  [ "\033[2XBoundaryOfSquare\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73,
      "boundaryofsquare", "X823A3A7481B90EB7" ],
  [ "\033[2XDoubleGroupoidOfSquare\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73,
      "doublegroupoidofsquare", "X823A3A7481B90EB7" ],
  [ "\033[2XIsDoubleGroupoidElement\033[102X", "8.1-2", [ 8, 1, 2 ], 52, 73,
      "isdoublegroupoidelement", "X823A3A7481B90EB7" ],
  [ "\033[2XIsCommutingSquare\033[102X", "8.1-3", [ 8, 1, 3 ], 120, 74,
      "iscommutingsquare", "X83DF8EEE7BA72AA3" ],
  [ "\033[2XTransposedSquare\033[102X", "8.1-4", [ 8, 1, 4 ], 146, 74,
      "transposedsquare", "X7F99A468819D7759" ],
  [ "\033[2XIsClosedUnderTransposition\033[102X", "8.1-4", [ 8, 1, 4 ], 146,
      74, "isclosedundertransposition", "X7F99A468819D7759" ],
  [ "\033[2XHorizontalProduct\033[102X", "8.1-5", [ 8, 1, 5 ], 168, 75,
      "horizontalproduct", "X7D3737FA7E9E3ECA" ],
  [ "\033[2XVerticalProduct\033[102X", "8.1-6", [ 8, 1, 6 ], 212, 75,
      "verticalproduct", "X873F01287A2DC41F" ],
  [ "\033[2XHorizontalIdentities\033[102X", "8.1-7", [ 8, 1, 7 ], 332, 78,
      "horizontalidentities", "X79E6E4E97A23C257" ],
  [ "\033[2XVerticalIdentities\033[102X", "8.1-7", [ 8, 1, 7 ], 332, 78,
      "verticalidentities", "X79E6E4E97A23C257" ],
  [ "\033[2XHorizontalInverses\033[102X", "8.1-7", [ 8, 1, 7 ], 332, 78,
      "horizontalinverses", "X79E6E4E97A23C257" ],
  [ "\033[2XVerticalInverses\033[102X", "8.1-7", [ 8, 1, 7 ], 332, 78,
      "verticalinverses", "X79E6E4E97A23C257" ],
  [ "", "8.1-8", [ 8, 1, 8 ], 466, 80, "", "X7B8DEF5A7B5AEC46" ],
  [ "", "8.1-8", [ 8, 1, 8 ], 466, 80, "", "X7B8DEF5A7B5AEC46" ],
  [ "\033[2XUnionOfPieces\033[102X for double groupoids", "8.2-1",
      [ 8, 2, 1 ], 495, 81, "unionofpieces for double groupoids",
      "X8589EFAE7935BEA6" ],
  [ "\033[2XPieces\033[102X for double groupoids", "8.2-1", [ 8, 2, 1 ], 495,
      81, "pieces for double groupoids", "X8589EFAE7935BEA6" ],
  [ "\033[2XDoubleGroupoidWithTrivialGroup\033[102X", "8.3-1", [ 8, 3, 1 ],
      544, 82, "doublegroupoidwithtrivialgroup", "X80009143808725D5" ],
  [ "\033[2XDoubleGroupoidWithSingleObject\033[102X", "8.3-2", [ 8, 3, 2 ],
      570, 82, "doublegroupoidwithsingleobject", "X7D135AFB83995A32" ],
  [ "\033[2XDoubleGroupoidHomomorphism\033[102X", "8.5-1", [ 8, 5, 1 ], 669,
      84, "doublegroupoidhomomorphism", "X87752436787B199D" ],
  [ "\033[2XIsDoubleGroupoidHomomorphism\033[102X", "8.5-1", [ 8, 5, 1 ],
      669, 84, "isdoublegroupoidhomomorphism", "X87752436787B199D" ] ]
);

Quelle manual.six Sprache: unbekannt

[ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ]