Documentation

sum
- Sum, Intersection and Dual (ADDITIVE CODES)
- Sum, Intersection and Dual (LINEAR CODES OVER FINITE RINGS)
- Sum, Intersection, Duals and Hulls (LINEAR CODES OVER FINITE FIELDS)
- SmpCpx_sum (Example H149E7)
sum-intersection-dual
- Sum, Intersection and Dual (ADDITIVE CODES)
- Sum, Intersection and Dual (LINEAR CODES OVER FINITE RINGS)
- Sum, Intersection, Duals and Hulls (LINEAR CODES OVER FINITE FIELDS)
sumandadjoin
- AlgAss_sumandadjoin (Example H88E11)
- AlgAss_sumandadjoin (Example H88E12)
SuMatrix
- SuMatrix (r, c, A) : RngIntElt, RngIntElt, SeqEnum -> SuMat
- SpMatrix (A) : SeqEnum -> SpMat
SuMatrixSpace
- SuMatrixSpace (S, r, c) : SuRng, RngIntElt, RngIntElt -> SuMatRng
- SpMatrixSpace (S, r, c) : SpRng, RngIntElt, RngIntElt -> SpMatRng
SumDual
- GrpCox_SumDual (Example H105E26)
SumIntersection
- CodeFld_SumIntersection (Example H161E15)
- CodeRng_SumIntersection (Example H164E9)
Summand
- IsDirectSummand(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
- HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
- SummandIsomorphism(M, N) : ModRng, ModRng -> ModRng, ModRng, Map, Map
SummandIsomorphism
- SummandIsomorphism(M, N) : ModRng, ModRng -> ModRng, ModRng, Map, Map
Summands
- IndecomposableSummands(A) : AlgAssV -> [ AlgAssV ], [ AlgAssVElt ]
- DirectSumDecomposition(A) : AlgAssV -> [ AlgAssV ], [ AlgAssVElt ]
- DirectSumDecomposition(ρ) : Map[AlgLie, AlgMatLie] -> SeqEnum
- DirectSumDecomposition(ρ) : Map[GrpLie, GrpMat] -> SeqEnum
- DirectSumDecomposition(V) : ModAlg -> SeqEnum
- DirectSumDecomposition(M) : ModRng -> [ ModRng ]
- DirectSumDecomposition(R) : RootDtm -> [], RootDtm, Map
- DirectSumDecomposition(R) : RootSys -> []
- IndecomposableSummands(L) : AlgLie -> [ AlgLie ]
- Summands(L) : TorLat -> SeqEnum,SeqEnum,SeqEnum
summation
- Summation of Infinite Series (REAL AND COMPLEX FIELDS)
Summit
- IsSuperSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
- IsUltraSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
- MinimalElementConjugatingToSuperSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- MinimalElementConjugatingToUltraSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- SuperSummitCanonicalLength(u: parameters) : GrpBrdElt -> RngIntElt
- SuperSummitInfimum(u: parameters) : GrpBrdElt -> RngIntElt
- SuperSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- SuperSummitRepresentative(u: parameters) : GrpBrdElt -> GrpBrdElt, GrpBrdElt
- SuperSummitSet(u: parameters) : GrpBrdElt -> SetIndx
- SuperSummitSupremum(u: parameters) : GrpBrdElt -> RngIntElt
- UltraSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- UltraSummitRepresentative(u: parameters) : GrpBrdElt -> GrpBrdElt, GrpBrdElt
- UltraSummitSet(u: parameters) : GrpBrdElt -> SetIndx
SumNorm
- SumNorm(f) : RngMPolElt -> RngIntElt
- SumNorm(p) : RngUPolElt -> RngIntElt
SumOf
- SumOf(X) : [ModAbVar] -> ModAbVar
SumOfBettiNumbersOfSimpleModules
- SumOfBettiNumbersOfSimpleModules(A, n) : AlgBas, RngIntElt -> RngIntElt
SumOfDivisors
- SumOfDivisors(n) : RngIntElt -> RngIntElt
SumOfImages
- SumOfImages(phi, psi) : MapModAbVar, MapModAbVar -> ModAbVar, MapModAbVar, List
SumOfMorphismImages
- SumOfMorphismImages(X) : List -> ModAbVar, MapModAbVar, List
Sums
- ConjugatesToPowerSums(I) : [] -> []
SUnit
- IsSUnit(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt
- IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt
- SUnitAction(SU, Act, S) : Map, Map, SeqEnum[RngOrdIdl] -> Map
- SUnitAction(SU, Act, S) : Map, SeqEnum[Map], SeqEnum[RngOrdIdl] -> [Map]
- SUnitCohomologyProcess(S, U) : {RngOrdIdl}, GrpPerm -> {1}
- SUnitDiscLog(SU, x, S) : Map, FldAlgElt, SeqEnum[RngOrdIdl] -> GrpAbElt
- SUnitGroup(I) : RngOrdFracIdl -> GrpAb, Map
- SUnitGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map
SUnitAction
- SUnitAction(SU, Act, S) : Map, Map, SeqEnum[RngOrdIdl] -> Map
- SUnitAction(SU, Act, S) : Map, SeqEnum[Map], SeqEnum[RngOrdIdl] -> [Map]
SUnitCohomologyProcess
- SUnitCohomologyProcess(S, U) : {RngOrdIdl}, GrpPerm -> {1}
SUnitDiscLog
- SUnitDiscLog(SU, x, S) : Map, FldAlgElt, SeqEnum[RngOrdIdl] -> GrpAbElt
SUnitGroup
- SUnitGroup(I) : RngOrdFracIdl -> GrpAb, Map
- SUnitGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map
sup
- Superelliptic Riemann Surfaces (RIEMANN SURFACES)
Super
- IsSuperSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
- MinimalElementConjugatingToSuperSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- SuperScheme(X) : Sch -> Sch
- SuperSummitCanonicalLength(u: parameters) : GrpBrdElt -> RngIntElt
- SuperSummitInfimum(u: parameters) : GrpBrdElt -> RngIntElt
- SuperSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- SuperSummitRepresentative(u: parameters) : GrpBrdElt -> GrpBrdElt, GrpBrdElt
- SuperSummitSet(u: parameters) : GrpBrdElt -> SetIndx
- SuperSummitSupremum(u: parameters) : GrpBrdElt -> RngIntElt
super
- Sub- and Superlattices and Quotients (LATTICES)
Supercuspidal
- IsSupercuspidal(pi) : RepLoc -> BoolElt
supercuspidal
- Supercuspidal Representations (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))

V2.28, 13 July 2023

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