[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsSimplyLaced .. IsSubnormal
IsSimplyLaced( C ) : AlgMatElt -> BoolElt
IsSimplyLaced( M ) : AlgMatElt -> BoolElt
IsSimplyLaced( W ) : GrpFPCox -> BoolElt
IsSimplyLaced( W ) : GrpFPCox -> BoolElt
IsSimplyLaced( D ) : GrphDir -> BoolElt
IsSimplyLaced( G ) : GrphUnd -> BoolElt
IsSimplyLaced( G ) : GrpLie-> BoolElt
IsSimplyLaced( W ) : GrpPermCox-> BoolElt
IsSimplyLaced( R ) : RootDtm-> BoolElt
IsSimplyLaced(R) : RootSys-> BoolElt
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
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
IsSteiner(D, t) : Dsgn -> BoolElt
IsStronglyAG(C) : Code -> BoolElt
IsStronglyConnected(G) : GrphDir -> BoolElt
IsSubfield(F, L) : FldAlg, FldAlg -> BoolElt, Map
IsSubfield(K, L) : FldFun, FldFun -> BoolElt, Map
FldFunG_IsSubfield (Example H57E13)
IsSubgraph(G, H) : Grph, Grph -> BoolElt
IsSubgraph(N, H) : GrphNet, GrphNet -> 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
[____] [____] [_____] [____] [__] [Index] [Root]