Documentation

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
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
IsSquarefree
- IsSquarefree(n) : RngIntElt -> BoolElt
IsStandard
- IsStandard(t) : Tbl -> BoolElt
IsStandardAffinePatch
- IsStandardAffinePatch(A) : Aff -> BoolElt, RngIntElt
IsStandardParabolicSubgroup
- IsStandardParabolicSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt
IsStarAlgebra
- IsStarAlgebra(A) : AlgGen -> BoolElt
- IsStarAlgebra(A) : AlgMat -> BoolElt
IsSteiner
- IsSteiner(D, t) : Dsgn, RngIntElt -> BoolElt
IsStrictlyConvex
- IsStrictlyConvex(C) : TorCon -> BoolElt
IsStringCGroup
- IsStringCGroup(G) : GrpPerm -> BoolElt
IsStronglyAG
- IsStronglyAG(C) : Code -> BoolElt
IsStronglyConnected
- IsStronglyConnected(G) : GrphDir -> BoolElt
- IsStronglyConnected(G) : GrphMultDir -> BoolElt
IsSubcanonicalCurve
- IsSubcanonicalCurve(g,d,Q) : RngIntElt,RngIntElt,SeqEnum -> BoolElt,GRCrvK

V2.28, 13 July 2023

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