Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "RepnDecomp",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 24, 2, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 3, "introduction", "X7DFB63A97E67C0A1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGetting started with RepnDecomp\033[133X\033[101X\
", "1.1", [ 1, 1, 0 ], 4, 3, "getting started with repndecomp", 
      "X789233A47A277072" ], 
  [ "\033[1X\033[33X\033[0;-2YInstallation\033[133X\033[101X", "1.1-1", 
      [ 1, 1, 1 ], 11, 3, "installation", "X8360C04082558A12" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YNote on what is meant by a representation\033[133\
X\033[101X", "1.1-2", [ 1, 1, 2 ], 18, 3, 
      "note on what is meant by a representation", "X792C0F507B4A3B89" ], 
  [ "\033[1X\033[33X\033[0;-2YAPI Overview\033[133X\033[101X", "1.1-3", 
      [ 1, 1, 3 ], 45, 3, "api overview", "X8315479878D25E37" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsomorphisms between representations\033[133X\\
033[101X", "2", [ 2, 0, 0 ], 1, 5, "isomorphisms between representations", 
      "X7D9B253E794EF912" ], 
  [ "\033[1X\033[33X\033[0;-2YFinding explicit isomorphisms\033[133X\033[101X"
        , "2.1", [ 2, 1, 0 ], 4, 5, "finding explicit isomorphisms", 
      "X7AEE81C2809E0B98" ], 
  [ "\033[1X\033[33X\033[0;-2YTesting isomorphisms\033[133X\033[101X", "2.2", 
      [ 2, 2, 0 ], 79, 6, "testing isomorphisms", "X85DAC9E583D8EFB9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAlgorithms for unitary representations\033[133X\\
033[101X", "3", [ 3, 0, 0 ], 1, 8, "algorithms for unitary representations", 
      "X83B4D1DB7F92BD3A" ], 
  [ "\033[1X\033[33X\033[0;-2YUnitarising representations\033[133X\033[101X", 
      "3.1", [ 3, 1, 0 ], 4, 8, "unitarising representations", 
      "X870B3D0D80CFADB1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDecomposing unitary representations\033[133X\033[\
101X", "3.2", [ 3, 2, 0 ], 82, 9, "decomposing unitary representations", 
      "X7974D0C580C833D1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMiscellaneous useful functions\033[133X\033[101X"
        , "4", [ 4, 0, 0 ], 1, 10, "miscellaneous useful functions", 
      "X8346542B8387968B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPredicates for representations\033[133X\033[101X"
        , "4.1", [ 4, 1, 0 ], 4, 10, "predicates for representations", 
      "X87196FDB78749ECA" ], 
  [ "\033[1X\033[33X\033[0;-2YEfficient summing over groups\033[133X\033[101X"
        , "4.2", [ 4, 2, 0 ], 23, 10, "efficient summing over groups", 
      "X8271F7A386CFEA63" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpace-efficient representation of tensors of matr\
ices\033[133X\033[101X", "4.3", [ 4, 3, 0 ], 55, 11, 
      "space-efficient representation of tensors of matrices", 
      "X86F42D257CFB192D" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrices and homomorphisms\033[133X\033[101X", 
      "4.4", [ 4, 4, 0 ], 105, 11, "matrices and homomorphisms", 
      "X83F160967ED7EE14" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRepresentation theoretic functions\033[133X\033[1\
01X", "4.5", [ 4, 5, 0 ], 116, 12, "representation theoretic functions", 
      "X7C3EDA5E7A24196C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComputing decompositions of representations\033[1\
33X\033[101X", "5", [ 5, 0, 0 ], 1, 13, 
      "computing decompositions of representations", "X7F968DF987DE4A6E" ], 
  [ "\033[1X\033[33X\033[0;-2YBlock diagonalizing\033[133X\033[101X", "5.1", 
      [ 5, 1, 0 ], 4, 13, "block diagonalizing", "X7E29883984400D2C" ], 
  [ "\033[1X\033[33X\033[0;-2YAlgorithms due to the authors\033[133X\033[101X"
        , "5.2", [ 5, 2, 0 ], 32, 13, "algorithms due to the authors", 
      "X863A16A179A7486B" ], 
  [ "\033[1X\033[33X\033[0;-2YAlgorithms due to Serre\033[133X\033[101X", 
      "5.3", [ 5, 3, 0 ], 99, 15, "algorithms due to serre", 
      "X7C22F13E80A74438" ], 
  [ "\033[1X\033[33X\033[0;-2YCentralizer (commutant) rings\033[133X\033[101X"
        , "6", [ 6, 0, 0 ], 1, 18, "centralizer commutant rings", 
      "X7A0EF2C67E2DB726" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFinding a basis for the centralizer\033[133X\033[\
101X", "6.1", [ 6, 1, 0 ], 4, 18, "finding a basis for the centralizer", 
      "X7E70A3D881CD5FFA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YUsing the centralizer for computations\033[133X\\
033[101X", "6.2", [ 6, 2, 0 ], 51, 19, 
      "using the centralizer for computations", "X83C4F8C17DA976EE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 20, "index", "X83A0356F839C696F" ], 
  [ "\033[2XLinearRepresentationIsomorphism\033[102X", "2.1-1", [ 2, 1, 1 ], 
      7, 5, "linearrepresentationisomorphism", "X7F0D3CFB7800149A" ], 
  [ "\033[2XLinearRepresentationIsomorphismSlow\033[102X", "2.1-2", 
      [ 2, 1, 2 ], 61, 6, "linearrepresentationisomorphismslow", 
      "X841DE7D08491325F" ], 
  [ "\033[2XAreRepsIsomorphic\033[102X", "2.2-1", [ 2, 2, 1 ], 82, 6, 
      "arerepsisomorphic", "X86EB9DD586958473" ], 
  [ "\033[2XIsLinearRepresentationIsomorphism\033[102X", "2.2-2", 
      [ 2, 2, 2 ], 105, 7, "islinearrepresentationisomorphism", 
      "X81080E1B7917B361" ], 
  [ "\033[2XUnitaryRepresentation\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 8, 
      "unitaryrepresentation", "X86B2367A79BE5B9F" ], 
  [ "\033[2XIsUnitaryRepresentation\033[102X", "3.1-2", [ 3, 1, 2 ], 48, 9, 
      "isunitaryrepresentation", "X87D121227C027253" ], 
  [ "\033[2XLDLDecomposition\033[102X", "3.1-3", [ 3, 1, 3 ], 58, 9, 
      "ldldecomposition", "X78F7DFD186A4E7CA" ], 
  [ "\033[2XIrreducibleDecompositionDixon\033[102X", "3.2-1", [ 3, 2, 1 ], 
      85, 9, "irreducibledecompositiondixon", "X8175C1167A31C3D6" ], 
  [ 
      "\033[2XIsFiniteGroupLinearRepresentation\033[102X for IsGroupHomomorphism"
        , "4.1-1", [ 4, 1, 1 ], 7, 10, 
      "isfinitegrouplinearrepresentation for isgrouphomomorphism", 
      "X8631A1417C3C1D88" ], 
  [ 
      "\033[2XIsFiniteGroupPermutationRepresentation\033[102X for IsGroupHomomorp\
hism", "4.1-2", [ 4, 1, 2 ], 15, 10, 
      "isfinitegrouppermutationrepresentation for isgrouphomomorphism", 
      "X826D5ADF7FA87782" ], 
  [ "\033[2XGroupSumBSGS\033[102X", "4.2-1", [ 4, 2, 1 ], 26, 10, 
      "groupsumbsgs", "X85E8A5FC844DC09A" ], 
  [ 
      "\033[2XIsTensorProductOfMatricesObj\033[102X for IsMultiplicativeElementWi\
thInverse", "4.3-1", [ 4, 3, 1 ], 70, 11, 
      "istensorproductofmatricesobj for ismultiplicativeelementwithinverse", 
      "X84335C447DE377B0" ], 
  [ "\033[2XIsTensorProductPairRep\033[102X for IsPositionalObjectRep", 
      "4.3-2", [ 4, 3, 2 ], 78, 11, 
      "istensorproductpairrep for ispositionalobjectrep", "X868B9CB1873C93AC" 
     ], 
  [ "\033[2XIsTensorProductKroneckerRep\033[102X for IsPositionalObjectRep", 
      "4.3-3", [ 4, 3, 3 ], 86, 11, 
      "istensorproductkroneckerrep for ispositionalobjectrep", 
      "X85AD76DB7D5F8B12" ], 
  [ "\033[2XTensorProductOfMatrices\033[102X", "4.3-4", [ 4, 3, 4 ], 94, 11, 
      "tensorproductofmatrices", "X86671AD582FF77E2" ], 
  [ "\033[2XCharacterOfTensorProductOfRepresentations\033[102X", "4.3-5", 
      [ 4, 3, 5 ], 101, 11, "characteroftensorproductofrepresentations", 
      "X79D0379D79F5DF9B" ], 
  [ "\033[2XComposeHomFunction\033[102X", "4.4-1", [ 4, 4, 1 ], 108, 11, 
      "composehomfunction", "X7D17785482F143B0" ], 
  [ "\033[2XTensorProductRepLists\033[102X", "4.5-1", [ 4, 5, 1 ], 119, 12, 
      "tensorproductreplists", "X841424DF824E258B" ], 
  [ "\033[2XDirectSumOfRepresentations\033[102X", "4.5-2", [ 4, 5, 2 ], 127, 
      12, "directsumofrepresentations", "X84EAE3DB7FA8102C" ], 
  [ "\033[2XDegreeOfRepresentation\033[102X", "4.5-3", [ 4, 5, 3 ], 132, 12, 
      "degreeofrepresentation", "X85147CF97B912CC3" ], 
  [ "\033[2XPermToLinearRep\033[102X", "4.5-4", [ 4, 5, 4 ], 138, 12, 
      "permtolinearrep", "X7B14287E7BFC548D" ], 
  [ "\033[2XIsOrthonormalSet\033[102X", "4.5-5", [ 4, 5, 5 ], 144, 12, 
      "isorthonormalset", "X7E67A4817A5E4879" ], 
  [ "\033[2XBlockDiagonalBasisOfRepresentation\033[102X", "5.1-1", 
      [ 5, 1, 1 ], 12, 13, "blockdiagonalbasisofrepresentation", 
      "X8361AD057AD282AC" ], 
  [ "\033[2XBlockDiagonalRepresentation\033[102X", "5.1-2", [ 5, 1, 2 ], 22, 
      13, "blockdiagonalrepresentation", "X86EB837579C1416D" ], 
  [ "\033[2XREPN_ComputeUsingMyMethod\033[102X for IsGroupHomomorphism", 
      "5.2-1", [ 5, 2, 1 ], 35, 13, 
      "repn_computeusingmymethod for isgrouphomomorphism", 
      "X831574AD864C94A8" ], 
  [ 
      "\033[2XREPN_ComputeUsingMyMethodCanonical\033[102X for IsGroupHomomorphism\
", "5.2-2", [ 5, 2, 2 ], 71, 14, 
      "repn_computeusingmymethodcanonical for isgrouphomomorphism", 
      "X7DB659DB7E48D502" ], 
  [ "\033[2XCanonicalDecomposition\033[102X", "5.3-1", [ 5, 3, 1 ], 105, 15, 
      "canonicaldecomposition", "X7E95B0367992BEC4" ], 
  [ "\033[2XIrreducibleDecomposition\033[102X", "5.3-2", [ 5, 3, 2 ], 139, 
      15, "irreducibledecomposition", "X795C63F386C45308" ], 
  [ "\033[2XIrreducibleDecompositionCollected\033[102X", "5.3-3", 
      [ 5, 3, 3 ], 168, 16, "irreducibledecompositioncollected", 
      "X87E91CBE7992D126" ], 
  [ "\033[2XREPN_ComputeUsingSerre\033[102X for IsGroupHomomorphism", 
      "5.3-4", [ 5, 3, 4 ], 178, 16, 
      "repn_computeusingserre for isgrouphomomorphism", "X7C1CF0547D72D354" ],
  [ "\033[2XCentralizerBlocksOfRepresentation\033[102X", "6.1-1", 
      [ 6, 1, 1 ], 7, 18, "centralizerblocksofrepresentation", 
      "X7901B6A7860D35C3" ], 
  [ "\033[2XCentralizerOfRepresentation\033[102X", "6.1-2", [ 6, 1, 2 ], 33, 
      18, "centralizerofrepresentation", "X86B19E2B877121E9" ], 
  [ "\033[2XClassSumCentralizer\033[102X", "6.2-1", [ 6, 2, 1 ], 54, 19, 
      "classsumcentralizer", "X87E5BAEB82DC00C3" ], 
  [ "\033[2XClassSumCentralizerNC\033[102X", "6.2-2", [ 6, 2, 2 ], 89, 19, 
      "classsumcentralizernc", "X78719DC8868B0744" ] ]
);