Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "polycyclic",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Copyright", "0.0-1", [ 0, 0, 1 ], 47, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", "0.0-2", [ 0, 0, 2 ], 58, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "0.0-3", [ 0, 0, 3 ], 65, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YPreface\033[133X\033[101X", "1", [ 1, 0, 0 ], 
      1, 5, "preface", "X874E1D45845007FE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIntroduction to polycyclic presentations\033[133X\
\033[101X", "2", [ 2, 0, 0 ], 1, 6, "introduction to polycyclic presentations"
        , "X792561B378D95B23" ], 
  [ "\033[1X\033[33X\033[0;-2YCollectors\033[133X\033[101X", "3", 
      [ 3, 0, 0 ], 1, 8, "collectors", "X792305CC81E8606A" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructing a Collector\033[133X\033[101X", 
      "3.1", [ 3, 1, 0 ], 33, 8, "constructing a collector", 
      "X800FD91386C08CD8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAccessing Parts of a Collector\033[133X\033[101X"
        , "3.2", [ 3, 2, 0 ], 223, 11, "accessing parts of a collector", 
      "X818484817C3BAAE6" ], 
  [ "\033[1X\033[33X\033[0;-2YSpecial Features\033[133X\033[101X", "3.3", 
      [ 3, 3, 0 ], 291, 13, "special features", "X79AEB3477800DC16" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPcp-groups - polycyclically presented groups\033[\
133X\033[101X", "4", [ 4, 0, 0 ], 1, 15, 
      "pcp-groups - polycyclically presented groups", "X7E2AF25881CF7307" ], 
  [ "\033[1X\033[33X\033[0;-2YPcp-elements -- elements of a pc-presented group\
\033[133X\033[101X", "4.1", [ 4, 1, 0 ], 4, 15, 
      "pcp-elements -- elements of a pc-presented group", "X7882F0F57ABEB680" 
     ], 
  [ "\033[1X\033[33X\033[0;-2YMethods for pcp-elements\033[133X\033[101X", 
      "4.2", [ 4, 2, 0 ], 66, 16, "methods for pcp-elements", 
      "X790471D07A953E12" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPcp-groups - groups of pcp-elements\033[133X\033[\
101X", "4.3", [ 4, 3, 0 ], 168, 18, "pcp-groups - groups of pcp-elements", 
      "X7A4EF7C68151905A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBasic methods and functions for pcp-groups\033[13\
3X\033[101X", "5", [ 5, 0, 0 ], 1, 20, 
      "basic methods and functions for pcp-groups", "X7B9B85AE7C9B13EE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YElementary methods for pcp-groups\033[133X\033[10\
1X", "5.1", [ 5, 1, 0 ], 10, 20, "elementary methods for pcp-groups", 
      "X821360107E355B88" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YElementary properties of pcp-groups\033[133X\033[\
101X", "5.2", [ 5, 2, 0 ], 94, 22, "elementary properties of pcp-groups", 
      "X80E88168866D54F3" ], 
  [ "\033[1X\033[33X\033[0;-2YSubgroups of pcp-groups\033[133X\033[101X", 
      "5.3", [ 5, 3, 0 ], 133, 23, "subgroups of pcp-groups", 
      "X85A7E26C7E14AFBA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPolycyclic presentation sequences for subfactors\\
033[133X\033[101X", "5.4", [ 5, 4, 0 ], 211, 24, 
      "polycyclic presentation sequences for subfactors", "X803D62BC86EF07D0" 
     ], 
  [ "\033[1X\033[33X\033[0;-2YFactor groups of pcp-groups\033[133X\033[101X", 
      "5.5", [ 5, 5, 0 ], 359, 27, "factor groups of pcp-groups", 
      "X845D29B478CA7656" ], 
  [ "\033[1X\033[33X\033[0;-2YHomomorphisms for pcp-groups\033[133X\033[101X",
      "5.6", [ 5, 6, 0 ], 383, 27, "homomorphisms for pcp-groups", 
      "X82E643F178E765EA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging the defining pc-presentation\033[133X\\
033[101X", "5.7", [ 5, 7, 0 ], 434, 28, 
      "changing the defining pc-presentation", "X7C873F807D4F3A3C" ], 
  [ "\033[1X\033[33X\033[0;-2YPrinting a pc-presentation\033[133X\033[101X", 
      "5.8", [ 5, 8, 0 ], 475, 29, "printing a pc-presentation", 
      "X85E681027AF19B1E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConverting to and from a presentation\033[133X\\
033[101X", "5.9", [ 5, 9, 0 ], 496, 29, 
      "converting to and from a presentation", "X826ACBBB7A977206" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLibraries and examples of pcp-groups\033[133X\\
033[101X", "6", [ 6, 0, 0 ], 1, 31, "libraries and examples of pcp-groups", 
      "X78CEF1F27ED8D7BB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLibraries of various types of polycyclic groups\\
033[133X\033[101X", "6.1", [ 6, 1, 0 ], 4, 31, 
      "libraries of various types of polycyclic groups", "X84A48FAB83934263" ]
    , 
  [ "\033[1X\033[33X\033[0;-2YSome assorted example groups\033[133X\033[101X",
      "6.2", [ 6, 2, 0 ], 88, 32, "some assorted example groups", 
      "X806FBA4A7CB8FB71" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YHigher level methods for pcp-groups\033[133X\033[\
101X", "7", [ 7, 0, 0 ], 1, 34, "higher level methods for pcp-groups", 
      "X85BB6FE078679DAF" ], 
  [ "\033[1X\033[33X\033[0;-2YSubgroup series in pcp-groups\033[133X\033[101X"
        , "7.1", [ 7, 1, 0 ], 9, 34, "subgroup series in pcp-groups", 
      "X8266A0A2821D98A1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOrbit stabilizer methods for pcp-groups\033[133X\\
033[101X", "7.2", [ 7, 2, 0 ], 146, 37, 
      "orbit stabilizer methods for pcp-groups", "X7CE2DA437FD2B383" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCentralizers, Normalizers and Intersections\033[1\
33X\033[101X", "7.3", [ 7, 3, 0 ], 258, 39, 
      "centralizers normalizers and intersections", "X80E3B42E792532B3" ], 
  [ "\033[1X\033[33X\033[0;-2YFinite subgroups\033[133X\033[101X", "7.4", 
      [ 7, 4, 0 ], 302, 39, "finite subgroups", "X7CF015E87A2B2388" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSubgroups of finite index and maximal subgroups\\
033[133X\033[101X", "7.5", [ 7, 5, 0 ], 374, 41, 
      "subgroups of finite index and maximal subgroups", "X7D9F737F80F6E396" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2YFurther attributes for pcp-groups based on the Fi\
tting subgroup\033[133X\033[101X", "7.6", [ 7, 6, 0 ], 435, 42, 
      "further attributes for pcp-groups based on the fitting subgroup", 
      "X785E0E877AB1D549" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFunctions for nilpotent groups\033[133X\033[101X"
        , "7.7", [ 7, 7, 0 ], 484, 43, "functions for nilpotent groups", 
      "X878DBDC77CCA4F7E" ], 
  [ "\033[1X\033[33X\033[0;-2YRandom methods for pcp-groups\033[133X\033[101X"
        , "7.8", [ 7, 8, 0 ], 532, 44, "random methods for pcp-groups", 
      "X8640F9D47A1F7434" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YNon-abelian tensor product and Schur extensions\\
033[133X\033[101X", "7.9", [ 7, 9, 0 ], 569, 44, 
      "non-abelian tensor product and schur extensions", "X824142B784453DB9" ]
    , [ "\033[1X\033[33X\033[0;-2YSchur covers\033[133X\033[101X", "7.10", 
      [ 7, 10, 0 ], 828, 49, "schur covers", "X7D3023697BA5CE5A" ], 
  [ "\033[1X\033[33X\033[0;-2YCohomology for pcp-groups\033[133X\033[101X", 
      "8", [ 8, 0, 0 ], 1, 50, "cohomology for pcp-groups", 
      "X796AB9787E2A752C" ], 
  [ "\033[1X\033[33X\033[0;-2YCohomology records\033[133X\033[101X", "8.1", 
      [ 8, 1, 0 ], 13, 50, "cohomology records", "X875758FA7C6F5CE1" ], 
  [ "\033[1X\033[33X\033[0;-2YCohomology groups\033[133X\033[101X", "8.2", 
      [ 8, 2, 0 ], 71, 51, "cohomology groups", "X874759D582393441" ], 
  [ "\033[1X\033[33X\033[0;-2YExtended 1-cohomology\033[133X\033[101X", 
      "8.3", [ 8, 3, 0 ], 156, 52, "extended 1-cohomology", 
      "X79610E9178BD0C54" ], 
  [ "\033[1X\033[33X\033[0;-2YExtensions and Complements\033[133X\033[101X", 
      "8.4", [ 8, 4, 0 ], 203, 53, "extensions and complements", 
      "X853E51787A24AE00" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructing pcp groups as extensions\033[133X\\
033[101X", "8.5", [ 8, 5, 0 ], 280, 55, 
      "constructing pcp groups as extensions", "X823771527DBD857D" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix Representations\033[133X\033[101X", "9", 
      [ 9, 0, 0 ], 1, 57, "matrix representations", "X858D1BB07A8FBF87" ], 
  [ "\033[1X\033[33X\033[0;-2YUnitriangular matrix groups\033[133X\033[101X", 
      "9.1", [ 9, 1, 0 ], 8, 57, "unitriangular matrix groups", 
      "X7D0ED06C7E6A457D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YUpper unitriangular matrix groups\033[133X\033[10\
1X", "9.2", [ 9, 2, 0 ], 27, 57, "upper unitriangular matrix groups", 
      "X79A8A51B84E4BF8C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YObsolete Functions and Name Changes\033[133X\033[\
101X", "a", [ "A", 0, 0 ], 1, 60, "obsolete functions and name changes", 
      "X874ECE907CAF380D" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 61, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 61, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 63, "index", "X83A0356F839C696F" ], 
  [ "License", "0.0-1", [ 0, 0, 1 ], 47, 2, "license", "X81488B807F2A1CF1" ], 
  [ "\033[2XFromTheLeftCollector\033[102X", "3.1-1", [ 3, 1, 1 ], 43, 8, 
      "fromtheleftcollector", "X8382A4E78706DE65" ], 
  [ "\033[2XSetRelativeOrder\033[102X", "3.1-2", [ 3, 1, 2 ], 66, 9, 
      "setrelativeorder", "X79A308B28183493B" ], 
  [ "\033[2XSetRelativeOrderNC\033[102X", "3.1-2", [ 3, 1, 2 ], 66, 9, 
      "setrelativeordernc", "X79A308B28183493B" ], 
  [ "\033[2XSetPower\033[102X", "3.1-3", [ 3, 1, 3 ], 96, 9, "setpower", 
      "X7BC319BA8698420C" ], 
  [ "\033[2XSetPowerNC\033[102X", "3.1-3", [ 3, 1, 3 ], 96, 9, "setpowernc", 
      "X7BC319BA8698420C" ], 
  [ "\033[2XSetConjugate\033[102X", "3.1-4", [ 3, 1, 4 ], 113, 10, 
      "setconjugate", "X86A08D887E049347" ], 
  [ "\033[2XSetConjugateNC\033[102X", "3.1-4", [ 3, 1, 4 ], 113, 10, 
      "setconjugatenc", "X86A08D887E049347" ], 
  [ "\033[2XSetCommutator\033[102X", "3.1-5", [ 3, 1, 5 ], 129, 10, 
      "setcommutator", "X7B25997C7DF92B6D" ], 
  [ "\033[2XUpdatePolycyclicCollector\033[102X", "3.1-6", [ 3, 1, 6 ], 142, 
      10, "updatepolycycliccollector", "X7E9903F57BC5CC24" ], 
  [ "\033[2XIsConfluent\033[102X", "3.1-7", [ 3, 1, 7 ], 155, 10, 
      "isconfluent", "X8006790B86328CE8" ], 
  [ "\033[2XRelativeOrders\033[102X", "3.2-1", [ 3, 2, 1 ], 226, 11, 
      "relativeorders", "X7DD0DF677AC1CF10" ], 
  [ "\033[2XGetPower\033[102X", "3.2-2", [ 3, 2, 2 ], 232, 11, "getpower", 
      "X844C0A478735EF4B" ], 
  [ "\033[2XGetPowerNC\033[102X", "3.2-2", [ 3, 2, 2 ], 232, 11, 
      "getpowernc", "X844C0A478735EF4B" ], 
  [ "\033[2XGetConjugate\033[102X", "3.2-3", [ 3, 2, 3 ], 244, 12, 
      "getconjugate", "X865160E07FA93E00" ], 
  [ "\033[2XGetConjugateNC\033[102X", "3.2-3", [ 3, 2, 3 ], 244, 12, 
      "getconjugatenc", "X865160E07FA93E00" ], 
  [ "\033[2XNumberOfGenerators\033[102X", "3.2-4", [ 3, 2, 4 ], 257, 12, 
      "numberofgenerators", "X7D6A26A4871FF51A" ], 
  [ "\033[2XObjByExponents\033[102X", "3.2-5", [ 3, 2, 5 ], 263, 12, 
      "objbyexponents", "X873ECF388503E5DE" ], 
  [ "\033[2XExponentsByObj\033[102X", "3.2-6", [ 3, 2, 6 ], 271, 12, 
      "exponentsbyobj", "X85BCB97B8021EAD6" ], 
  [ "\033[2XIsWeightedCollector\033[102X", "3.3-1", [ 3, 3, 1 ], 297, 13, 
      "isweightedcollector", "X82EE2ACD7B8C178B" ], 
  [ "\033[2XAddHallPolynomials\033[102X", "3.3-2", [ 3, 3, 2 ], 308, 13, 
      "addhallpolynomials", "X7A1D7ED68334282C" ], 
  [ "\033[2XString\033[102X", "3.3-3", [ 3, 3, 3 ], 317, 13, "string", 
      "X81FB5BE27903EC32" ], 
  [ "\033[2XFTLCollectorPrintTo\033[102X", "3.3-4", [ 3, 3, 4 ], 323, 13, 
      "ftlcollectorprintto", "X7ED466B6807D16FE" ], 
  [ "\033[2XFTLCollectorAppendTo\033[102X", "3.3-5", [ 3, 3, 5 ], 331, 13, 
      "ftlcollectorappendto", "X789D9EB37ECFA9D7" ], 
  [ "\033[2XUseLibraryCollector\033[102X", "3.3-6", [ 3, 3, 6 ], 338, 13, 
      "uselibrarycollector", "X808A26FB873A354F" ], 
  [ "\033[2XUSE_LIBRARY_COLLECTOR\033[102X", "3.3-7", [ 3, 3, 7 ], 346, 14, 
      "use_library_collector", "X844E195C7D55F8BD" ], 
  [ "\033[2XDEBUG_COMBINATORIAL_COLLECTOR\033[102X", "3.3-8", [ 3, 3, 8 ], 
      354, 14, "debug_combinatorial_collector", "X7945C6B97BECCDA8" ], 
  [ "\033[2XUSE_COMBINATORIAL_COLLECTOR\033[102X", "3.3-9", [ 3, 3, 9 ], 363, 
      14, "use_combinatorial_collector", "X7BDFB55D7CB33543" ], 
  [ "\033[2XPcpElementByExponentsNC\033[102X", "4.1-1", [ 4, 1, 1 ], 16, 15, 
      "pcpelementbyexponentsnc", "X786DB93F7862D903" ], 
  [ "\033[2XPcpElementByExponents\033[102X", "4.1-1", [ 4, 1, 1 ], 16, 15, 
      "pcpelementbyexponents", "X786DB93F7862D903" ], 
  [ "\033[2XPcpElementByGenExpListNC\033[102X", "4.1-2", [ 4, 1, 2 ], 24, 15, 
      "pcpelementbygenexplistnc", "X7BBB358C7AA64135" ], 
  [ "\033[2XPcpElementByGenExpList\033[102X", "4.1-2", [ 4, 1, 2 ], 24, 15, 
      "pcpelementbygenexplist", "X7BBB358C7AA64135" ], 
  [ "\033[2XIsPcpElement\033[102X", "4.1-3", [ 4, 1, 3 ], 42, 16, 
      "ispcpelement", "X86083E297D68733B" ], 
  [ "\033[2XIsPcpElementCollection\033[102X", "4.1-4", [ 4, 1, 4 ], 48, 16, 
      "ispcpelementcollection", "X8695069A7D5073B7" ], 
  [ "\033[2XIsPcpElementRep\033[102X", "4.1-5", [ 4, 1, 5 ], 54, 16, 
      "ispcpelementrep", "X7F2C83AD862910B9" ], 
  [ "\033[2XIsPcpGroup\033[102X", "4.1-6", [ 4, 1, 6 ], 60, 16, "ispcpgroup", 
      "X8470284A78A6C41B" ], 
  [ "\033[2XCollector\033[102X", "4.2-1", [ 4, 2, 1 ], 94, 16, "collector", 
      "X7E2D258B7DCE8AC9" ], 
  [ "\033[2XExponents\033[102X", "4.2-2", [ 4, 2, 2 ], 100, 17, "exponents", 
      "X85C672E78630C507" ], 
  [ "\033[2XGenExpList\033[102X", "4.2-3", [ 4, 2, 3 ], 107, 17, 
      "genexplist", "X8571F6FB7E74346C" ], 
  [ "\033[2XNameTag\033[102X", "4.2-4", [ 4, 2, 4 ], 114, 17, "nametag", 
      "X82252C5E7B011559" ], 
  [ "\033[2XDepth\033[102X", "4.2-5", [ 4, 2, 5 ], 121, 17, "depth", 
      "X840D32D9837E99F5" ], 
  [ "\033[2XLeadingExponent\033[102X", "4.2-6", [ 4, 2, 6 ], 127, 17, 
      "leadingexponent", "X874F1EC178721833" ], 
  [ "\033[2XRelativeOrder\033[102X", "4.2-7", [ 4, 2, 7 ], 134, 17, 
      "relativeorder", "X8008AB61823A76B7" ], 
  [ "\033[2XRelativeIndex\033[102X", "4.2-8", [ 4, 2, 8 ], 141, 17, 
      "relativeindex", "X875D04288577015B" ], 
  [ "\033[2XFactorOrder\033[102X", "4.2-9", [ 4, 2, 9 ], 148, 18, 
      "factororder", "X87E070747955F2C1" ], 
  [ "\033[2XNormingExponent\033[102X", "4.2-10", [ 4, 2, 10 ], 155, 18, 
      "normingexponent", "X79A247797F0A8583" ], 
  [ "\033[2XNormedPcpElement\033[102X", "4.2-11", [ 4, 2, 11 ], 162, 18, 
      "normedpcpelement", "X798BB22B80833441" ], 
  [ "\033[2XPcpGroupByCollector\033[102X", "4.3-1", [ 4, 3, 1 ], 175, 18, 
      "pcpgroupbycollector", "X7C8FBCAB7F63FACB" ], 
  [ "\033[2XPcpGroupByCollectorNC\033[102X", "4.3-1", [ 4, 3, 1 ], 175, 18, 
      "pcpgroupbycollectornc", "X7C8FBCAB7F63FACB" ], 
  [ "\033[2XGroup\033[102X", "4.3-2", [ 4, 3, 2 ], 187, 18, "group", 
      "X7D7B075385435151" ], 
  [ "\033[2XSubgroup\033[102X", "4.3-3", [ 4, 3, 3 ], 193, 18, "subgroup", 
      "X7C82AA387A42DCA0" ], 
  [ "\033[2X\\=\033[102X", "5.1-1", [ 5, 1, 1 ], 19, 20, "=", 
      "X806A4814806A4814" ], 
  [ "\033[2XSize\033[102X", "5.1-2", [ 5, 1, 2 ], 25, 20, "size", 
      "X858ADA3B7A684421" ], 
  [ "\033[2XRandom\033[102X", "5.1-3", [ 5, 1, 3 ], 31, 20, "random", 
      "X79730D657AB219DB" ], 
  [ "\033[2XIndex\033[102X", "5.1-4", [ 5, 1, 4 ], 37, 21, "index", 
      "X83A0356F839C696F" ], 
  [ "\033[2X\\in\033[102X", "5.1-5", [ 5, 1, 5 ], 45, 21, "in", 
      "X87BDB89B7AAFE8AD" ], 
  [ "\033[2XElements\033[102X", "5.1-6", [ 5, 1, 6 ], 51, 21, "elements", 
      "X79B130FC7906FB4C" ], 
  [ "\033[2XClosureGroup\033[102X", "5.1-7", [ 5, 1, 7 ], 58, 21, 
      "closuregroup", "X7D13FC1F8576FFD8" ], 
  [ "\033[2XNormalClosure\033[102X", "5.1-8", [ 5, 1, 8 ], 64, 21, 
      "normalclosure", "X7BDEA0A98720D1BB" ], 
  [ "\033[2XHirschLength\033[102X", "5.1-9", [ 5, 1, 9 ], 70, 21, 
      "hirschlength", "X839B42AE7A1DD544" ], 
  [ "\033[2XCommutatorSubgroup\033[102X", "5.1-10", [ 5, 1, 10 ], 76, 21, 
      "commutatorsubgroup", "X7A9A3D5578CE33A0" ], 
  [ "\033[2XPRump\033[102X", "5.1-11", [ 5, 1, 11 ], 82, 21, "prump", 
      "X796DA805853FAC90" ], 
  [ "\033[2XSmallGeneratingSet\033[102X", "5.1-12", [ 5, 1, 12 ], 88, 22, 
      "smallgeneratingset", "X814DBABC878D5232" ], 
  [ "\033[2XIsSubgroup\033[102X", "5.2-1", [ 5, 2, 1 ], 97, 22, "issubgroup", 
      "X7839D8927E778334" ], 
  [ "\033[2XIsNormal\033[102X", "5.2-2", [ 5, 2, 2 ], 103, 22, "isnormal", 
      "X838186F9836F678C" ], 
  [ "\033[2XIsNilpotentGroup\033[102X", "5.2-3", [ 5, 2, 3 ], 109, 22, 
      "isnilpotentgroup", "X87D062608719F2CD" ], 
  [ "\033[2XIsAbelian\033[102X", "5.2-4", [ 5, 2, 4 ], 115, 22, "isabelian", 
      "X7C12AA7479A6C103" ], 
  [ "\033[2XIsElementaryAbelian\033[102X", "5.2-5", [ 5, 2, 5 ], 121, 22, 
      "iselementaryabelian", "X813C952F80E775D4" ], 
  [ "\033[2XIsFreeAbelian\033[102X", "5.2-6", [ 5, 2, 6 ], 127, 22, 
      "isfreeabelian", "X84FFC668832F9ED6" ], 
  [ "\033[2XIgs\033[102X for a subgroup", "5.3-1", [ 5, 3, 1 ], 149, 23, 
      "igs for a subgroup", "X815F756286701BE0" ], 
  [ "\033[2XIgs\033[102X", "5.3-1", [ 5, 3, 1 ], 149, 23, "igs", 
      "X815F756286701BE0" ], 
  [ "\033[2XIgsParallel\033[102X", "5.3-1", [ 5, 3, 1 ], 149, 23, 
      "igsparallel", "X815F756286701BE0" ], 
  [ "\033[2XNgs\033[102X for a subgroup", "5.3-2", [ 5, 3, 2 ], 161, 23, 
      "ngs for a subgroup", "X7F4D95C47F9652BA" ], 
  [ "\033[2XNgs\033[102X", "5.3-2", [ 5, 3, 2 ], 161, 23, "ngs", 
      "X7F4D95C47F9652BA" ], 
  [ "\033[2XCgs\033[102X for a subgroup", "5.3-3", [ 5, 3, 3 ], 169, 23, 
      "cgs for a subgroup", "X8077293A787D4571" ], 
  [ "\033[2XCgs\033[102X", "5.3-3", [ 5, 3, 3 ], 169, 23, "cgs", 
      "X8077293A787D4571" ], 
  [ "\033[2XCgsParallel\033[102X", "5.3-3", [ 5, 3, 3 ], 169, 23, 
      "cgsparallel", "X8077293A787D4571" ], 
  [ "\033[2XSubgroupByIgs\033[102X", "5.3-4", [ 5, 3, 4 ], 187, 23, 
      "subgroupbyigs", "X83B92A2679EAB1EB" ], 
  [ "\033[2XSubgroupByIgs\033[102X with extra generators", "5.3-4", 
      [ 5, 3, 4 ], 187, 23, "subgroupbyigs with extra generators", 
      "X83B92A2679EAB1EB" ], 
  [ "\033[2XAddToIgs\033[102X", "5.3-5", [ 5, 3, 5 ], 198, 24, "addtoigs", 
      "X78107DE78728B26B" ], 
  [ "\033[2XAddToIgsParallel\033[102X", "5.3-5", [ 5, 3, 5 ], 198, 24, 
      "addtoigsparallel", "X78107DE78728B26B" ], 
  [ "\033[2XAddIgsToIgs\033[102X", "5.3-5", [ 5, 3, 5 ], 198, 24, 
      "addigstoigs", "X78107DE78728B26B" ], 
  [ "\033[2XPcp\033[102X", "5.4-1", [ 5, 4, 1 ], 224, 24, "pcp", 
      "X7DD931697DD93169" ], 
  [ "\033[2XPcp\033[102X for a factor", "5.4-1", [ 5, 4, 1 ], 224, 24, 
      "pcp for a factor", "X7DD931697DD93169" ], 
  [ "\033[2XGeneratorsOfPcp\033[102X", "5.4-2", [ 5, 4, 2 ], 240, 24, 
      "generatorsofpcp", "X821FF77086E38B3A" ], 
  [ "\033[2X\\[\\]\033[102X", "5.4-3", [ 5, 4, 3 ], 246, 25, "[]", 
      "X8297BBCD79642BE6" ], 
  [ "\033[2XLength\033[102X", "5.4-4", [ 5, 4, 4 ], 252, 25, "length", 
      "X780769238600AFD1" ], 
  [ "\033[2XRelativeOrdersOfPcp\033[102X", "5.4-5", [ 5, 4, 5 ], 258, 25, 
      "relativeordersofpcp", "X7ABCA7F2790E1673" ], 
  [ "\033[2XDenominatorOfPcp\033[102X", "5.4-6", [ 5, 4, 6 ], 264, 25, 
      "denominatorofpcp", "X7D16C299825887AA" ], 
  [ "\033[2XNumeratorOfPcp\033[102X", "5.4-7", [ 5, 4, 7 ], 270, 25, 
      "numeratorofpcp", "X803AED1A84FCBEE8" ], 
  [ "\033[2XGroupOfPcp\033[102X", "5.4-8", [ 5, 4, 8 ], 276, 25, 
      "groupofpcp", "X80BCCF0B81344933" ], 
  [ "\033[2XOneOfPcp\033[102X", "5.4-9", [ 5, 4, 9 ], 282, 25, "oneofpcp", 
      "X87F0BA5F7BA0F4B4" ], 
  [ "\033[2XExponentsByPcp\033[102X", "5.4-10", [ 5, 4, 10 ], 293, 26, 
      "exponentsbypcp", "X7A8C8BBC81581E09" ], 
  [ "\033[2XPcpGroupByPcp\033[102X", "5.4-11", [ 5, 4, 11 ], 300, 26, 
      "pcpgroupbypcp", "X87D75F7F86FEF203" ], 
  [ "\033[2XNaturalHomomorphismByNormalSubgroup\033[102X", "5.5-1", 
      [ 5, 5, 1 ], 367, 27, "naturalhomomorphismbynormalsubgroup", 
      "X80FC390C7F38A13F" ], 
  [ "\033[2X\\/\033[102X", "5.5-2", [ 5, 5, 2 ], 374, 27, "/", 
      "X7F51DF007F51DF00" ], 
  [ "\033[2XFactorGroup\033[102X", "5.5-2", [ 5, 5, 2 ], 374, 27, 
      "factorgroup", "X7F51DF007F51DF00" ], 
  [ "\033[2XGroupHomomorphismByImages\033[102X", "5.6-1", [ 5, 6, 1 ], 391, 
      27, "grouphomomorphismbyimages", "X7F348F497C813BE0" ], 
  [ "\033[2XKernel\033[102X", "5.6-2", [ 5, 6, 2 ], 399, 27, "kernel", 
      "X7DCD99628504B810" ], 
  [ "\033[2XImage\033[102X for a homomorphism", "5.6-3", [ 5, 6, 3 ], 405, 
      28, "image for a homomorphism", "X847322667E6166C8" ], 
  [ "\033[2XImage\033[102X for a homomorphism and a subgroup", "5.6-3", 
      [ 5, 6, 3 ], 405, 28, "image for a homomorphism and a subgroup", 
      "X847322667E6166C8" ], 
  [ "\033[2XImage\033[102X for a homomorphism and an element", "5.6-3", 
      [ 5, 6, 3 ], 405, 28, "image for a homomorphism and an element", 
      "X847322667E6166C8" ], 
  [ "\033[2XPreImage\033[102X", "5.6-4", [ 5, 6, 4 ], 414, 28, "preimage", 
      "X836FAEAC78B55BF4" ], 
  [ "\033[2XPreImagesRepresentative\033[102X", "5.6-5", [ 5, 6, 5 ], 422, 28, 
      "preimagesrepresentative", "X7AE24A1586B7DE79" ], 
  [ "\033[2XIsInjective\033[102X", "5.6-6", [ 5, 6, 6 ], 428, 28, 
      "isinjective", "X7F065FD7822C0A12" ], 
  [ "\033[2XRefinedPcpGroup\033[102X", "5.7-1", [ 5, 7, 1 ], 437, 28, 
      "refinedpcpgroup", "X80E9B60E853B2E05" ], 
  [ "\033[2XPcpGroupBySeries\033[102X", "5.7-2", [ 5, 7, 2 ], 446, 28, 
      "pcpgroupbyseries", "X7F88F5548329E279" ], 
  [ "\033[2XPrintPcpPresentation\033[102X for a group", "5.8-1", [ 5, 8, 1 ], 
      481, 29, "printpcppresentation for a group", "X79D247127FD57FC8" ], 
  [ "\033[2XPrintPcpPresentation\033[102X for a pcp", "5.8-1", [ 5, 8, 1 ], 
      481, 29, "printpcppresentation for a pcp", "X79D247127FD57FC8" ], 
  [ "\033[2XIsomorphismPcpGroup\033[102X", "5.9-1", [ 5, 9, 1 ], 499, 29, 
      "isomorphismpcpgroup", "X8771540F7A235763" ], 
  [ "\033[2XIsomorphismPcpGroupFromFpGroupWithPcPres\033[102X", "5.9-2", 
      [ 5, 9, 2 ], 515, 30, "isomorphismpcpgroupfromfpgroupwithpcpres", 
      "X7F5EBF1C831B4BA9" ], 
  [ "\033[2XIsomorphismPcGroup\033[102X", "5.9-3", [ 5, 9, 3 ], 522, 30, 
      "isomorphismpcgroup", "X873CEB137BA1CD6E" ], 
  [ "\033[2XIsomorphismFpGroup\033[102X", "5.9-4", [ 5, 9, 4 ], 529, 30, 
      "isomorphismfpgroup", "X7F28268F850F454E" ], 
  [ "\033[2XAbelianPcpGroup\033[102X", "6.1-1", [ 6, 1, 1 ], 9, 31, 
      "abelianpcpgroup", "X7AEDE1BA82014B86" ], 
  [ "\033[2XAbelianPcpGroup\033[102X rels only", "6.1-1", [ 6, 1, 1 ], 9, 31, 
      "abelianpcpgroup rels only", "X7AEDE1BA82014B86" ], 
  [ "\033[2XDihedralPcpGroup\033[102X", "6.1-2", [ 6, 1, 2 ], 19, 31, 
      "dihedralpcpgroup", "X7ACF57737D0F12DB" ], 
  [ "\033[2XUnitriangularPcpGroup\033[102X", "6.1-3", [ 6, 1, 3 ], 27, 31, 
      "unitriangularpcpgroup", "X864CEDAB7911CC79" ], 
  [ "\033[2XSubgroupUnitriangularPcpGroup\033[102X", "6.1-4", [ 6, 1, 4 ], 
      36, 31, "subgroupunitriangularpcpgroup", "X812E35B17AADBCD5" ], 
  [ "\033[2XInfiniteMetacyclicPcpGroup\033[102X", "6.1-5", [ 6, 1, 5 ], 44, 
      32, "infinitemetacyclicpcpgroup", "X7A80F7F27FDA6810" ], 
  [ "\033[2XHeisenbergPcpGroup\033[102X", "6.1-6", [ 6, 1, 6 ], 64, 32, 
      "heisenbergpcpgroup", "X81BEC875827D1CC2" ], 
  [ "\033[2XMaximalOrderByUnitsPcpGroup\033[102X", "6.1-7", [ 6, 1, 7 ], 71, 
      32, "maximalorderbyunitspcpgroup", "X87F9B9C9786430D7" ], 
  [ "\033[2XBurdeGrunewaldPcpGroup\033[102X", "6.1-8", [ 6, 1, 8 ], 80, 32, 
      "burdegrunewaldpcpgroup", "X852283A77A2C93DD" ], 
  [ "\033[2XExampleOfMetabelianPcpGroup\033[102X", "6.2-1", [ 6, 2, 1 ], 95, 
      32, "exampleofmetabelianpcpgroup", "X86293081865CDFC3" ], 
  [ "\033[2XExamplesOfSomePcpGroups\033[102X", "6.2-2", [ 6, 2, 2 ], 102, 33, 
      "examplesofsomepcpgroups", "X83A74A6E7E232FD6" ], 
  [ "\033[2XPcpSeries\033[102X", "7.1-1", [ 7, 1, 1 ], 18, 34, "pcpseries", 
      "X8037DAD77A19D9B2" ], 
  [ "\033[2XEfaSeries\033[102X", "7.1-2", [ 7, 1, 2 ], 24, 34, "efaseries", 
      "X86C633357ACD342C" ], 
  [ "\033[2XSemiSimpleEfaSeries\033[102X", "7.1-3", [ 7, 1, 3 ], 30, 34, 
      "semisimpleefaseries", "X80ED4F8380DC477E" ], 
  [ "\033[2XDerivedSeriesOfGroup\033[102X", "7.1-4", [ 7, 1, 4 ], 37, 34, 
      "derivedseriesofgroup", "X7A879948834BD889" ], 
  [ "\033[2XRefinedDerivedSeries\033[102X", "7.1-5", [ 7, 1, 5 ], 43, 35, 
      "refinedderivedseries", "X866D4C5C79F26611" ], 
  [ "\033[2XRefinedDerivedSeriesDown\033[102X", "7.1-6", [ 7, 1, 6 ], 50, 35, 
      "refinedderivedseriesdown", "X86F7DE927DE3B5CD" ], 
  [ "\033[2XLowerCentralSeriesOfGroup\033[102X", "7.1-7", [ 7, 1, 7 ], 57, 
      35, "lowercentralseriesofgroup", "X879D55A67DB42676" ], 
  [ "\033[2XUpperCentralSeriesOfGroup\033[102X", "7.1-8", [ 7, 1, 8 ], 64, 
      35, "uppercentralseriesofgroup", "X8428592E8773CD7B" ], 
  [ "\033[2XTorsionByPolyEFSeries\033[102X", "7.1-9", [ 7, 1, 9 ], 71, 35, 
      "torsionbypolyefseries", "X83CA5DE785AE3F2C" ], 
  [ "\033[2XPcpsBySeries\033[102X", "7.1-10", [ 7, 1, 10 ], 100, 36, 
      "pcpsbyseries", "X7E39431286969377" ], 
  [ "\033[2XPcpsOfEfaSeries\033[102X", "7.1-11", [ 7, 1, 11 ], 108, 36, 
      "pcpsofefaseries", "X79789A1C82139854" ], 
  [ "\033[2XPcpOrbitStabilizer\033[102X", "7.2-1", [ 7, 2, 1 ], 160, 37, 
      "pcporbitstabilizer", "X83E17DB483B33AB5" ], 
  [ "\033[2XPcpOrbitsStabilizers\033[102X", "7.2-1", [ 7, 2, 1 ], 160, 37, 
      "pcporbitsstabilizers", "X83E17DB483B33AB5" ], 
  [ "\033[2XStabilizerIntegralAction\033[102X", "7.2-2", [ 7, 2, 2 ], 193, 
      37, "stabilizerintegralaction", "X80694BA480F69A0E" ], 
  [ "\033[2XOrbitIntegralAction\033[102X", "7.2-2", [ 7, 2, 2 ], 193, 37, 
      "orbitintegralaction", "X80694BA480F69A0E" ], 
  [ "\033[2XNormalizerIntegralAction\033[102X", "7.2-3", [ 7, 2, 3 ], 204, 
      38, "normalizerintegralaction", "X875BE4077B32A411" ], 
  [ "\033[2XConjugacyIntegralAction\033[102X", "7.2-3", [ 7, 2, 3 ], 204, 38, 
      "conjugacyintegralaction", "X875BE4077B32A411" ], 
  [ "\033[2XCentralizer\033[102X for an element", "7.3-1", [ 7, 3, 1 ], 264, 
      39, "centralizer for an element", "X808EE8AD7EE3ECE1" ], 
  [ "\033[2XIsConjugate\033[102X for elements", "7.3-1", [ 7, 3, 1 ], 264, 
      39, "isconjugate for elements", "X808EE8AD7EE3ECE1" ], 
  [ "\033[2XCentralizer\033[102X for a subgroup", "7.3-2", [ 7, 3, 2 ], 278, 
      39, "centralizer for a subgroup", "X849B5C527BAFAAA4" ], 
  [ "\033[2XNormalizer\033[102X", "7.3-2", [ 7, 3, 2 ], 278, 39, 
      "normalizer", "X849B5C527BAFAAA4" ], 
  [ "\033[2XIsConjugate\033[102X for subgroups", "7.3-2", [ 7, 3, 2 ], 278, 
      39, "isconjugate for subgroups", "X849B5C527BAFAAA4" ], 
  [ "\033[2XIntersection\033[102X", "7.3-3", [ 7, 3, 3 ], 293, 39, 
      "intersection", "X851069107CACF98E" ], 
  [ "\033[2XTorsionSubgroup\033[102X", "7.4-1", [ 7, 4, 1 ], 309, 39, 
      "torsionsubgroup", "X8036FA507A170DC4" ], 
  [ "\033[2XNormalTorsionSubgroup\033[102X", "7.4-2", [ 7, 4, 2 ], 318, 40, 
      "normaltorsionsubgroup", "X8082CD337972DC63" ], 
  [ "\033[2XIsTorsionFree\033[102X", "7.4-3", [ 7, 4, 3 ], 325, 40, 
      "istorsionfree", "X86D92DA17DCE22DD" ], 
  [ "\033[2XFiniteSubgroupClasses\033[102X", "7.4-4", [ 7, 4, 4 ], 331, 40, 
      "finitesubgroupclasses", "X819058217B4F3DC0" ], 
  [ "\033[2XFiniteSubgroupClassesBySeries\033[102X", "7.4-5", [ 7, 4, 5 ], 
      341, 40, "finitesubgroupclassesbyseries", "X7E7C32EA81A297B6" ], 
  [ "\033[2XMaximalSubgroupClassesByIndex\033[102X", "7.5-1", [ 7, 5, 1 ], 
      382, 41, "maximalsubgroupclassesbyindex", "X87D62D497A8715FB" ], 
  [ "\033[2XLowIndexSubgroupClasses\033[102X", "7.5-2", [ 7, 5, 2 ], 390, 41, 
      "lowindexsubgroupclasses", "X7800133F81BC7674" ], 
  [ "\033[2XLowIndexNormalSubgroups\033[102X", "7.5-3", [ 7, 5, 3 ], 398, 41, 
      "lowindexnormalsubgroups", "X7F7067C77F2DC32C" ], 
  [ "\033[2XNilpotentByAbelianNormalSubgroup\033[102X", "7.5-4", [ 7, 5, 4 ], 
      404, 41, "nilpotentbyabeliannormalsubgroup", "X85A5BC447D83175F" ], 
  [ "\033[2XFittingSubgroup\033[102X", "7.6-1", [ 7, 6, 1 ], 443, 42, 
      "fittingsubgroup", "X780552B57C30DD8F" ], 
  [ "\033[2XIsNilpotentByFinite\033[102X", "7.6-2", [ 7, 6, 2 ], 450, 42, 
      "isnilpotentbyfinite", "X86BD63DC844731DF" ], 
  [ "\033[2XCentre\033[102X", "7.6-3", [ 7, 6, 3 ], 456, 42, "centre", 
      "X847ABE6F781C7FE8" ], 
  [ "\033[2XFCCentre\033[102X", "7.6-4", [ 7, 6, 4 ], 462, 42, "fccentre", 
      "X861C36368435EB09" ], 
  [ "\033[2XPolyZNormalSubgroup\033[102X", "7.6-5", [ 7, 6, 5 ], 469, 43, 
      "polyznormalsubgroup", "X7E75E2BC806746AC" ], 
  [ "\033[2XNilpotentByAbelianByFiniteSeries\033[102X", "7.6-6", [ 7, 6, 6 ], 
      476, 43, "nilpotentbyabelianbyfiniteseries", "X86800BF783E30D4A" ], 
  [ "\033[2XMinimalGeneratingSet\033[102X", "7.7-1", [ 7, 7, 1 ], 493, 43, 
      "minimalgeneratingset", "X81D15723804771E2" ], 
  [ "\033[2XRandomCentralizerPcpGroup\033[102X for an element", "7.8-1", 
      [ 7, 8, 1 ], 542, 44, "randomcentralizerpcpgroup for an element", 
      "X80AEE73E7D639699" ], 
  [ "\033[2XRandomCentralizerPcpGroup\033[102X for a subgroup", "7.8-1", 
      [ 7, 8, 1 ], 542, 44, "randomcentralizerpcpgroup for a subgroup", 
      "X80AEE73E7D639699" ], 
  [ "\033[2XRandomNormalizerPcpGroup\033[102X", "7.8-1", [ 7, 8, 1 ], 542, 
      44, "randomnormalizerpcpgroup", "X80AEE73E7D639699" ], 
  [ "\033[2XSchurExtension\033[102X", "7.9-1", [ 7, 9, 1 ], 572, 44, 
      "schurextension", "X79EF28D9845878C9" ], 
  [ "\033[2XSchurExtensionEpimorphism\033[102X", "7.9-2", [ 7, 9, 2 ], 596, 
      45, "schurextensionepimorphism", "X84B60EC978A9A05E" ], 
  [ "\033[2XSchurCover\033[102X", "7.9-3", [ 7, 9, 3 ], 637, 46, 
      "schurcover", "X7DD1E37987612042" ], 
  [ "\033[2XAbelianInvariantsMultiplier\033[102X", "7.9-4", [ 7, 9, 4 ], 660, 
      46, "abelianinvariantsmultiplier", "X792BC39D7CEB1D27" ], 
  [ "\033[2XNonAbelianExteriorSquareEpimorphism\033[102X", "7.9-5", 
      [ 7, 9, 5 ], 678, 46, "nonabelianexteriorsquareepimorphism", 
      "X822ED5978647C93B" ], 
  [ "\033[2XNonAbelianExteriorSquare\033[102X", "7.9-6", [ 7, 9, 6 ], 707, 
      47, "nonabelianexteriorsquare", "X8739CD4686301A0E" ], 
  [ "\033[2XNonAbelianTensorSquareEpimorphism\033[102X", "7.9-7", 
      [ 7, 9, 7 ], 731, 47, "nonabeliantensorsquareepimorphism", 
      "X86553D7B7DABF38F" ], 
  [ "\033[2XNonAbelianTensorSquare\033[102X", "7.9-8", [ 7, 9, 8 ], 768, 48, 
      "nonabeliantensorsquare", "X7C0DF7C97F78C666" ], 
  [ "\033[2XNonAbelianExteriorSquarePlusEmbedding\033[102X", "7.9-9", 
      [ 7, 9, 9 ], 798, 48, "nonabelianexteriorsquareplusembedding", 
      "X7AE75EC1860FFE7A" ], 
  [ "\033[2XNonAbelianTensorSquarePlusEpimorphism\033[102X", "7.9-10", 
      [ 7, 9, 10 ], 806, 49, "nonabeliantensorsquareplusepimorphism", 
      "X7D96C84E87925B0F" ], 
  [ "\033[2XNonAbelianTensorSquarePlus\033[102X", "7.9-11", [ 7, 9, 11 ], 
      815, 49, "nonabeliantensorsquareplus", "X8746533787C4E8BC" ], 
  [ "\033[2XWhiteheadQuadraticFunctor\033[102X", "7.9-12", [ 7, 9, 12 ], 821, 
      49, "whiteheadquadraticfunctor", "X78F9184078B2761A" ], 
  [ "\033[2XSchurCovers\033[102X", "7.10-1", [ 7, 10, 1 ], 834, 49, 
      "schurcovers", "X7D90B44E7B96AFF1" ], 
  [ "\033[2XCRRecordByMats\033[102X", "8.1-1", [ 8, 1, 1 ], 19, 50, 
      "crrecordbymats", "X7C97442C7B78806C" ], 
  [ "\033[2XCRRecordBySubgroup\033[102X", "8.1-2", [ 8, 1, 2 ], 27, 50, 
      "crrecordbysubgroup", "X8646DFA1804D2A11" ], 
  [ "\033[2XCRRecordByPcp\033[102X", "8.1-2", [ 8, 1, 2 ], 27, 50, 
      "crrecordbypcp", "X8646DFA1804D2A11" ], 
  [ "\033[2XOneCoboundariesCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "onecoboundariescr", "X85EF170387D39D4A" ], 
  [ "\033[2XOneCocyclesCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "onecocyclescr", "X85EF170387D39D4A" ], 
  [ "\033[2XTwoCoboundariesCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "twocoboundariescr", "X85EF170387D39D4A" ], 
  [ "\033[2XTwoCocyclesCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "twococyclescr", "X85EF170387D39D4A" ], 
  [ "\033[2XOneCohomologyCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "onecohomologycr", "X85EF170387D39D4A" ], 
  [ "\033[2XTwoCohomologyCR\033[102X", "8.2-1", [ 8, 2, 1 ], 104, 51, 
      "twocohomologycr", "X85EF170387D39D4A" ], 
  [ "\033[2XTwoCohomologyModCR\033[102X", "8.2-2", [ 8, 2, 2 ], 149, 52, 
      "twocohomologymodcr", "X79B48D697A8A84C8" ], 
  [ "\033[2XOneCoboundariesEX\033[102X", "8.3-1", [ 8, 3, 1 ], 165, 53, 
      "onecoboundariesex", "X7E87E3EA81C84621" ], 
  [ "\033[2XOneCocyclesEX\033[102X", "8.3-2", [ 8, 3, 2 ], 181, 53, 
      "onecocyclesex", "X8111D2087C16CC0C" ], 
  [ "\033[2XOneCohomologyEX\033[102X", "8.3-3", [ 8, 3, 3 ], 197, 53, 
      "onecohomologyex", "X84718DDE792FB212" ], 
  [ "\033[2X ComplementCR\033[102X", "8.4-1", [ 8, 4, 1 ], 209, 53, 
      "complementcr", "X7DA9162085058006" ], 
  [ "\033[2X ComplementsCR\033[102X", "8.4-2", [ 8, 4, 2 ], 219, 54, 
      "complementscr", "X7F8984D386A813D6" ], 
  [ "\033[2X ComplementClassesCR\033[102X", "8.4-3", [ 8, 4, 3 ], 226, 54, 
      "complementclassescr", "X7FAB3EB0803197FA" ], 
  [ "\033[2X ComplementClassesEfaPcps\033[102X", "8.4-4", [ 8, 4, 4 ], 233, 
      54, "complementclassesefapcps", "X8759DC59799DD508" ], 
  [ "\033[2X ComplementClasses\033[102X", "8.4-5", [ 8, 4, 5 ], 244, 54, 
      "complementclasses", "X7B0EC76D81A056AB" ], 
  [ "\033[2XExtensionCR\033[102X", "8.4-6", [ 8, 4, 6 ], 254, 54, 
      "extensioncr", "X85F3B55C78CF840B" ], 
  [ "\033[2XExtensionsCR\033[102X", "8.4-7", [ 8, 4, 7 ], 260, 54, 
      "extensionscr", "X81DC85907E0948FD" ], 
  [ "\033[2XExtensionClassesCR\033[102X", "8.4-8", [ 8, 4, 8 ], 267, 55, 
      "extensionclassescr", "X7AE16E3687E14B24" ], 
  [ "\033[2XSplitExtensionPcpGroup\033[102X", "8.4-9", [ 8, 4, 9 ], 274, 55, 
      "splitextensionpcpgroup", "X7986997B78AD3292" ], 
  [ "\033[2XUnitriangularMatrixRepresentation\033[102X", "9.1-1", 
      [ 9, 1, 1 ], 11, 57, "unitriangularmatrixrepresentation", 
      "X7E6F320F865E309C" ], 
  [ "\033[2XIsMatrixRepresentation\033[102X", "9.1-2", [ 9, 1, 2 ], 20, 57, 
      "ismatrixrepresentation", "X7F5E7F5F7DDB2E2C" ], 
  [ "\033[2XIsomorphismUpperUnitriMatGroupPcpGroup\033[102X", "9.2-1", 
      [ 9, 2, 1 ], 39, 57, "isomorphismupperunitrimatgrouppcpgroup", 
      "X8434972E7DDB68C1" ], 
  [ "\033[2XSiftUpperUnitriMatGroup\033[102X", "9.2-2", [ 9, 2, 2 ], 49, 58, 
      "siftupperunitrimatgroup", "X843C9D427FFA2487" ], 
  [ "\033[2XRanksLevels\033[102X", "9.2-3", [ 9, 2, 3 ], 62, 58, 
      "rankslevels", "X7CF8B8F981931846" ], 
  [ "\033[2XMakeNewLevel\033[102X", "9.2-4", [ 9, 2, 4 ], 69, 58, 
      "makenewlevel", "X81F3760186734EA7" ], 
  [ "\033[2XSiftUpperUnitriMat\033[102X", "9.2-5", [ 9, 2, 5 ], 76, 58, 
      "siftupperunitrimat", "X851A216C85B74574" ], 
  [ "\033[2XDecomposeUpperUnitriMat\033[102X", "9.2-6", [ 9, 2, 6 ], 101, 59, 
      "decomposeupperunitrimat", "X86D711217C639C2C" ], 
  [ "\033[10XSchurCovering\033[110X", "a.0", [ "A", 0, 0 ], 1, 60, 
      "schurcovering", "X874ECE907CAF380D" ], 
  [ "\033[10XSchurMultPcpGroup\033[110X", "a.0", [ "A", 0, 0 ], 1, 60, 
      "schurmultpcpgroup", "X874ECE907CAF380D" ] ]
);