Documentation

IsSimpleStarAlgebra
- IsSimpleStarAlgebra(A) : AlgMat -> BoolElt
IsSimpleSurfaceSingularity
- IsSimpleSurfaceSingularity(p) : Pt -> BoolElt, MonStr, RngIntElt
IsSimplex
- IsSimplex(P) : TorPol -> BoolElt
IsSimplicial
- IsSimplicial(P) : TorPol -> BoolElt
- IsQFactorial(C) : TorCon -> BoolElt
- IsSimplicial(C) : TorCon -> BoolElt
IsSimplifiedModel
- IsSimplifiedModel(E) : CrvEll -> BoolElt
- IsSimplifiedModel(C) : CrvHyp -> BoolElt
IsSimplyConnected
- IsSimplyConnected(G) : GrpLie -> BoolElt
- IsSimplyConnected(R) : RootDtm -> BoolElt
IsSimplyLaced
- IsSimplyLaced(C) : AlgMatElt -> BoolElt
- IsSimplyLaced(M) : AlgMatElt -> BoolElt
- IsSimplyLaced(D) : GrphDir -> BoolElt
- IsSimplyLaced(G) : GrphUnd -> BoolElt
- IsSimplyLaced(G) : GrpLie-> BoolElt
- IsSimplyLaced(W) : GrpMat -> BoolElt
- IsSimplyLaced(W) : GrpPermCox-> BoolElt
- IsSimplyLaced(N) : MonStgElt -> BoolElt
- IsSimplyLaced(R) : RootStr -> BoolElt
- IsSimplyLaced(R) : RootSys-> BoolElt
IsSinglePrecision
- IsSinglePrecision(n) : RngIntElt -> BoolElt
IsSingular
- IsSingular(A) : Mtrx -> BoolElt
- IsSingular(p) : Pt -> BoolElt
- IsSingular(p) : Pt -> BoolElt
- IsSingular(C) : Sch -> BoolElt
- IsSingular(X) : Sch -> BoolElt
- IsSingular(C) : TorCon -> BoolElt
- IsSingular(F) : TorFan -> BoolElt
- IsSingular(X) : TorVar -> BoolElt
IsSIntegral
- IsSIntegral(P, S) : PtEll, SeqEnum -> BoolElt
IsSkew
- IsSkew(t) : Tbl -> BoolElt
IsSLZConjugate
- IsSLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
- IsGLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
IsSmooth
- IsSmooth(P) : TorPol -> BoolElt
IsSoluble
- IsSolvable(L) : AlgLie -> BoolElt
- 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
- IsSolvableAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
- IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
IsSolubleByFinite
- IsSolubleByFinite(G : parameters) : GrpMat -> BoolElt
IsSolvable
- IsSolvable(L) : AlgLie -> BoolElt
- 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
IsSolvableAutomorphismGroupPGroup
- IsSolvableAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
- IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
IsSpacelike
- IsSpacelike(v): LatNFElt -> BoolElt
- IsTimelike(v): LatNFElt -> BoolElt
IsSpecial
- IsSpecial(D) : DivCrvElt -> BoolElt
- IsSpecial(G) : GrpFin -> BoolElt
- IsSpecial(G) : GrpMat -> BoolElt
- IsSpecial(G) : GrpPC -> BoolElt
- IsSpecial(G) : GrpPerm -> BoolElt
IsSpecialOrthogonal
- IsSpecialOrthogonal(G) : GrpRed -> BoolElt
- IsSpecialOrthogonal(M) : ModFrmAlg -> BoolElt
IsSpinorGenus
- IsSpinorGenus(G) : SymGen -> BoolElt
IsSpinorNorm
- IsSpinorNorm(G, p) : SymGen, RngIntElt -> RngIntElt
IsSplit
- IsSplit(G) : GrpLie -> BoolElt
- IsSplit(P) : RngFunOrdIdl -> BoolElt
- IsSplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsSplit(P) : RngOrdIdl -> BoolElt
- IsSplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
- IsSplit(R) : RootDtm -> BoolElt
IsSplitAsIdealAt
- IsSplitAsIdealAt(I, l) : RngOrdFracIdl, UserProgram -> BoolElt, UserProgram, [RngOrdIdl]
IsSplittingCartanSubalgebra
- IsSplittingCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
IsSplittingField
- HasEmbedding(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
- IsSplittingField(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
IsSplitToralSubalgebra
- IsSplitToralSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
IsSPrincipal
- IsSPrincipal(D, S) : DivFunElt, SetEnum[PlcFunElt] -> BoolElt, FldFunElt
IsSquare
- IsSquare(a) : FldAlgElt -> BoolElt, FldAlgElt
- IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
- IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
- IsSquare(a) : FldACElt -> BoolElt
- IsSquare(a) : FldFinElt -> BoolElt
- IsSquare(I) : RngFunOrdIdl -> BoolElt, RngFunOrdIdl
- IsSquare(n) : RngIntElt -> BoolElt, RngIntElt
- IsSquare(n) : RngIntResElt -> BoolElt, RngIntResElt
- IsSquare(I) : RngOrdFracIdl -> BoolElt, RngOrdFracIdl
- IsSquare(x) : RngPadElt -> BoolElt, RngPadElt
- IsSquare(s) : RngPowLazElt -> BoolElt, RngPowLazElt

V2.29, 21 October 2025

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