Documentation

Sn
- IsEasySnAn(f) : RngUPolElt -> RngIntElt
sngs
- Analytically Hypersurface Singularities (SCHEMES)
Snu
- SpRing (F) : FldPad -> SpRng
- SuRing (F) : FldPad -> SuRng
- SnuRing (F) : FldPad -> SnuRng
- SnuRing (F, nu) : FldPad, FldRatElt -> SnuRng
- SnuRing (S, nu) : RngSerPow, FldRatElt -> SnuRng
- SnuRing (S) : SpRng -> SnuRng
SnuRing
- SpRing (F) : FldPad -> SpRng
- SuRing (F) : FldPad -> SuRng
- SnuRing (F) : FldPad -> SnuRng
- SnuRing (F, nu) : FldPad, FldRatElt -> SnuRng
- SnuRing (S, nu) : RngSerPow, FldRatElt -> SnuRng
- SnuRing (S) : SpRng -> SnuRng
SO
- SO(n, q) : RngIntElt, RngIntElt -> GrpMat
- SpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
Socket
- IsServerSocket(S) : IO -> BoolElt
- Socket( : parameters) : -> IOSocket
- Socket(H, P : parameters) : MonStgElt, RngIntElt -> IOSocket
- SocketInformation(S) : IO -> Tup, Tup
SocketInformation
- SocketInformation(S) : IO -> Tup, Tup
Sockets
- IO_Sockets (Example H3E13)
sockets
- A Note on Socket Security (INPUT AND OUTPUT)
- Other Socket Operations (INPUT AND OUTPUT)
- Sockets (INPUT AND OUTPUT)
sockets-other
- Other Socket Operations (INPUT AND OUTPUT)
sockets-security
- A Note on Socket Security (INPUT AND OUTPUT)
Socle
- DisplaySocleStructure(SL) : SeqEnum ->
- IsomorphismTypesOfSocleLayers(M) : ModAlgBas -> SeqEnum
- Socle(G) : GrpPC -> GrpPC
- Socle(G) : GrpPerm -> GrpPerm
- Socle(M) : ModAlg -> ModAlg
- Socle(M) : ModRng -> ModRng, Map
- SocleAction(G) : GrpPerm -> Hom, GrpPerm, GrpPerm
- SocleFactor(G) : GrpPerm -> GrpPerm
- SocleFactors(G) : GrpPerm -> [ GrpPerm ]
- SocleFactors(M) : ModRng -> [ ModRng ]
- SocleImage(G) : GrpPerm -> GrpPerm
- SocleKernel(G) : GrpPerm -> GrpPerm
- SocleLayerFactors(M) : ModGrp -> SeqEnum
- SocleQuotient(G) : GrpPerm -> GrpPerm, Hom, GrpPerm
- SocleRecursive(M) : ModRng -> ModRng
- SocleSeries(G) : GrpPerm -> [ GrpPerm ]
- SocleSeries(M) : ModRng -> [ ModRng ], [ ModRng ], AlgMatElt
socle
- Socle Series (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- The Socle (PERMUTATION GROUPS)
socle-series
- Socle Series (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
SocleAction
- SocleAction(G) : GrpPerm -> Hom, GrpPerm, GrpPerm
SocleFactor
- SocleFactor(G) : GrpPerm -> GrpPerm
SocleFactors
- SocleFactors(G) : GrpPerm -> [ GrpPerm ]
- SocleFactors(M) : ModRng -> [ ModRng ]
SocleImage
- SocleImage(G) : GrpPerm -> GrpPerm
SocleKernel
- SocleKernel(G) : GrpPerm -> GrpPerm
SocleLayerFactors
- SocleLayerFactors(M) : ModGrp -> SeqEnum
SocleQuotient
- SocleQuotient(G) : GrpPerm -> GrpPerm, Hom, GrpPerm
SocleRecursive
- SocleRecursive(M) : ModRng -> ModRng
SocleSeries
- SocleSeries(G) : GrpPerm -> [ GrpPerm ]
- SocleSeries(M) : ModRng -> [ ModRng ], [ ModRng ], AlgMatElt
sol
- Irreducible Modules over F_q for Soluble Groups (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Local Solubility (RATIONAL CURVES AND CONICS)
- Local Solubility (SCHEMES)
Solomon
- InverseMattsonSolomonTransform(A, n) : RngUPolElt, RngIntElt -> RngUPolElt
- MattsonSolomonTransform(f, n) : RngUPolElt, RngIntElt -> RngUPolElt
- ReedSolomonCode(K, d, b) : FldFin, RngIntElt, RngIntElt -> Code
- ReedSolomonCode(n, d) : RngIntElt, RngIntElt -> Code
solomon
- Mattson--Solomon Transforms (LINEAR CODES OVER FINITE FIELDS)
- Reed--Solomon and Justesen Codes (LINEAR CODES OVER FINITE FIELDS)
sols
- Rational Solutions (DIFFERENTIAL RINGS)
solubility
- Local Solubility (MODELS OF GENUS ONE CURVES)
Soluble
- AbsolutelyIrreducibleModulesSoluble(G, p) : Grp, RngIntElt -> SeqEnum
- AutomorphismGroupSolubleGroup(G: parameters): GrpPC -> GrpAuto
- ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
- IsIsomorphicSolubleGroup(G, H: parameters) : GrpPC, GrpPC -> BoolElt, Map
- IsLocallySoluble(model) : ModelG1 -> BoolElt
- IsLocallySoluble(model, p) : ModelG1, RngIntElt -> BoolElt, Any
- IsSoluble(L) : AlgLie -> BoolElt
- IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
- IsSoluble(A) : GrpAuto -> BoolElt
- IsSoluble(G) : GrpFin -> BoolElt
- IsSoluble(G) : GrpGPC -> BoolElt
- IsSoluble(G) : GrpMat -> BoolElt
- IsSoluble(G) : GrpPC -> BoolElt
- IsSoluble(G) : GrpPerm -> BoolElt
- IsSoluble(G : parameters) : GrpMat -> BoolElt
- IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
- IsSolubleByFinite(G : parameters) : GrpMat -> BoolElt
- LMGIsSoluble(G) : GrpMat -> BoolElt
- NumberOfIrreducibleMatrixGroups(k, p) : RngIntElt, RngIntElt -> RngIntElt
- NumberOfPrimitiveGroups(d) : RngIntElt -> RngIntElt
- Radical(G) : GrpMat -> GrpMat
- Radical(G) : GrpPerm -> GrpPerm
- SolubleNormalQuotient(G, H) : GrpPerm -> GrpPerm, Hom(GrpPerm), GrpPerm
- SolubleQuotient(G) : Grp -> GrpPC, Map
- SolubleQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
- SolubleRadical(L) : AlgLie -> AlgLie
- SolubleRadical(G) : GrpLie -> GrpLie
- SolubleResidual(G) : GrpFin -> GrpFin
- SolubleResidual(G) : GrpMat -> GrpMat
- SolubleResidual(G) : GrpPerm -> GrpPerm
- SolubleSchreier(G: parameters) : GrpPerm ->
- SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
- SolvableQuotient(G): GrpMat -> GrpPC, Map
- SolvableQuotient(G): GrpPerm -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableQuotient(G : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt

V2.28, 13 July 2023

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