Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "LAGUNA",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Abstract", "0.0-1", [ 0, 0, 1 ], 52, 2, "abstract", "X7AA6C5737B711C89" ]
    , 
  [ "Copyright", "0.0-2", [ 0, 0, 2 ], 67, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 89, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 116, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 4, "introduction", "X7DFB63A97E67C0A1" ], 
  [ "\033[1X\033[33X\033[0;-2YGeneral aims\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 4, 4, "general aims", "X8557083378F2A3B2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneral computations in group rings\033[133X\033[\
101X", "1.2", [ 1, 2, 0 ], 38, 4, "general computations in group rings", 
      "X790BFE667E3BEC3A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComputations in the normalized unit group\033[133\
X\033[101X", "1.3", [ 1, 3, 0 ], 49, 5, 
      "computations in the normalized unit group", "X7B7E5E987DBBA237" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComputing Lie properties of the group algebra\\
033[133X\033[101X", "1.4", [ 1, 4, 0 ], 69, 5, 
      "computing lie properties of the group algebra", "X78B33FFF7A5D2FEF" ], 
  [ "\033[1X\033[33X\033[0;-2YInstallation and system requirements\033[133X\
\033[101X", "1.5", [ 1, 5, 0 ], 82, 5, "installation and system requirements",
      "X7DB566D5785B7DBC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YA sample calculation with \033[5XLAGUNA\033[105X\\
033[101X\027\033[1X\027\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 6, 
      "a sample calculation with laguna", "X7AAB1F18838B1DAB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe basic theory behind \033[5XLAGUNA\033[105X\\
033[101X\027\033[1X\027\033[133X\033[101X", "3", [ 3, 0, 0 ], 1, 12, 
      "the basic theory behind laguna", "X7D9FCE3A8526ACBE" ], 
  [ "\033[1X\033[33X\033[0;-2YNotation and definitions\033[133X\033[101X", 
      "3.1", [ 3, 1, 0 ], 7, 12, "notation and definitions", 
      "X85C2DE1486FB45FD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[22Xp\033[122X\033[101X\027\033[1X\027-modula\
r group algebras\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 48, 13, 
      "p-modular group algebras", "X7E26AE6C807D7C07" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPolycyclic generating set for \033[22XV\033[122X\\
033[101X\027\033[1X\027\033[133X\033[101X", "3.3", [ 3, 3, 0 ], 70, 13, 
      "polycyclic generating set for v", "X7B74767A849D921E" ], 
  [ "\033[1X\033[33X\033[0;-2YComputing the canonical form\033[133X\033[101X",
      "3.4", [ 3, 4, 0 ], 158, 14, "computing the canonical form", 
      "X7DCB12F48752C17E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComputing a power commutator presentation for \\
033[22XV\033[122X\033[101X\027\033[1X\027\033[133X\033[101X", "3.5", 
      [ 3, 5, 0 ], 224, 15, "computing a power commutator presentation for v",
      "X873F4F068759DF5D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YVerifying Lie properties of \033[22XFG\033[122X\\
033[101X\027\033[1X\027\033[133X\033[101X", "3.6", [ 3, 6, 0 ], 239, 15, 
      "verifying lie properties of fg", "X79183196837B7CC1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XLAGUNA\033[105X\033[101X\027\033[1X\027 fu\
nctions\033[133X\033[101X", "4", [ 4, 0, 0 ], 1, 16, "laguna functions", 
      "X7F79B2207E293F2B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneral functions for group algebras\033[133X\\
033[101X", "4.1", [ 4, 1, 0 ], 4, 16, "general functions for group algebras", 
      "X7B473F157842958E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperations with group algebra elements\033[133X\\
033[101X", "4.2", [ 4, 2, 0 ], 120, 18, 
      "operations with group algebra elements", "X81DC99ED7AC03E46" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YImportant attributes of group algebras\033[133X\\
033[101X", "4.3", [ 4, 3, 0 ], 439, 23, 
      "important attributes of group algebras", "X841733AB86D30446" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComputations with the unit group\033[133X\033[101\
X", "4.4", [ 4, 4, 0 ], 670, 27, "computations with the unit group", 
      "X863248708784F94C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe Lie algebra of a group algebra\033[133X\033[1\
01X", "4.5", [ 4, 5, 0 ], 1026, 33, "the lie algebra of a group algebra", 
      "X783C1A3D86A6656B" ], 
  [ "\033[1X\033[33X\033[0;-2YOther commands\033[133X\033[101X", "4.6", 
      [ 4, 6, 0 ], 1545, 43, "other commands", "X7B16423A7FBED034" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 46, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 46, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 47, "index", "X83A0356F839C696F" ], 
  [ "\033[5XLAGUNA\033[105X package", "0.0-1", [ 0, 0, 1 ], 52, 2, 
      "laguna package", "X7AA6C5737B711C89" ], 
  [ "\033[5XSISYPHOS\033[105X package", "1.1", [ 1, 1, 0 ], 4, 4, 
      "sisyphos package", "X8557083378F2A3B2" ], 
  [ "group algebra", "3.1", [ 3, 1, 0 ], 7, 12, "group algebra", 
      "X85C2DE1486FB45FD" ], 
  [ "augmentation homomorphism", "3.1", [ 3, 1, 0 ], 7, 12, 
      "augmentation homomorphism", "X85C2DE1486FB45FD" ], 
  [ "augmentation ideal", "3.1", [ 3, 1, 0 ], 7, 12, "augmentation ideal", 
      "X85C2DE1486FB45FD" ], 
  [ "unit", "3.1", [ 3, 1, 0 ], 7, 12, "unit", "X85C2DE1486FB45FD" ], 
  [ "unit group", "3.1", [ 3, 1, 0 ], 7, 12, "unit group", 
      "X85C2DE1486FB45FD" ], 
  [ "normalised unit", "3.1", [ 3, 1, 0 ], 7, 12, "normalised unit", 
      "X85C2DE1486FB45FD" ], 
  [ "normalised unit group", "3.1", [ 3, 1, 0 ], 7, 12, 
      "normalised unit group", "X85C2DE1486FB45FD" ], 
  [ "\033[22Xp\033[122X-modular group algebra", "3.2", [ 3, 2, 0 ], 48, 13, 
      "p-modular group algebra", "X7E26AE6C807D7C07" ], 
  [ "power-commutator presentation", "3.2", [ 3, 2, 0 ], 48, 13, 
      "power-commutator presentation", "X7E26AE6C807D7C07" ], 
  [ "Jennings series", "3.3", [ 3, 3, 0 ], 70, 13, "jennings series", 
      "X7B74767A849D921E" ], 
  [ "dimension basis", "3.3", [ 3, 3, 0 ], 70, 13, "dimension basis", 
      "X7B74767A849D921E" ], 
  [ "weight, of dimension basis element", "3.3", [ 3, 3, 0 ], 70, 13, 
      "weight of dimension basis element", "X7B74767A849D921E" ], 
  [ "standard product", "3.3", [ 3, 3, 0 ], 70, 13, "standard product", 
      "X7B74767A849D921E" ], 
  [ "\033[2XIsGroupAlgebra\033[102X", "4.1-1", [ 4, 1, 1 ], 7, 16, 
      "isgroupalgebra", "X861A702283A667DF" ], 
  [ "\033[2XIsFModularGroupAlgebra\033[102X", "4.1-2", [ 4, 1, 2 ], 25, 16, 
      "isfmodulargroupalgebra", "X82DBCA8F7DB21AC5" ], 
  [ "modular group algebra", "4.1-2", [ 4, 1, 2 ], 25, 16, 
      "modular group algebra", "X82DBCA8F7DB21AC5" ], 
  [ "\033[2XIsPModularGroupAlgebra\033[102X", "4.1-3", [ 4, 1, 3 ], 45, 17, 
      "ispmodulargroupalgebra", "X849599E07C38A739" ], 
  [ "\033[2XUnderlyingGroup\033[102X of a group ring", "4.1-4", [ 4, 1, 4 ], 
      65, 17, "underlyinggroup of a group ring", "X7C966B177BB62C72" ], 
  [ "\033[2XUnderlyingRing\033[102X", "4.1-5", [ 4, 1, 5 ], 83, 17, 
      "underlyingring", "X8534C18E7EA81CB8" ], 
  [ "\033[2XUnderlyingField\033[102X", "4.1-6", [ 4, 1, 6 ], 101, 18, 
      "underlyingfield", "X790470C48340E8F7" ], 
  [ "\033[2XSupport\033[102X", "4.2-1", [ 4, 2, 1 ], 123, 18, "support", 
      "X7B689C0284AC4296" ], 
  [ "\033[2XCoefficientsBySupport\033[102X", "4.2-2", [ 4, 2, 2 ], 153, 18, 
      "coefficientsbysupport", "X8401D79C8678D3FA" ], 
  [ "\033[2XTraceOfMagmaRingElement\033[102X", "4.2-3", [ 4, 2, 3 ], 172, 19, 
      "traceofmagmaringelement", "X81DD298A7C06EC82" ], 
  [ "\033[2XLength\033[102X", "4.2-4", [ 4, 2, 4 ], 191, 19, "length", 
      "X780769238600AFD1" ], 
  [ "\033[2XAugmentation\033[102X", "4.2-5", [ 4, 2, 5 ], 208, 19, 
      "augmentation", "X86FA17BE858F2245" ], 
  [ "\033[2XPartialAugmentations\033[102X", "4.2-6", [ 4, 2, 6 ], 226, 20, 
      "partialaugmentations", "X83A318C887B3E735" ], 
  [ "partial augmentation", "4.2-6", [ 4, 2, 6 ], 226, 20, 
      "partial augmentation", "X83A318C887B3E735" ], 
  [ "\033[2XInvolution\033[102X", "4.2-7", [ 4, 2, 7 ], 250, 20, 
      "involution", "X81EB2A0A8756372B" ], 
  [ "\033[2XIsSymmetric\033[102X", "4.2-8", [ 4, 2, 8 ], 282, 21, 
      "issymmetric", "X82D0BA3D7D3994F6" ], 
  [ "symmetric element", "4.2-8", [ 4, 2, 8 ], 282, 21, "symmetric element", 
      "X82D0BA3D7D3994F6" ], 
  [ "\033[2XIsUnitary\033[102X", "4.2-9", [ 4, 2, 9 ], 298, 21, "isunitary", 
      "X7990BD877E89A9EC" ], 
  [ "unitary element", "4.2-9", [ 4, 2, 9 ], 298, 21, "unitary element", 
      "X7990BD877E89A9EC" ], 
  [ "\033[2XIsUnit\033[102X", "4.2-10", [ 4, 2, 10 ], 316, 21, "isunit", 
      "X85CBFBAE78DE72E8" ], 
  [ "\033[2XInverseOp\033[102X", "4.2-11", [ 4, 2, 11 ], 347, 22, 
      "inverseop", "X82EC4F49877D6EB1" ], 
  [ "\033[2XBicyclicUnitOfType1\033[102X", "4.2-12", [ 4, 2, 12 ], 369, 22, 
      "bicyclicunitoftype1", "X7FD01F52845445EC" ], 
  [ "\033[2XBicyclicUnitOfType2\033[102X", "4.2-12", [ 4, 2, 12 ], 369, 22, 
      "bicyclicunitoftype2", "X7FD01F52845445EC" ], 
  [ "bicyclic unit", "4.2-12", [ 4, 2, 12 ], 369, 22, "bicyclic unit", 
      "X7FD01F52845445EC" ], 
  [ "\033[2XBassCyclicUnit\033[102X", "4.2-13", [ 4, 2, 13 ], 407, 23, 
      "basscyclicunit", "X8631AD178508D219" ], 
  [ "Bass cyclic unit", "4.2-13", [ 4, 2, 13 ], 407, 23, "bass cyclic unit", 
      "X8631AD178508D219" ], 
  [ "\033[2XAugmentationHomomorphism\033[102X", "4.3-1", [ 4, 3, 1 ], 442, 
      23, "augmentationhomomorphism", "X7F7FD75E84BEE0EF" ], 
  [ "\033[2XAugmentationIdeal\033[102X", "4.3-2", [ 4, 3, 2 ], 479, 24, 
      "augmentationideal", "X7B21DB3E7CD80983" ], 
  [ "\033[2XRadicalOfAlgebra\033[102X", "4.3-3", [ 4, 3, 3 ], 500, 24, 
      "radicalofalgebra", "X850C29907A509533" ], 
  [ "\033[2XWeightedBasis\033[102X", "4.3-4", [ 4, 3, 4 ], 523, 25, 
      "weightedbasis", "X8292BEFC7922E773" ], 
  [ "\033[2XAugmentationIdealPowerSeries\033[102X", "4.3-5", [ 4, 3, 5 ], 
      561, 25, "augmentationidealpowerseries", "X84B25D3A812A8A2E" ], 
  [ "\033[2XAugmentationIdealNilpotencyIndex\033[102X", "4.3-6", [ 4, 3, 6 ], 
      585, 26, "augmentationidealnilpotencyindex", "X8567023A821E39A6" ], 
  [ "\033[2XAugmentationIdealOfDerivedSubgroupNilpotencyIndex\033[102X", 
      "4.3-7", [ 4, 3, 7 ], 603, 26, 
      "augmentationidealofderivedsubgroupnilpotencyindex", 
      "X7C0D5F3C842302EC" ], 
  [ "\033[2XLeftIdealBySubgroup\033[102X", "4.3-8", [ 4, 3, 8 ], 626, 26, 
      "leftidealbysubgroup", "X837294D57E415E37" ], 
  [ "\033[2XRightIdealBySubgroup\033[102X", "4.3-8", [ 4, 3, 8 ], 626, 26, 
      "rightidealbysubgroup", "X837294D57E415E37" ], 
  [ "\033[2XTwoSidedIdalBySubgroup\033[102X", "4.3-8", [ 4, 3, 8 ], 626, 26, 
      "twosidedidalbysubgroup", "X837294D57E415E37" ], 
  [ "\033[2XNormalizedUnitGroup\033[102X", "4.4-1", [ 4, 4, 1 ], 673, 27, 
      "normalizedunitgroup", "X817D5AC78754527F" ], 
  [ "\033[2XPcNormalizedUnitGroup\033[102X", "4.4-2", [ 4, 4, 2 ], 696, 28, 
      "pcnormalizedunitgroup", "X7D40E42A7B678598" ], 
  [ "\033[2XNaturalBijectionToPcNormalizedUnitGroup\033[102X", "4.4-3", 
      [ 4, 4, 3 ], 716, 28, "naturalbijectiontopcnormalizedunitgroup", 
      "X7E08F6E87C586A36" ], 
  [ "\033[2XNaturalBijectionToNormalizedUnitGroup\033[102X", "4.4-4", 
      [ 4, 4, 4 ], 748, 28, "naturalbijectiontonormalizedunitgroup", 
      "X83715EF37B9FA94A" ], 
  [ "\033[2XEmbedding\033[102X from group to unit group", "4.4-5", 
      [ 4, 4, 5 ], 768, 29, "embedding from group to unit group", 
      "X84D64AF17941FA7F" ], 
  [ "\033[2XUnits\033[102X", "4.4-6", [ 4, 4, 6 ], 802, 29, "units", 
      "X853C045B7BA6A580" ], 
  [ "\033[2XPcUnits\033[102X", "4.4-7", [ 4, 4, 7 ], 834, 30, "pcunits", 
      "X7E67BDA77E5E6077" ], 
  [ "\033[2XIsGroupOfUnitsOfMagmaRing\033[102X", "4.4-8", [ 4, 4, 8 ], 858, 
      30, "isgroupofunitsofmagmaring", "X7F2532888184CB22" ], 
  [ "\033[2XIsUnitGroupOfGroupRing\033[102X", "4.4-9", [ 4, 4, 9 ], 874, 31, 
      "isunitgroupofgroupring", "X7EF9BF297A9412AB" ], 
  [ "\033[2XIsNormalizedUnitGroupOfGroupRing\033[102X", "4.4-10", 
      [ 4, 4, 10 ], 890, 31, "isnormalizedunitgroupofgroupring", 
      "X82AC131384191CCE" ], 
  [ "\033[2XUnderlyingGroupRing\033[102X", "4.4-11", [ 4, 4, 11 ], 907, 31, 
      "underlyinggroupring", "X82DCA8A57D0D1114" ], 
  [ "\033[2XUnitarySubgroup\033[102X", "4.4-12", [ 4, 4, 12 ], 930, 32, 
      "unitarysubgroup", "X7A0FFABC86F89517" ], 
  [ "\033[2XBicyclicUnitGroup\033[102X", "4.4-13", [ 4, 4, 13 ], 962, 32, 
      "bicyclicunitgroup", "X859F07AE7A4D317B" ], 
  [ "\033[2XGroupBases\033[102X", "4.4-14", [ 4, 4, 14 ], 995, 33, 
      "groupbases", "X7A39E44D87CDF7B0" ], 
  [ "\033[2XLieAlgebraByDomain\033[102X", "4.5-1", [ 4, 5, 1 ], 1029, 33, 
      "liealgebrabydomain", "X7827B4158459DEA0" ], 
  [ "\033[2XIsLieAlgebraByAssociativeAlgebra\033[102X", "4.5-2", [ 4, 5, 2 ], 
      1051, 34, "isliealgebrabyassociativealgebra", "X7AA7DA6082639B23" ], 
  [ "\033[2XUnderlyingAssociativeAlgebra\033[102X", "4.5-3", [ 4, 5, 3 ], 
      1071, 34, "underlyingassociativealgebra", "X85F4712B84624DB8" ], 
  [ "\033[2XNaturalBijectionToLieAlgebra\033[102X", "4.5-4", [ 4, 5, 4 ], 
      1093, 35, "naturalbijectiontoliealgebra", "X84050A268514F2EE" ], 
  [ "\033[2XNaturalBijectionToAssociativeAlgebra\033[102X", "4.5-5", 
      [ 4, 5, 5 ], 1122, 35, "naturalbijectiontoassociativealgebra", 
      "X821DAFD585EA1DF3" ], 
  [ "\033[2XIsLieAlgebraOfGroupRing\033[102X", "4.5-6", [ 4, 5, 6 ], 1143, 
      35, "isliealgebraofgroupring", "X78C26E3F80E55AC2" ], 
  [ "\033[2XUnderlyingGroup\033[102X of Lie algebra of a group ring", 
      "4.5-7", [ 4, 5, 7 ], 1165, 36, 
      "underlyinggroup of lie algebra of a group ring", "X87CCD17A790BE256" ],
  [ "\033[2XEmbedding\033[102X from group to Lie algebra", "4.5-8", 
      [ 4, 5, 8 ], 1190, 36, "embedding from group to lie algebra", 
      "X833439F7846784B5" ], 
  [ "\033[2XLieCentre\033[102X", "4.5-9", [ 4, 5, 9 ], 1215, 37, "liecentre", 
      "X8111F58E7DE3E25C" ], 
  [ "\033[2XLieDerivedSubalgebra\033[102X", "4.5-10", [ 4, 5, 10 ], 1247, 37, 
      "liederivedsubalgebra", "X7C95C0057C977747" ], 
  [ "\033[2XIsLieAbelian\033[102X", "4.5-11", [ 4, 5, 11 ], 1278, 38, 
      "islieabelian", "X7F97D08F7B738ADE" ], 
  [ "\033[2XIsLieSolvable\033[102X", "4.5-12", [ 4, 5, 12 ], 1302, 38, 
      "isliesolvable", "X859FF1B3812B8FCC" ], 
  [ "\033[2XIsLieNilpotent\033[102X", "4.5-13", [ 4, 5, 13 ], 1328, 39, 
      "islienilpotent", "X78452F4E875A62A8" ], 
  [ "\033[2XIsLieMetabelian\033[102X", "4.5-14", [ 4, 5, 14 ], 1354, 39, 
      "isliemetabelian", "X8504EC257B764BA6" ], 
  [ "\033[2XIsLieCentreByMetabelian\033[102X", "4.5-15", [ 4, 5, 15 ], 1376, 
      40, "isliecentrebymetabelian", "X7EEAA09F818CE548" ], 
  [ "\033[2XCanonicalBasis\033[102X", "4.5-16", [ 4, 5, 16 ], 1401, 40, 
      "canonicalbasis", "X7C8EBFF5805F8C51" ], 
  [ "\033[2XIsBasisOfLieAlgebraOfGroupRing\033[102X", "4.5-17", [ 4, 5, 17 ], 
      1427, 40, "isbasisofliealgebraofgroupring", "X83026DFF8461B96D" ], 
  [ "\033[2XStructureConstantsTable\033[102X", "4.5-18", [ 4, 5, 18 ], 1451, 
      41, "structureconstantstable", "X804ADF0280F67CDC" ], 
  [ "\033[2XLieUpperNilpotencyIndex\033[102X", "4.5-19", [ 4, 5, 19 ], 1474, 
      41, "lieuppernilpotencyindex", "X87E9411284D1A346" ], 
  [ "upper Lie power series", "4.5-19", [ 4, 5, 19 ], 1474, 41, 
      "upper lie power series", "X87E9411284D1A346" ], 
  [ "\033[2XLieLowerNilpotencyIndex\033[102X", "4.5-20", [ 4, 5, 20 ], 1496, 
      42, "lielowernilpotencyindex", "X7D71DF0579FBE1C9" ], 
  [ "lower Lie power series", "4.5-20", [ 4, 5, 20 ], 1496, 42, 
      "lower lie power series", "X7D71DF0579FBE1C9" ], 
  [ "\033[2XLieDerivedLength\033[102X", "4.5-21", [ 4, 5, 21 ], 1523, 42, 
      "liederivedlength", "X7E5950517F0CDB47" ], 
  [ "Lie derived series", "4.5-21", [ 4, 5, 21 ], 1523, 42, 
      "lie derived series", "X7E5950517F0CDB47" ], 
  [ "Lie derived length", "4.5-21", [ 4, 5, 21 ], 1523, 42, 
      "lie derived length", "X7E5950517F0CDB47" ], 
  [ "\033[2XSubgroupsOfIndexTwo\033[102X", "4.6-1", [ 4, 6, 1 ], 1548, 43, 
      "subgroupsofindextwo", "X85CE6B407910F768" ], 
  [ "\033[2XDihedralDepth\033[102X", "4.6-2", [ 4, 6, 2 ], 1563, 43, 
      "dihedraldepth", "X7AFBD42180787A07" ], 
  [ "\033[2XDimensionBasis\033[102X", "4.6-3", [ 4, 6, 3 ], 1582, 43, 
      "dimensionbasis", "X7D7CD02F803FFC08" ], 
  [ "\033[2XLieDimensionSubgroups\033[102X", "4.6-4", [ 4, 6, 4 ], 1600, 43, 
      "liedimensionsubgroups", "X84B7C6A38473722F" ], 
  [ "\033[2XLieUpperCodimensionSeries\033[102X for group ring", "4.6-5", 
      [ 4, 6, 5 ], 1620, 44, "lieuppercodimensionseries for group ring", 
      "X7B2EAF81791D6C68" ], 
  [ "\033[2XLieUpperCodimensionSeries\033[102X for group", "4.6-5", 
      [ 4, 6, 5 ], 1620, 44, "lieuppercodimensionseries for group", 
      "X7B2EAF81791D6C68" ], 
  [ "\033[2XLAGInfo\033[102X", "4.6-6", [ 4, 6, 6 ], 1652, 44, "laginfo", 
      "X7E5804B881DE4FF2" ] ]
);