[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsSinglePrecision .. IsSupersingular
IsSinglePrecision(n) : RngIntElt -> BoolElt
IsSingular(A) : Mtrx -> BoolElt
IsSingular(C) : Sch -> BoolElt
IsSingular(X) : Sch -> BoolElt
IsSingular(p) : Sch,Pt -> BoolElt
IsSingular(p) : Sch,Pt -> BoolElt
IsSIntegral(P, S) : PtEll, SeqEnum -> BoolElt
IsSkew(t) : Tbl -> BoolElt
IsSolvable(L) : AlgLie -> BoolElt
IsSoluble(L) : AlgLie -> BoolElt
IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
IsSoluble(G) : GrpAb -> BoolElt
IsSoluble(A) : GrpAuto -> BoolElt
IsSoluble(G) : GrpFin -> BoolElt
IsSoluble(G) : GrpGPC -> BoolElt
IsSoluble(G) : GrpMat -> BoolElt
IsSoluble(G) : GrpPC -> BoolElt
IsSoluble(G) : GrpPerm -> BoolElt
IsSolvable(L) : AlgLie -> BoolElt
IsSoluble(L) : AlgLie -> BoolElt
IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
IsSoluble(G) : GrpAb -> BoolElt
IsSoluble(A) : GrpAuto -> BoolElt
IsSoluble(G) : GrpFin -> BoolElt
IsSoluble(G) : GrpGPC -> BoolElt
IsSoluble(G) : GrpMat -> BoolElt
IsSoluble(G) : GrpPC -> BoolElt
IsSoluble(G) : GrpPerm -> BoolElt
IsSpecial(D) : DivCrvElt -> BoolElt
IsSpecial(G) : GrpFin -> BoolElt
IsSpecial(G) : GrpMat -> BoolElt
IsSpecial(G) : GrpPC -> BoolElt
IsSpecial(G) : GrpPerm -> BoolElt
IsSpinorGenus(G) : SymGen -> BoolElt
IsSpinorNorm(G,p) : SymGen, RngIntElt -> RngIntElt
IsSplit(P) : RngFunOrdIdl -> BoolElt
IsSplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsSplit(P) : RngOrdIdl -> BoolElt
IsSplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsSplit(R) : RootDtm -> BoolElt
HasEmbedding(K, A) : FldAlg, AlgQuat -> BoolElt, .
IsSplittingField(K, A) : FldAlg, AlgQuat -> BoolElt, .
IsSPrincipal(D, S) : DivFunElt, SetEnum[PlcFunElt] -> BoolElt, FldFunElt
IsSquare(a) : FldAlgElt -> BoolElt, FldAlgElt
IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
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(n) : RngIntElt -> BoolElt
IsStandard(t) : Tbl -> BoolElt
IsStandardAffinePatch(A) : Aff -> BoolElt, RngIntElt
IsStandardParabolicSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt
IsSteiner(D, t) : Dsgn -> BoolElt
IsStronglyAG(C) : Code -> BoolElt
IsStronglyConnected(G) : GrphDir -> BoolElt
IsStronglyConnected(G) : GrphMultDir -> BoolElt
IsSubcanonicalCurve(g,d,Q) : RngIntElt,RngIntElt,SeqEnum -> BoolElt,GRCrvK
IsSubfield(F, L) : FldAlg, FldAlg -> BoolElt, Map
IsSubfield(K, L) : FldFun, FldFun -> BoolElt, Map
FldFunG_IsSubfield (Example H55E17)
IsSubgraph(G, H) : Grph, Grph -> BoolElt
IsSubgraph(G, H) : GrphMultUnd, GrphMultUnd -> BoolElt
IsSubgroup(G,H) : GrpPSL2, GrpPSL2 -> BoolElt
IsSubmodule(M, N) : ModDed, ModDed -> BoolElt, Map
IsSubnormal(G, H) : GrpAb, GrpAb -> BoolElt
IsSubnormal(G, H) : GrpFin, GrpFin -> BoolElt
IsSubnormal(G, H) : GrpMat, GrpMat -> BoolElt
IsSubnormal(G, H) : GrpPC, GrpPC -> BoolElt
IsSubnormal(G, H) : GrpPerm, GrpPerm -> BoolElt
IsSubsequence(S, T) : SeqEnum, SeqEnum -> BoolElt
IsSubsystem(L,K) : LinearSys,LinearSys -> BoolElt
K subset L : LinearSys,LinearSys -> BoolElt
IsSUnit(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt
IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt
IsSupersingular(E: parameters) : CrvEll -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]