Documentation

maximal
- Creation of Maximal Orders (QUATERNION ALGEBRAS)
- Maximal Order (GENERAL p-ADIC EXTENSIONS)
maximal-order
- Maximal Order (GENERAL p-ADIC EXTENSIONS)
maximal_orders
- Maximal Orders (NUMBER FIELDS AND ORDERS)
- Maximal Orders (NUMBER FIELDS)
MaximalAbelianSubfield
- MaximalAbelianSubfield(K) : FldFunG -> FldFunAb
- MaximalAbelianSubfield(M) : RngOrd -> FldAb
MaximalCommutativeSubalgebra
- MaximalCommutativeSubalgebra(A,S) : AlgBas, SeqEnum -> AlgBas, Map
MaximalExtension
- MaximalExtension(~M, N) : ModGrp, ModGrp ->
- MaximalExtension(M, N) : ModGrp, ModGrp -> ModGrp
- MaximalExtension(M, N, E, r) : ModGrp, ModGrp, ModTupFld, map -> ModGrp
MaximalIdeals
- MaximalIdeals(L : parameters) : AlgLie -> [ AlgLie ], BoolElt
- MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
MaximalIdempotent
- MaximalIdempotent(A, S) : AlgBas, SeqEnum -> AlgBasElt
MaximalIncreasingSequence
- MaximalIncreasingSequence(w) : MonOrdElt -> RngIntElt
MaximalIncreasingSequences
- MaximalIncreasingSequences(w, k) : SeqEnum,RngIntElt -> RngIntElt
MaximalIntegerSolution
- MaximalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalIntegralLattice
- MaximalIntegralLattice(L) : LatNF -> LatNF
- MaximalIntegralLattice(Q) : Mtrx -> LatNF
MaximalLeftIdeals
- MaximalRightIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
MaximalNormalSubgroup
- MaximalNormalSubgroup(G) : GrpPerm -> GrpPerm
MaximalNormSplitting
- MaximalNormSplitting(L, p) : LatNF, RngOrdIdl -> SeqEnum, List
MaximalNumberOfCosets
- MaximalNumberOfCosets(P) : GrpFPCosetEnumProc -> RngIntElt
MaximalOrder
- MaximalOrder(O) : AlgAssVOrd[RngInt] -> AlgAssVOrd
- MaximalOrder(O) : AlgAssVOrd[RngUPol] -> AlgAssVOrd
- MaximalOrder(A) : AlgAssV[FldAlg] -> AlgAssVOrd
- MaximalOrder(A) : AlgAssV[FldRat] -> AlgAssVOrd
- MaximalOrder(O) : AlgQuatOrd -> AlgQuat
- MaximalOrder(A) : AlgQuat[FldRat] -> AlgQuatOrd
- MaximalOrder(A) : FldAb -> RngOrd
- MaximalOrder(F) : FldNum -> RngOrd
- MaximalOrder(F) : FldQuad -> RngQuad
- MaximalOrder(Q) : FldRat -> RngInt
- MaximalOrder(O) : RngFunOrd -> RngFunOrd
- MaximalOrder(O) : RngOrd -> RngOrd
- MaximalOrder(f) : RngUPolElt -> RngOrd
MaximalOrderFinite
- MaximalOrderFinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(F) : FldFun -> RngFunOrd
- MaximalOrderFinite(A) : FldFunAb -> RngFunOrd
- MaximalOrderFinite(u) : RngWittElt -> RngFunOrd
MaximalOrderInfinite
- MaximalOrderInfinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(A) : FldFunAb -> RngFunOrd
- MaximalOrderFinite(u) : RngWittElt -> RngFunOrd
- MaximalOrderInfinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderInfinite(F) : FldFun -> RngFunOrd
MaximalOrders
- MaximalOrders(u) : RngWittElt -> RngFunOrd, RngFunOrd
MaximalOvergroup
- MaximalOvergroup(G, H) : GrpFP, GrpFP -> GrpFP
MaximalParabolics
- MaximalParabolics(C) : CosetGeom -> SetIndx
- MaxParabolics(C) : CosetGeom -> SetIndx
MaximalPartition
- MaximalPartition(G) : GrpPerm -> GSet
MaximalRightIdeals
- MaximalRightIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
Maximals
- ClassicalMaximals(type, d, q : parameters) : MonStgElt, RngIntElt, RngIntElt -> SeqEnum
- G2Maximals(q) : RngIntElt -> SeqEnum
- ReeMaximals(q) : RngIntElt -> SeqEnum
- SzMaximals(q) : RngIntElt -> SeqEnum
- GrpPerm_Maximals (Example H64E18)
maximals
- Conjugacy Classes of Subgroups (MATRIX GROUPS OVER GENERAL RINGS)
- Conjugacy Classes of Subgroups (PERMUTATION GROUPS)
- Maximal Subgroups (PERMUTATION GROUPS)
- Maximal Subgroups of the Classical Groups (ALMOST SIMPLE GROUPS)
- Maximal Subgroups of the Exceptional Groups (ALMOST SIMPLE GROUPS)
MaximalSolution
- MaximalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalSubfields
- MaximalSubfields(e) : SubFldLatElt -> [ SubFldLatElt ]
MaximalSubgroups
- MaximalSubgroups(G) : GrpAb -> [GrpAb]
- MaximalSubgroups(G) : GrpPC -> [GrpPC]
- MaximalSubgroups(G) : MonStgElt -> SeqEnum[MonStgElt]
- MaximalSubgroups(G, str : parameters) : Grp, MonStgElt -> BoolElt, SeqEnum, SeqEnum
- MaximalSubgroups(G: parameters) : GrpMat -> [ rec< GrpMat, RngIntElt, RngIntElt, GrpFP> ]
- MaximalSubgroups(G,N: parameters) : GrpMat, GrpMat -> [ rec< GrpMat, RngIntElt, RngIntElt, GrpFP> ]
- MaximalSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
- MaximalSubgroups(G,N: parameters) : GrpPerm, GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
- MaximalSubgroups(e) : SubGrpLatElt -> { SubGrpLatElt }
MaximalSubgroupsData
- MaximalSubgroupsData (str : parameters) : MonStgElt -> SeqEnum

V2.28, 13 July 2023

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