Documentation

classes
- Conjugacy Classes of Subgroups (FINITE SOLUBLE GROUPS)
- Conjugacy Classes of Subgroups (GROUPS)
- Enumeration of Ideal Classes (QUATERNION ALGEBRAS)
Classes-2
- GrpPerm_Classes-2 (Example H64E13)
ClassesData
- ClassesData(R) : AlgChtr -> SeqEnum[Tup]
- ClassesData(G: parameters) : GrpFin -> [ <RngIntElt, RngIntElt> ]
ClassesForFixedSemisimple
- ClassesForFixedSemisimple(G,x) : GrpMat, GrpMatElt -> SeqEnum, SetIndx
ClassField
- ClassField(m, G) : Map, GrpAb -> FldAb
classfield-characters
- FldAb_classfield-characters (Example H41E7)
classfield-structures
- FldFunAb_classfield-structures (Example H46E1)
classfields
- FldFunAb_classfields (Example H46E2)
classfields2
- FldFunAb_classfields2 (Example H46E3)
ClassFunctionSpace
- CharacterRing(G) : Grp -> AlgChtr
- ClassFunctionSpace(G) : Grp -> AlgChtr
- ClassFunctionSpace(Q) : SeqEnum -> AlgChtr
ClassGroup
- ClassGroup(C) : Crv[FldFin] -> GrpAb, Map, Map
- ClassGroup(K) : FldQuad -> GrpAb, Map
- ClassGroup(Q) : FldRat -> GrpAb, Map
- ClassGroup(F : parameters) : FldFun -> GrpAb, Map, Map
- ClassGroup(F : parameters) : FldFunG -> GrpAb, Map, Map
- ClassGroup(Q: parameters) : QuadBin -> GrpAb, Map
- ClassGroup(O: parameters) : RngOrd -> GrpAb, Map
- ClassGroup(O) : RngFunOrd -> GrpAb, Map, Map
- ClassGroup(Z) : RngInt -> GrpAb, Map
- RngOrd_ClassGroup (Example H39E18)
classgroup
- Ideal Class Group of Algebraic Number Fields (PARALLELISM)
ClassGroupAbelianInvariants
- ClassGroupAbelianInvariants(C) : Crv[FldFin] -> [RngIntElt]
- ClassGroupAbelianInvariants(F : parameters) : FldFun -> SeqEnum
- ClassGroupAbelianInvariants(F : parameters) : FldFunG -> SeqEnum
- ClassGroupAbelianInvariants(O) : RngFunOrd -> SeqEnum
ClassGroupCyclicFactorGenerators
- ClassGroupCyclicFactorGenerators(O) : RngOrd -> ModHomElt
ClassGroupExactSequence
- ClassGroupExactSequence(F) : FldFunG -> Map, Map, Map
- ClassGroupExactSequence(O) : RngFunOrd -> Map, Map, Map
ClassGroupGenerationBound
- ClassGroupGenerationBound(F) : FldFunG -> RngIntElt
- ClassGroupGenerationBound(q, g) : RngIntElt, RngIntElt -> RngIntElt
ClassGroupGetUseMemory
- ClassGroupSetUseMemory(O, f) : RngOrd, BoolElt ->
- ClassGroupGetUseMemory(O) : RngOrd -> BoolElt
ClassGroupPRank
- ClassGroupPRank(C) : Crv[FldFin] -> RngIntElt
- ClassGroupPRank(F) : FldFunG -> RngIntElt
- ClassGroupPRank(F) : FldFunG -> RngIntElt
ClassGroupPrimeRepresentatives
- ClassGroupPrimeRepresentatives(O, I) : RngOrd, RngOrdIdl -> Map
ClassGroupSetUseMemory
- ClassGroupSetUseMemory(O, f) : RngOrd, BoolElt ->
- ClassGroupGetUseMemory(O) : RngOrd -> BoolElt
ClassGroupStructure
- ClassGroupStructure(Q: parameters) : QuadBin -> [ RngIntElt ]
ClassGroupUnitGroup
- FldNum_ClassGroupUnitGroup (Example H36E13)
Classical
- ClassicalCentraliserOrder(G,g) : GrpMat, GrpMatElt -> RngIntEltFact
- ClassicalCentralizer(G,g) : GrpMat, GrpMatElt -> GrpMat
- ClassicalChangeOfBasis(G): GrpMat[FldFin] -> GrpMatElt[FldFin]
- ClassicalClassMap(G) : GrpMat -> Map
- ClassicalClassSize(G,g) : GrpMat, GrpMatElt -> RngIntElt
- ClassicalConjugacyClasses(G) : GrpMat -> SeqEnum, SetIndx
- ClassicalConjugacyClasses(type,d,q) : MonStgElt, RngIntElt, RngIntElt -> SeqEnum, SetIndx
- ClassicalConstructiveRecognition(G, type, d, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- ClassicalCovariantsOfCubicSurface(f) : RngMPolElt -> SeqEnum
- ClassicalForms(G: parameters): GrpMat -> Rec
- ClassicalGroupType(G) : GrpMat -> BoolElt, MonStgElt
- ClassicalIntersection(S) : SeqEnum -> GrpMat
- ClassicalIsConjugate(G,g,h) : GrpMat, GrpMatElt, GrpMatElt -> BoolElt, GrpMatElt
- ClassicalMaximals(type, d, q : parameters) : MonStgElt, RngIntElt, RngIntElt -> SeqEnum
- ClassicalModularPolynomial(N) : RngIntElt -> RngMPolElt
- ClassicalPeriod(M, j, prec) : ModSym, RngIntElt, RngIntElt -> FldPrElt
- ClassicalRewrite(G, gens, type, dim, q, g : parameters): Grp, SeqEnum, MonStgElt, RngIntElt, RngIntElt, GrpElt -> BoolElt, GrpElt
- ClassicalRewriteNatural(type, CB, g): MonStgElt, GrpMatElt, GrpMatElt-> BoolElt, GrpElt
- ClassicalStandardGenerators(type, d, q) : MonStgElt, RngIntElt, RngIntElt -> []
- ClassicalStandardPresentation (type, d, q : parameters) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
- ClassicalSylow(G,p) : GrpMat, RngIntElt -> GrpMat
- ClassicalSylowConjugation(G,P,S) : GrpMat, GrpMat, GrpMat -> GrpMatElt
- ClassicalSylowNormaliser(G,P) : GrpMat, GrpMat -> GrpMatElt
- ClassicalSylowToPC(G,P) : GrpMat, GrpMat -> GrpPC, UserProgram, Map
- ClassicalType(G) : GrpMat -> MonStgElt
- InvolutionClassicalGroupEven(G : parameters) : GrpMat[FldFin] ->GrpMatElt[FldFin], GrpSLPElt, RngIntElt
- IsClassicalType(L) : AlgLie -> BoolElt
- ProjectiveClassicalClasses(type,d,q) : MonStgElt, RngIntElt, RngIntElt -> SeqEnum, GrpPerm, HomGrp, SeqEnum
- RecogniseClassicalSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
- RecognizeClassical(G : parameters): GrpMat -> BoolElt
classical
- Automorphisms of Classical- type Reductive Algebras (LIE ALGEBRAS)
- Classical Groups (ALMOST SIMPLE GROUPS)
- Classical Groups (POLAR SPACES)
- Conjugacy in Classical Groups (MATRIX GROUPS OVER GENERAL RINGS)
- Constructive Recognition for Simple Groups (MATRIX GROUPS OVER FINITE FIELDS)
- Constructive Recognition for Classical Groups (MATRIX GROUPS OVER FINITE FIELDS)
- Maximal Subgroups of the Classical Groups (ALMOST SIMPLE GROUPS)
- Recognition Of Classical Groups in Low Degree (ALMOST SIMPLE GROUPS)
- Sylow Subgroups of the Classical Groups (ALMOST SIMPLE GROUPS)

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.