\GAPDocLabFile{wedderga}
\makelabel{wedderga:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{wedderga:Abstract}{}{X7AA6C5737B711C89}
\makelabel{wedderga:Copyright}{}{X81488B807F2A1CF1}
\makelabel{wedderga:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{wedderga:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{wedderga:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{wedderga:General aims of Wedderga package}{1.1}{X7D83783F79DCABB9}
\makelabel{wedderga:Installation and system requirements}{1.2}{X7DB566D5785B7DBC}
\makelabel{wedderga:Main functions of Wedderga package}{1.3}{X7D7B9D0D80A6B7F3}
\makelabel{wedderga:Wedderburn decomposition}{2}{X87273420791F220E}
\makelabel{wedderga:Wedderburn decomposition of a group algebra}{2.1}{X7C902C667D137851}
\makelabel{wedderga:Simple quotients}{2.2}{X7D06959F7D444C55}
\makelabel{wedderga:Strong Shoda pairs}{3}{X81DAF5267D30C83A}
\makelabel{wedderga:Computing strong Shoda pairs}{3.1}{X807C74B07C4B99AF}
\makelabel{wedderga:Properties related with Shoda pairs}{3.2}{X7B49C1BC834E57E3}
\makelabel{wedderga:Idempotents}{4}{X7C651C9C78398FFF}
\makelabel{wedderga:Computing idempotents from character table}{4.1}{X7DF49142844C278D}
\makelabel{wedderga:Testing lists of idempotents for completeness}{4.2}{X83F7CF1E87D02581}
\makelabel{wedderga:Idempotents from Shoda pairs}{4.3}{X7C66102485AF5F80}
\makelabel{wedderga:Complete set of orthogonal primitive idempotents from Shoda pairs and cyclotomic classes}{4.4}{X8577F9547FC58C4C}
\makelabel{wedderga:Crossed products and their elements}{5}{X812A5A097EADEB5E}
\makelabel{wedderga:Construction of crossed products}{5.1}{X79122C7F877430A7}
\makelabel{wedderga:Crossed product elements and their properties}{5.2}{X8560A2F37B608A9F}
\makelabel{wedderga:Useful properties and functions}{6}{X7D3C0B1F7A66056F}
\makelabel{wedderga:Semisimple group algebras of finite groups}{6.1}{X7BA5D68A86B8C772}
\makelabel{wedderga:Operations with group rings elements}{6.2}{X86121BD77F7E5C7A}
\makelabel{wedderga:Cyclotomic classes}{6.3}{X7AAB3882785C04E0}
\makelabel{wedderga:Other commands}{6.4}{X7B16423A7FBED034}
\makelabel{wedderga:Functions for calculating Schur indices and identifying division algebras}{7}{X7B5D5E628144C0A2}
\makelabel{wedderga:Main Schur Index and Division Algebra Functions}{7.1}{X7802E175859EEB53}
\makelabel{wedderga:Cyclotomic Reciprocity Functions}{7.2}{X81198A8B7C19978A}
\makelabel{wedderga:Local index functions for Cyclic Cyclotomic Algebras}{7.3}{X8405EF4D8264030A}
\makelabel{wedderga:Local index functions for Non-Cyclic Cyclotomic Algebras}{7.4}{X85FBEBDA787CD61E}
\makelabel{wedderga:Local index functions for Rational Quaternion Algebras}{7.5}{X82E9840B843D666E}
\makelabel{wedderga:Functions involving Cyclic Algebras}{7.6}{X8164EAE07A90DB11}
\makelabel{wedderga:Applications of the Wedderga package}{8}{X83FD4D318127261B}
\makelabel{wedderga:Coding theory applications}{8.1}{X8582FB957C58DFB3}
\makelabel{wedderga:The basic theory behind Wedderga}{9}{X8487E7AD7D6B2EA5}
\makelabel{wedderga:Group rings and group algebras}{9.1}{X815ECCD97B18314B}
\makelabel{wedderga:Semisimple group algebras}{9.2}{X7FDD93FB79ADCC91}
\makelabel{wedderga:Wedderburn components}{9.3}{X84BB4A6081EAE905}
\makelabel{wedderga:Characters and primitive central idempotents}{9.4}{X87B6505C7C2EE054}
\makelabel{wedderga:Central simple algebras and Brauer equivalence}{9.5}{X7A24D5407F72C633}
\makelabel{wedderga:Crossed Products}{9.6}{X7FB21779832CE1CB}
\makelabel{wedderga:Cyclic Crossed Products}{9.7}{X828C42CD86AF605F}
\makelabel{wedderga:Abelian Crossed Products}{9.8}{X7869E2A48784C232}
\makelabel{wedderga:Classical crossed products}{9.9}{X80BABE5078A29793}
\makelabel{wedderga:Cyclic Algebras}{9.10}{X84C98BB8859BBEE2}
\makelabel{wedderga:Cyclotomic algebras}{9.11}{X8099A8C784255672}
\makelabel{wedderga:Numerical description of cyclotomic algebras}{9.12}{X84A142407B7565E0}
\makelabel{wedderga:Idempotents given by subgroups}{9.13}{X8310E96086509397}
\makelabel{wedderga:Shoda pairs of a group}{9.14}{X7D518BAB80EDE190}
\makelabel{wedderga:Strong Shoda pairs of a group}{9.15}{X7E3479527BAE5B9E}
\makelabel{wedderga:Strongly monomial characters and strongly monomial groups}{9.16}{X84C694978557EFE5}
\makelabel{wedderga:Cyclotomic Classes and Strong Shoda Pairs}{9.17}{X800D8C5087D79DC8}
\makelabel{wedderga:Theory for Local Schur Index and Division Algebra Part Calculations}{9.18}{X803562E087325AF6}
\makelabel{wedderga:Obtaining Algebras with structure constants as terms of the Wedderburn decomposition}{9.19}{X7B18AF347AE68020}
\makelabel{wedderga:A complete set of orthogonal primitive idempotents}{9.20}{X8472ACCF802EC188}
\makelabel{wedderga:Applications to coding theory}{9.21}{X856D7975810BF987}
\makelabel{wedderga:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{wedderga:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{wedderga:Index}{Ind}{X83A0356F839C696F}
\makelabel{wedderga:Wedderga package}{}{X7AA6C5737B711C89}
\makelabel{wedderga:WedderburnDecomposition}{2.1.1}{X7F1779ED8777F3E7}
\makelabel{wedderga:WedderburnDecompositionInfo}{2.1.2}{X8710F98A85F0DD29}
\makelabel{wedderga:SimpleAlgebraByCharacter}{2.2.1}{X8349114C83161C2D}
\makelabel{wedderga:SimpleAlgebraByCharacterInfo}{2.2.2}{X876FD2367E64462D}
\makelabel{wedderga:SimpleAlgebraByStrongSP (for rational group algebra)}{2.2.3}{X812D667D7D913EB5}
\makelabel{wedderga:SimpleAlgebraByStrongSPNC (for rational group algebra)}{2.2.3}{X812D667D7D913EB5}
\makelabel{wedderga:SimpleAlgebraByStrongSP (for semisimple finite group algebra)}{2.2.3}{X812D667D7D913EB5}
\makelabel{wedderga:SimpleAlgebraByStrongSPNC (for semisimple finite group algebra)}{2.2.3}{X812D667D7D913EB5}
\makelabel{wedderga:SimpleAlgebraByStrongSPInfo (for rational group algebra)}{2.2.4}{X858152C882129A0B}
\makelabel{wedderga:SimpleAlgebraByStrongSPInfoNC (for rational group algebra)}{2.2.4}{X858152C882129A0B}
\makelabel{wedderga:SimpleAlgebraByStrongSPInfo (for semisimple finite group algebra)}{2.2.4}{X858152C882129A0B}
\makelabel{wedderga:SimpleAlgebraByStrongSPInfoNC (for semisimple finite group algebra)}{2.2.4}{X858152C882129A0B}
\makelabel{wedderga:StrongShodaPairs}{3.1.1}{X820A398687A79B9D}
\makelabel{wedderga:IsStrongShodaPair}{3.2.1}{X7C17476F854F1E34}
\makelabel{wedderga:IsShodaPair}{3.2.2}{X823B8DEC7ECC3326}
\makelabel{wedderga:IsStronglyMonomial}{3.2.3}{X80C4ED17809FC547}
\makelabel{wedderga:PrimitiveCentralIdempotentsByCharacterTable}{4.1.1}{X7BBEB4A084DBF0D6}
\makelabel{wedderga:IsCompleteSetOfOrthogonalIdempotents}{4.2.1}{X81FCD27E812078F0}
\makelabel{wedderga:PrimitiveCentralIdempotentsByStrongSP}{4.3.1}{X7B48EE1A7ECAB151}
\makelabel{wedderga:PrimitiveCentralIdempotentsBySP}{4.3.2}{X82460B1285A0A7D7}
\makelabel{wedderga:PrimitiveIdempotentsNilpotent}{4.4.1}{X7E95CDF17C4D54DB}
\makelabel{wedderga:PrimitiveIdempotentsTrivialTwisting}{4.4.2}{X8784570980B9B750}
\makelabel{wedderga:CrossedProduct}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:IsCrossedProduct}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:LeftActingDomain}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:UnderlyingMagma}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:ActionForCrossedProduct}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:TwistingForCrossedProduct}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:Quaternion algebra}{5.1.1}{X797F31EF7B51A4DF}
\makelabel{wedderga:ElementOfCrossedProduct}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:ZeroCoefficient}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:IsElementOfCrossedProduct}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:IsCrossedProductObjDefaultRep}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:CoefficientsAndMagmaElements}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:Embedding}{5.2.1}{X7D2313AA82F1D5CC}
\makelabel{wedderga:IsSemisimpleZeroCharacteristicGroupAlgebra}{6.1.1}{X7EF856E880722311}
\makelabel{wedderga:IsSemisimpleRationalGroupAlgebra}{6.1.2}{X85999B6A7C52E305}
\makelabel{wedderga:IsSemisimpleANFGroupAlgebra}{6.1.3}{X79289F7F7FC04846}
\makelabel{wedderga:IsSemisimpleFiniteGroupAlgebra}{6.1.4}{X7B546E2D7FB561BA}
\makelabel{wedderga:IsTwistingTrivial}{6.1.5}{X8337F25387C53B02}
\makelabel{wedderga:Centralizer}{6.2.1}{X7A2BF4527E08803C}
\makelabel{wedderga:OnPoints}{6.2.2}{X7FE417DD837987B4}
\makelabel{wedderga:AverageSum}{6.2.3}{X798CEA1F80D355EE}
\makelabel{wedderga:CyclotomicClasses}{6.3.1}{X7D7BDF5087C8F4C6}
\makelabel{wedderga:IsCyclotomicClass}{6.3.2}{X7FA101AE7BC33671}
\makelabel{wedderga:InfoWedderga}{6.4.1}{X872510997A7AF31D}
\makelabel{wedderga:WedderburnDecompositionWithDivAlgParts}{7.1.1}{X854DF62880C118B8}
\makelabel{wedderga:CyclotomicAlgebraWithDivAlgPart}{7.1.2}{X83BC82867BE66A0B}
\makelabel{wedderga:SchurIndex}{7.1.3}{X7D065D65858428A6}
\makelabel{wedderga:SchurIndexByCharacter}{7.1.3}{X7D065D65858428A6}
\makelabel{wedderga:WedderburnDecompositionAsSCAlgebras}{7.1.4}{X860975A4792E119D}
\makelabel{wedderga:CyclotomicAlgebraAsSCAlgebra}{7.1.4}{X860975A4792E119D}
\makelabel{wedderga:SimpleComponentByCharacterAsSCAlgebra}{7.1.4}{X860975A4792E119D}
\makelabel{wedderga:PPartOfN}{7.2.1}{X78482C2B7959526E}
\makelabel{wedderga:PDashPartOfN}{7.2.1}{X78482C2B7959526E}
\makelabel{wedderga:PSplitSubextension}{7.2.2}{X7F4F73E887C96737}
\makelabel{wedderga:SplittingDegreeAtP}{7.2.3}{X7845830082B7C723}
\makelabel{wedderga:ResidueDegreeAtP}{7.2.3}{X7845830082B7C723}
\makelabel{wedderga:RamificationIndexAtP}{7.2.3}{X7845830082B7C723}
\makelabel{wedderga:LocalIndicesOfCyclicCyclotomicAlgebra}{7.3.1}{X8780F8E87B6EC023}
\makelabel{wedderga:LocalIndexAtInfty}{7.3.2}{X78588B587AEDD22F}
\makelabel{wedderga:LocalIndexAtTwo}{7.3.2}{X78588B587AEDD22F}
\makelabel{wedderga:LocalIndexAtOddP}{7.3.2}{X78588B587AEDD22F}
\makelabel{wedderga:LocalIndicesOfCyclotomicAlgebra}{7.4.1}{X798DCABC8228F2DE}
\makelabel{wedderga:RootOfDimensionOfCyclotomicAlgebra}{7.4.2}{X86AE281C7C69E42C}
\makelabel{wedderga:DefiningGroupOfCyclotomicAlgebra}{7.4.3}{X7F33FE4F7E029BF7}
\makelabel{wedderga:DefiningCharacterOfCyclotomicAlgebra}{7.4.3}{X7F33FE4F7E029BF7}
\makelabel{wedderga:SimpleComponentOfGroupRingByCharacter}{7.4.3}{X7F33FE4F7E029BF7}
\makelabel{wedderga:LocalIndexAtInftyByCharacter}{7.4.4}{X8656B34387EC74EF}
\makelabel{wedderga:DefectGroupOfConjugacyClassAtP}{7.4.5}{X7A3FB2D9846974CD}
\makelabel{wedderga:DefectGroupsOfPBlock}{7.4.5}{X7A3FB2D9846974CD}
\makelabel{wedderga:DefectOfCharacterAtP}{7.4.5}{X7A3FB2D9846974CD}
\makelabel{wedderga:LocalIndexAtPByBrauerCharacter}{7.4.6}{X80D1046284577B32}
\makelabel{wedderga:FinFieldExt}{7.4.6}{X80D1046284577B32}
\makelabel{wedderga:LocalIndexAtOddPByCharacter}{7.4.7}{X82A979548619CB85}
\makelabel{wedderga:LocalIndexAtTwoByCharacter}{7.4.7}{X82A979548619CB85}
\makelabel{wedderga:IsDyadicSchurGroup}{7.4.7}{X82A979548619CB85}
\makelabel{wedderga:LocalIndicesOfRationalQuaternionAlgebra}{7.5.1}{X78E6B3807EDDE82E}
\makelabel{wedderga:LocalIndicesOfRationalSymbolAlgebra}{7.5.1}{X78E6B3807EDDE82E}
\makelabel{wedderga:LocalIndicesOfTensorProductOfQuadraticAlgs}{7.5.1}{X78E6B3807EDDE82E}
\makelabel{wedderga:GlobalSchurIndexFromLocalIndices}{7.5.1}{X78E6B3807EDDE82E}
\makelabel{wedderga:IsRationalQuaternionAlgebraADivisionRing}{7.5.2}{X79071DD8853678C0}
\makelabel{wedderga:DecomposeCyclotomicAlgebra}{7.6.1}{X8671E3BD788B709F}
\makelabel{wedderga:ConvertCyclicAlgToCyclicCyclotomicAlg}{7.6.2}{X8129F9307969D473}
\makelabel{wedderga:ConvertQuadraticAlgToQuaternionAlg}{7.6.2}{X8129F9307969D473}
\makelabel{wedderga:ConvertQuaternionAlgToQuadraticAlg}{7.6.3}{X81FAC27A829D5FF9}
\makelabel{wedderga:ConvertCyclicCyclotomicAlgToCyclicAlg}{7.6.3}{X81FAC27A829D5FF9}
\makelabel{wedderga:CodeWordByGroupRingElement}{8.1.1}{X7AE55D3C7BFCF3A9}
\makelabel{wedderga:CodeByLeftIdeal}{8.1.2}{X7C8BBBDB78A1678E}
\makelabel{wedderga:group ring}{9.1}{X815ECCD97B18314B}
\makelabel{wedderga:group algebra}{9.1}{X815ECCD97B18314B}
\makelabel{wedderga:semisimple ring}{9.2}{X7FDD93FB79ADCC91}
\makelabel{wedderga:Wedderburn decomposition}{9.3}{X84BB4A6081EAE905}
\makelabel{wedderga:Wedderburn components}{9.3}{X84BB4A6081EAE905}
\makelabel{wedderga:primitive central idempotent}{9.4}{X87B6505C7C2EE054}
\makelabel{wedderga:field of character values}{9.4}{X87B6505C7C2EE054}
\makelabel{wedderga:central simple algebra}{9.5}{X7A24D5407F72C633}
\makelabel{wedderga:(Brauer) equivalence}{9.5}{X7A24D5407F72C633}
\makelabel{wedderga:equivalence (Brauer)}{9.5}{X7A24D5407F72C633}
\makelabel{wedderga:Crossed Product}{9.6}{X7FB21779832CE1CB}
\makelabel{wedderga:Basis of units (for crossed product)}{9.6}{X7FB21779832CE1CB}
\makelabel{wedderga:Cyclic Crossed Product}{9.7}{X828C42CD86AF605F}
\makelabel{wedderga:Abelian Crossed Product}{9.8}{X7869E2A48784C232}
\makelabel{wedderga:Classical Crossed Product}{9.9}{X80BABE5078A29793}
\makelabel{wedderga:Cyclic Algebra}{9.10}{X84C98BB8859BBEE2}
\makelabel{wedderga:Cyclotomic algebra}{9.11}{X8099A8C784255672}
\makelabel{wedderga:ε(K,H)}{9.13}{X8310E96086509397}
\makelabel{wedderga:e(G,K,H)}{9.13}{X8310E96086509397}
\makelabel{wedderga:eC(G,K,H)}{9.13}{X8310E96086509397}
\makelabel{wedderga:Shoda pair}{9.14}{X7D518BAB80EDE190}
\makelabel{wedderga:primitive central idempotent realized by a Shoda pair}{9.14}{X7D518BAB80EDE190}
\makelabel{wedderga:strong Shoda pair}{9.15}{X7E3479527BAE5B9E}
\makelabel{wedderga:equivalent strong Shoda pairs}{9.15}{X7E3479527BAE5B9E}
\makelabel{wedderga:strongly monomial character}{9.16}{X84C694978557EFE5}
\makelabel{wedderga:strongly monomial group}{9.16}{X84C694978557EFE5}
\makelabel{wedderga:cyclotomic class}{9.17}{X800D8C5087D79DC8}
\makelabel{wedderga:generating cyclotomic class}{9.17}{X800D8C5087D79DC8}
\makelabel{wedderga:primitive central idempotent realized by a strong Shoda pair and a cyclotomic class}{9.17}{X800D8C5087D79DC8}
\makelabel{wedderga:Complete set of orthogonal primitive idempotents}{9.20}{X8472ACCF802EC188}
\makelabel{wedderga:linear code}{9.21}{X856D7975810BF987}
\makelabel{wedderga:group code}{9.21}{X856D7975810BF987}
