- max_ord
- max_ord_alg
- max_order
- MaxCones
- Maxdeg
- Maximal
- IsMaximal(O) : AlgAssVOrd -> BoolElt
- IsMaximal(G, H) : GrpAb, GrpAb -> BoolElt
- IsMaximal(G, H) : GrpFin, GrpFin -> BoolElt
- IsMaximal(G, H) : GrpFP, GrpFP -> BoolElt
- IsMaximal(G, H) : GrpMat, GrpMat -> BoolElt
- IsMaximal(G, H) : GrpPC, GrpPC -> BoolElt
- IsMaximal(L) : LatNF -> BoolElt, LatNF
- IsMaximal(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt
- IsMaximal(O) : RngFunOrd -> BoolElt
- IsMaximal(I) : RngMPol -> BoolElt
- IsMaximal(O) : RngOrd -> BoolElt
- IsMaximalIntegral(L) : LatNF -> BoolElt, LatNF
- IsProbablyMaximal(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt
- IspMaximal(O, p) : AlgAssVOrd, RngOrdIdl -> BoolElt
- MaxParabolics(C) : CosetGeom -> SetIndx
- MaximalAbelianSubfield(K) : FldFunG -> FldFunAb
- MaximalAbelianSubfield(M) : RngOrd -> FldAb
- MaximalCommutativeSubalgebra(A,S) : AlgBas, SeqEnum -> AlgBas, Map
- MaximalExtension(~M, N) : ModGrp, ModGrp ->
- MaximalExtension(M, N) : ModGrp, ModGrp -> ModGrp
- MaximalExtension(M, N, E, r) : ModGrp, ModGrp, ModTupFld, map -> ModGrp
- MaximalIdeals(L : parameters) : AlgLie -> [ AlgLie ], BoolElt
- MaximalIdempotent(A, S) : AlgBas, SeqEnum -> AlgBasElt
- MaximalIncreasingSequence(w) : MonOrdElt -> RngIntElt
- MaximalIncreasingSequences(w, k) : SeqEnum,RngIntElt -> RngIntElt
- MaximalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- MaximalIntegralLattice(L) : LatNF -> LatNF
- MaximalIntegralLattice(Q) : Mtrx -> LatNF
- MaximalLeftIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
- MaximalNormSplitting(L, p) : LatNF, RngOrdIdl -> SeqEnum, List
- MaximalNormalSubgroup(G) : GrpPerm -> GrpPerm
- MaximalNumberOfCosets(P) : GrpFPCosetEnumProc -> RngIntElt
- 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(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(F) : FldFun -> RngFunOrd
- MaximalOrderFinite(A) : FldFunAb -> RngFunOrd
- MaximalOrderFinite(u) : RngWittElt -> RngFunOrd
- MaximalOrderInfinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderInfinite(F) : FldFun -> RngFunOrd
- MaximalOrders(u) : RngWittElt -> RngFunOrd, RngFunOrd
- MaximalOvergroup(G, H) : GrpFP, GrpFP -> GrpFP
- MaximalPartition(G) : GrpPerm -> GSet
- MaximalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- MaximalSubfields(e) : SubFldLatElt -> [ SubFldLatElt ]
- 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 (str : parameters) : MonStgElt -> SeqEnum
- MaximalSublattices(e) : LatLatElt -> [ LatLatElt ], [ RngIntElt ]
- MaximalSublattices(L, p) : LatNF, RngOrdIdl -> [LatNF], [RngIntElt]
- MaximalSubmodules(M) : ModRng -> [ ModRng ], BoolElt
- MaximalSubmodules(e) : SubModLatElt -> { SubModLatElt }
- MaximalTotallyIsotropicSubspace(V) : ModTupFld -> ModTupFld
- MaximalTotallySingularSubspace(V) : ModTupFld -> ModTupFld
- MaximalVertexFacetHeightMatrix(P) : TorPol -> AlgMatElt
- MaximalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- ReeMaximalSubgroups(G) : GrpMat -> SeqEnum, SeqEnum
- ReeMaximalSubgroupsConjugacy(G, R, S) : GrpMat, GrpMat, GrpMat -> GrpMatElt, GrpSLPElt
- SetOrderMaximal(O, b) : RngFunOrd, BoolElt ->
- SetOrderMaximal(O, b) : RngOrd, BoolElt ->
- SplittingCartanSubalgebra(L) : AlgLie -> AlgLie
- StandardMaximalTorus(G) : GrpLie -> GrpLie
- SuzukiMaximalSubgroups(G) : GrpMat -> SeqEnum, SeqEnum
- SuzukiMaximalSubgroupsConjugacy(G, R, S) : GrpMat, GrpMat, GrpMat -> GrpMatElt, GrpSLPElt
V2.28, 13 July 2023