#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "wedderga",
entries :=
[ [ "Title page", "", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], 
  [ "Abstract", "-1", [ 0, 0, 1 ], 65, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", "-2", [ 0, 0, 2 ], 78, 2, "copyright", "X81488B807F2A1CF1" ],
  [ "Acknowledgements", "-3", [ 0, 0, 3 ], 100, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "-4", [ 0, 0, 4 ], 127, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 5, "introduction", 
      "X7DFB63A97E67C0A1" ], 
  [ "\033[1XGeneral aims of \033[5XWedderga\033[1X package\033[0X", "1.1", 
      [ 1, 1, 0 ], 4, 5, "general aims of wedderga package", 
      "X7F8C3A087C875426" ], 
  [ "\033[1XMain functions of \033[5XWedderga\033[1X package\033[0X", "1.2", 
      [ 1, 2, 0 ], 25, 5, "main functions of wedderga package", 
      "X7EC3E10184435AC0" ], 
  [ "\033[1XInstallation and system requirements\033[0X", "1.3", [ 1, 3, 0 ], 
      90, 6, "installation and system requirements", "X7DB566D5785B7DBC" ], 
  [ "\033[1XWedderburn decomposition\033[0X", "2", [ 2, 0, 0 ], 1, 8, 
      "wedderburn decomposition", "X87273420791F220E" ], 
  [ "\033[1XWedderburn decomposition\033[0X", "2.1", [ 2, 1, 0 ], 4, 8, 
      "wedderburn decomposition", "X87273420791F220E" ], 
  [ "\033[1XSimple quotients\033[0X", "2.2", [ 2, 2, 0 ], 336, 13, 
      "simple quotients", "X7D06959F7D444C55" ], 
  [ "\033[1XStrong Shoda pairs\033[0X", "3", [ 3, 0, 0 ], 1, 16, 
      "strong shoda pairs", "X81DAF5267D30C83A" ], 
  [ "\033[1XComputing strong Shoda pairs\033[0X", "3.1", [ 3, 1, 0 ], 4, 16, 
      "computing strong shoda pairs", "X807C74B07C4B99AF" ], 
  [ "\033[1XProperties related with Shoda pairs\033[0X", "3.2", [ 3, 2, 0 ], 
      42, 17, "properties related with shoda pairs", "X7B49C1BC834E57E3" ], 
  [ "\033[1XIdempotents\033[0X", "4", [ 4, 0, 0 ], 1, 19, "idempotents", 
      "X7C651C9C78398FFF" ], 
  [ "\033[1XComputing idempotents from character table\033[0X", "4.1", 
      [ 4, 1, 0 ], 4, 19, "computing idempotents from character table", 
      "X7DF49142844C278D" ], 
  [ "\033[1XTesting lists of idempotents for completeness\033[0X", "4.2", 
      [ 4, 2, 0 ], 37, 19, "testing lists of idempotents for completeness", 
      "X83F7CF1E87D02581" ], 
  [ "\033[1XIdempotents from Shoda pairs\033[0X", "4.3", [ 4, 3, 0 ], 76, 20, 
      "idempotents from shoda pairs", "X7C66102485AF5F80" ], 
  [ "\033[1XCrossed products\033[0X", "5", [ 5, 0, 0 ], 1, 23, 
      "crossed products", "X7FB21779832CE1CB" ], 
  [ "\033[1XConstruction of crossed products\033[0X", "5.1", [ 5, 1, 0 ], 18, 
      23, "construction of crossed products", "X79122C7F877430A7" ], 
  [ "\033[1XCrossed product elements and their properties\033[0X", "5.2", 
      [ 5, 2, 0 ], 394, 30, "crossed product elements and their properties", 
      "X8560A2F37B608A9F" ], 
  [ "\033[1XUseful properties and functions\033[0X", "6", [ 6, 0, 0 ], 1, 31, 
      "useful properties and functions", "X7D3C0B1F7A66056F" ], 
  [ "\033[1XSemisimple group algebras of finite groups\033[0X", "6.1", 
      [ 6, 1, 0 ], 4, 31, "semisimple group algebras of finite groups", 
      "X7BA5D68A86B8C772" ], 
  [ "\033[1XOperations with group rings elements\033[0X", "6.2", [ 6, 2, 0 ], 
      98, 32, "operations with group rings elements", "X86121BD77F7E5C7A" ], 
  [ "\033[1XCyclotomic classes\033[0X", "6.3", [ 6, 3, 0 ], 205, 34, 
      "cyclotomic classes", "X7AAB3882785C04E0" ], 
  [ "\033[1XOther commands\033[0X", "6.4", [ 6, 4, 0 ], 249, 35, 
      "other commands", "X7B16423A7FBED034" ], 
  [ "\033[1XThe basic theory behind \033[5XWedderga\033[1X\033[0X", "7", 
      [ 7, 0, 0 ], 1, 37, "the basic theory behind wedderga", 
      "X840E625A81FDAEC6" ], 
  [ "\033[1XGroup rings and group algebras\033[0X", "7.1", [ 7, 1, 0 ], 15, 
      37, "group rings and group algebras", "X815ECCD97B18314B" ], 
  [ "\033[1XSemisimple group algebras\033[0X", "7.2", [ 7, 2, 0 ], 30, 37, 
      "semisimple group algebras", "X7FDD93FB79ADCC91" ], 
  [ "\033[1XWedderburn decomposition\033[0X", "7.3", [ 7, 3, 0 ], 50, 37, 
      "wedderburn decomposition", "X87273420791F220E" ], 
  [ "\033[1XCharacters and primitive central idempotents\033[0X", "7.4", 
      [ 7, 4, 0 ], 110, 38, "characters and primitive central idempotents", 
      "X87B6505C7C2EE054" ], 
  [ "\033[1XCentral simple algebras and Brauer equivalence\033[0X", "7.5", 
      [ 7, 5, 0 ], 155, 39, "central simple algebras and brauer equivalence", 
      "X7A24D5407F72C633" ], 
  [ "\033[1XCrossed Products\033[0X", "7.6", [ 7, 6, 0 ], 169, 39, 
      "crossed products", "X7FB21779832CE1CB" ], 
  [ "\033[1XCyclic Crossed Products\033[0X", "7.7", [ 7, 7, 0 ], 250, 40, 
      "cyclic crossed products", "X828C42CD86AF605F" ], 
  [ "\033[1XAbelian Crossed Products\033[0X", "7.8", [ 7, 8, 0 ], 285, 41, 
      "abelian crossed products", "X7869E2A48784C232" ], 
  [ "\033[1XClassical crossed products\033[0X", "7.9", [ 7, 9, 0 ], 336, 41, 
      "classical crossed products", "X80BABE5078A29793" ], 
  [ "\033[1XCyclic Algebras\033[0X", "7.10", [ 7, 10, 0 ], 345, 41, 
      "cyclic algebras", "X84C98BB8859BBEE2" ], 
  [ "\033[1XCyclotomic algebras\033[0X", "7.11", [ 7, 11, 0 ], 361, 42, 
      "cyclotomic algebras", "X8099A8C784255672" ], 
  [ "\033[1XNumerical description of cyclotomic algebras\033[0X", "7.12", 
      [ 7, 12, 0 ], 372, 42, "numerical description of cyclotomic algebras", 
      "X84A142407B7565E0" ], 
  [ "\033[1XIdempotents given by subgroups\033[0X", "7.13", [ 7, 13, 0 ], 
      438, 43, "idempotents given by subgroups", "X8310E96086509397" ], 
  [ "\033[1XShoda pairs\033[0X", "7.14", [ 7, 14, 0 ], 477, 43, 
      "shoda pairs", "X80C058BE81824B23" ], 
  [ "\033[1XStrong Shoda pairs\033[0X", "7.15", [ 7, 15, 0 ], 502, 43, 
      "strong shoda pairs", "X81DAF5267D30C83A" ], 
  [ "\033[1XStrongly monomial characters and strongly monomial groups\033[0X",
      "7.16", [ 7, 16, 0 ], 567, 44, 
      "strongly monomial characters and strongly monomial groups", 
      "X84C694978557EFE5" ], 
  [ "\033[1XCyclotomic Classes and Strong Shoda Pairs\033[0X", "7.17", 
      [ 7, 17, 0 ], 591, 45, "cyclotomic classes and strong shoda pairs", 
      "X800D8C5087D79DC8" ], 
  [ "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[5XWedderga\033[0m package", "-1", [ 0, 0, 1 ], 65, 2, 
      "wedderga package", "X7AA6C5737B711C89" ], 
  [ "\033[2XWedderburnDecomposition\033[0X", "2.1-1", [ 2, 1, 1 ], 7, 8, 
      "wedderburndecomposition", "X7F1779ED8777F3E7" ], 
  [ "\033[2XWedderburnDecompositionInfo\033[0X", "2.1-2", [ 2, 1, 2 ], 110, 
      9, "wedderburndecompositioninfo", "X8710F98A85F0DD29" ], 
  [ "\033[2XSimpleAlgebraByCharacter\033[0X", "2.2-1", [ 2, 2, 1 ], 339, 13, 
      "simplealgebrabycharacter", "X8349114C83161C2D" ], 
  [ "\033[2XSimpleAlgebraByCharacterInfo\033[0X", "2.2-2", [ 2, 2, 2 ], 367, 
      13, "simplealgebrabycharacterinfo", "X876FD2367E64462D" ], 
  [ "\033[2XSimpleAlgebraByStrongSP\033[0X (for rational group algebra)", 
      "2.2-3", [ 2, 2, 3 ], 397, 13, 
      "simplealgebrabystrongsp for rational group algebra", 
      "X812D667D7D913EB5" ], 
  [ "\033[2XSimpleAlgebraByStrongSPNC\033[0X (for rational group algebra)", 
      "2.2-3", [ 2, 2, 3 ], 397, 13, 
      "simplealgebrabystrongspnc for rational group algebra", 
      "X812D667D7D913EB5" ], 
  [ "\033[2XSimpleAlgebraByStrongSP\033[0X (for semisimple finite group algebr\
a)", "2.2-3", [ 2, 2, 3 ], 397, 13, 
      "simplealgebrabystrongsp for semisimple finite group algebra", 
      "X812D667D7D913EB5" ], 
  [ "\033[2XSimpleAlgebraByStrongSPNC\033[0X (for semisimple finite group alge\
bra)", "2.2-3", [ 2, 2, 3 ], 397, 13, 
      "simplealgebrabystrongspnc for semisimple finite group algebra", 
      "X812D667D7D913EB5" ], 
  [ "\033[2XSimpleAlgebraByStrongSPInfo\033[0X (for rational group algebra)", 
      "2.2-4", [ 2, 2, 4 ], 443, 14, 
      "simplealgebrabystrongspinfo for rational group algebra", 
      "X858152C882129A0B" ], 
  [ "\033[2XSimpleAlgebraByStrongSPInfoNC\033[0X (for rational group algebra)"
        , "2.2-4", [ 2, 2, 4 ], 443, 14, 
      "simplealgebrabystrongspinfonc for rational group algebra", 
      "X858152C882129A0B" ], 
  [ "\033[2XSimpleAlgebraByStrongSPInfo\033[0X (for semisimple finite group al\
gebra)", "2.2-4", [ 2, 2, 4 ], 443, 14, 
      "simplealgebrabystrongspinfo for semisimple finite group algebra", 
      "X858152C882129A0B" ], 
  [ "\033[2XSimpleAlgebraByStrongSPInfoNC\033[0X (for semisimple finite group \
algebra)", "2.2-4", [ 2, 2, 4 ], 443, 14, 
      "simplealgebrabystrongspinfonc for semisimple finite group algebra", 
      "X858152C882129A0B" ], 
  [ "\033[2XStrongShodaPairs\033[0X", "3.1-1", [ 3, 1, 1 ], 7, 16, 
      "strongshodapairs", "X820A398687A79B9D" ], 
  [ "\033[2XIsStrongShodaPair\033[0X", "3.2-1", [ 3, 2, 1 ], 45, 17, 
      "isstrongshodapair", "X7C17476F854F1E34" ], 
  [ "\033[2XIsShodaPair\033[0X", "3.2-2", [ 3, 2, 2 ], 69, 17, "isshodapair", 
      "X823B8DEC7ECC3326" ], 
  [ "\033[2XIsStronglyMonomial\033[0X", "3.2-3", [ 3, 2, 3 ], 93, 18, 
      "isstronglymonomial", "X80C4ED17809FC547" ], 
  [ "\033[2XPrimitiveCentralIdempotentsByCharacterTable\033[0X", "4.1-1", 
      [ 4, 1, 1 ], 7, 19, "primitivecentralidempotentsbycharactertable", 
      "X7BBEB4A084DBF0D6" ], 
  [ "\033[2XIsCompleteSetOfOrthogonalIdempotents\033[0X", "4.2-1", 
      [ 4, 2, 1 ], 40, 19, "iscompletesetoforthogonalidempotents", 
      "X81FCD27E812078F0" ], 
  [ "\033[2XPrimitiveCentralIdempotentsByStrongSP\033[0X", "4.3-1", 
      [ 4, 3, 1 ], 79, 20, "primitivecentralidempotentsbystrongsp", 
      "X7B48EE1A7ECAB151" ], 
  [ "\033[2XPrimitiveCentralIdempotentsBySP\033[0X", "4.3-2", [ 4, 3, 2 ], 
      124, 21, "primitivecentralidempotentsbysp", "X82460B1285A0A7D7" ], 
  [ "\033[2XCrossedProduct\033[0X", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "crossedproduct", "X797F31EF7B51A4DF" ], 
  [ "\033[10XIsCrossedProduct\033[0m", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "iscrossedproduct", "X797F31EF7B51A4DF" ], 
  [ "\033[10XLeftActingDomain\033[0m", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "leftactingdomain", "X797F31EF7B51A4DF" ], 
  [ "\033[10XUnderlyingMagma\033[0m", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "underlyingmagma", "X797F31EF7B51A4DF" ], 
  [ "\033[10XActionForCrossedProduct\033[0m", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "actionforcrossedproduct", "X797F31EF7B51A4DF" ], 
  [ "\033[10XTwistingForCrossedProduct\033[0m", "5.1-1", [ 5, 1, 1 ], 21, 23, 
      "twistingforcrossedproduct", "X797F31EF7B51A4DF" ], 
  [ "Quaternion algebra", "5.1-1", [ 5, 1, 1 ], 21, 23, "quaternion algebra", 
      "X797F31EF7B51A4DF" ], 
  [ "\033[2XElementOfCrossedProduct\033[0X", "5.2-1", [ 5, 2, 1 ], 397, 30, 
      "elementofcrossedproduct", "X7D2313AA82F1D5CC" ], 
  [ "\033[10XZeroCoefficient\033[0m", "5.2-1", [ 5, 2, 1 ], 397, 30, 
      "zerocoefficient", "X7D2313AA82F1D5CC" ], 
  [ "\033[10XIsElementOfCrossedProduct\033[0m", "5.2-1", [ 5, 2, 1 ], 397, 
      30, "iselementofcrossedproduct", "X7D2313AA82F1D5CC" ], 
  [ "\033[10XIsCrossedProductObjDefaultRep\033[0m", "5.2-1", [ 5, 2, 1 ], 
      397, 30, "iscrossedproductobjdefaultrep", "X7D2313AA82F1D5CC" ], 
  [ "CoefficientsAndMagmaElements", "5.2-1", [ 5, 2, 1 ], 397, 30, 
      "coefficientsandmagmaelements", "X7D2313AA82F1D5CC" ], 
  [ "\033[10XEmbedding\033[0m", "5.2-1", [ 5, 2, 1 ], 397, 30, "embedding", 
      "X7D2313AA82F1D5CC" ], 
  [ "\033[2XIsSemisimpleZeroCharacteristicGroupAlgebra\033[0X", "6.1-1", 
      [ 6, 1, 1 ], 7, 31, "issemisimplezerocharacteristicgroupalgebra", 
      "X7EF856E880722311" ], 
  [ "\033[2XIsSemisimpleRationalGroupAlgebra\033[0X", "6.1-2", [ 6, 1, 2 ], 
      33, 31, "issemisimplerationalgroupalgebra", "X85999B6A7C52E305" ], 
  [ "\033[2XIsSemisimpleANFGroupAlgebra\033[0X", "6.1-3", [ 6, 1, 3 ], 56, 
      32, "issemisimpleanfgroupalgebra", "X79289F7F7FC04846" ], 
  [ "\033[2XIsSemisimpleFiniteGroupAlgebra\033[0X", "6.1-4", [ 6, 1, 4 ], 74, 
      32, "issemisimplefinitegroupalgebra", "X7B546E2D7FB561BA" ], 
  [ "\033[2XCentralizer\033[0X", "6.2-1", [ 6, 2, 1 ], 101, 32, 
      "centralizer", "X7A2BF4527E08803C" ], 
  [ "\033[2XOnPoints\033[0X", "6.2-2", [ 6, 2, 2 ], 135, 33, "onpoints", 
      "X7FE417DD837987B4" ], 
  [ "\033[2X\\^\033[0X", "6.2-2", [ 6, 2, 2 ], 135, 33, "", 
      "X7FE417DD837987B4" ], 
  [ "\033[2XAverageSum\033[0X", "6.2-3", [ 6, 2, 3 ], 168, 34, "averagesum", 
      "X798CEA1F80D355EE" ], 
  [ "\033[2XCyclotomicClasses\033[0X", "6.3-1", [ 6, 3, 1 ], 208, 34, 
      "cyclotomicclasses", "X7D7BDF5087C8F4C6" ], 
  [ "\033[2XIsCyclotomicClass\033[0X", "6.3-2", [ 6, 3, 2 ], 228, 35, 
      "iscyclotomicclass", "X7FA101AE7BC33671" ], 
  [ "\033[2XInfoWedderga\033[0X", "6.4-1", [ 6, 4, 1 ], 252, 35, 
      "infowedderga", "X872510997A7AF31D" ], 
  [ "\033[2XWEDDERGABuildManual\033[0X", "6.4-2", [ 6, 4, 2 ], 275, 35, 
      "weddergabuildmanual", "X8176F6DA7C8C057D" ], 
  [ "\033[2XWEDDERGABuildManualHTML\033[0X", "6.4-3", [ 6, 4, 3 ], 287, 36, 
      "weddergabuildmanualhtml", "X7B530E317C4CB2EC" ], 
  [ "group ring", "7.1", [ 7, 1, 0 ], 15, 37, "group ring", 
      "X815ECCD97B18314B" ], 
  [ "group algebra", "7.1", [ 7, 1, 0 ], 15, 37, "group algebra", 
      "X815ECCD97B18314B" ], 
  [ "semisimple ring", "7.2", [ 7, 2, 0 ], 30, 37, "semisimple ring", 
      "X7FDD93FB79ADCC91" ], 
  [ "Wedderburn decomposition", "7.3", [ 7, 3, 0 ], 50, 37, 
      "wedderburn decomposition", "X87273420791F220E" ], 
  [ "Wedderburn components", "7.3", [ 7, 3, 0 ], 50, 37, 
      "wedderburn components", "X87273420791F220E" ], 
  [ "primitive central idempotent", "7.4", [ 7, 4, 0 ], 110, 38, 
      "primitive central idempotent", "X87B6505C7C2EE054" ], 
  [ "field of character values", "7.4", [ 7, 4, 0 ], 110, 38, 
      "field of character values", "X87B6505C7C2EE054" ], 
  [ "central simple algebra", "7.5", [ 7, 5, 0 ], 155, 39, 
      "central simple algebra", "X7A24D5407F72C633" ], 
  [ "(Brauer) equivalence", "7.5", [ 7, 5, 0 ], 155, 39, "brauer equivalence",
      "X7A24D5407F72C633" ], 
  [ "equivalence (Brauer)", "7.5", [ 7, 5, 0 ], 155, 39, "equivalence brauer",
      "X7A24D5407F72C633" ], 
  [ "Crossed Product", "7.6", [ 7, 6, 0 ], 169, 39, "crossed product", 
      "X7FB21779832CE1CB" ], 
  [ "Basis of units (for crossed product)", "7.6", [ 7, 6, 0 ], 169, 39, 
      "basis of units for crossed product", "X7FB21779832CE1CB" ], 
  [ "Cyclic Crossed Product", "7.7", [ 7, 7, 0 ], 250, 40, 
      "cyclic crossed product", "X828C42CD86AF605F" ], 
  [ "Abelian Crossed Product", "7.8", [ 7, 8, 0 ], 285, 41, 
      "abelian crossed product", "X7869E2A48784C232" ], 
  [ "Classical Crossed Product", "7.9", [ 7, 9, 0 ], 336, 41, 
      "classical crossed product", "X80BABE5078A29793" ], 
  [ "Cyclic Algebra", "7.10", [ 7, 10, 0 ], 345, 41, "cyclic algebra", 
      "X84C98BB8859BBEE2" ], 
  [ "Cyclotomic algebra", "7.11", [ 7, 11, 0 ], 361, 42, "cyclotomic algebra",
      "X8099A8C784255672" ], 
  [ "varepsilon(K,H)", "7.13", [ 7, 13, 0 ], 438, 43, "varepsilon k h", 
      "X8310E96086509397" ], 
  [ "e(G,K,H)", "7.13", [ 7, 13, 0 ], 438, 43, "e g k h", "X8310E96086509397" 
     ], 
  [ "e_C(G,K,H)", "7.13", [ 7, 13, 0 ], 438, 43, "e_c g k h", "X8310E960865093\
97" ], 
  [ "Shoda pair", "7.14", [ 7, 14, 0 ], 477, 43, "shoda pair", "X80C058BE81824\
B23" ], [ "primitive central idempotent realized by a Shoda pair", "7.14", 
      [ 7, 14, 0 ], 477, 43, 
      "primitive central idempotent realized by a shoda pair", 
      "X80C058BE81824B23" ], 
  [ "strong Shoda pair", "7.15", [ 7, 15, 0 ], 502, 43, "strong shoda pair", 
      "X81DAF5267D30C83A" ], 
  [ "equivalent strong Shoda pairs", "7.15", [ 7, 15, 0 ], 502, 43, 
      "equivalent strong shoda pairs", "X81DAF5267D30C83A" ], 
  [ "strongly monomial character", "7.16", [ 7, 16, 0 ], 567, 44, 
      "strongly monomial character", "X84C694978557EFE5" ], 
  [ "strongly monomial group", "7.16", [ 7, 16, 0 ], 567, 44, 
      "strongly monomial group", "X84C694978557EFE5" ], 
  [ "cyclotomic class", "7.17", [ 7, 17, 0 ], 591, 45, "cyclotomic class", 
      "X800D8C5087D79DC8" ], 
  [ "generating cyclotomic class", "7.17", [ 7, 17, 0 ], 591, 45, 
      "generating cyclotomic class", "X800D8C5087D79DC8" ], 
  [ "primitive central idempotent realized by a strong Shoda pair and a cyclot\
omic class", "7.17", [ 7, 17, 0 ], 591, 45, 
      "primitive central idempotent realized by a strong shoda pair and a cycl\
otomic class", "X800D8C5087D79DC8" ] ]
);
