[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsRingHomomorphism .. IsSimplyLaced
IsRingHomomorphism(m) : Map -> BoolElt
IsRingHomomorphism(m) : Map -> BoolElt
IsRingOfAllModularForms(M) : ModFrm -> BoolElt
IsRoot(v) : GrphVert -> BoolElt
IsRootedTree(G) : GrphDir -> BoolElt, GrphVert
IsSatisfied(U, E) : { RelElt }, [ GrpElt ] -> BoolElt
IsSaturated(H) : HomModAbVar -> BoolElt
IsSaturated(X) : Sch -> BoolElt
IsScalar(a) : AlgAssElt -> BoolElt, RngElt
IsScalar(x) : AlgAssVOrdElt -> BoolElt, RngElt
IsScalar(a) : AlgMatElt -> BoolElt
IsScalar(g) : GrpMatElt -> BoolElt
IsScalar(A) : Mtrx -> BoolElt
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(D) : Inc -> BoolElt
IsSelfDual(A) : ModAbVar -> BoolElt
IsSelfDual(P) : PlaneProj -> BoolElt
IsSelfNormalizing(G, H) : GrpGPC, GrpGPC -> BoolElt
IsSelfNormalising(G, H) : GrpGPC, GrpGPC -> BoolElt
IsSelfNormalizing(G, H) : GrpFin, GrpFin -> BoolElt
IsSelfNormalizing(G, H) : GrpPerm, GrpPerm -> BoolElt
IsSelfNormalizing(G, H) : GrpGPC, GrpGPC -> BoolElt
IsSelfNormalising(G, H) : GrpGPC, GrpGPC -> BoolElt
IsSelfNormalizing(G, H) : GrpFin, GrpFin -> BoolElt
IsSelfNormalizing(G, H) : GrpFP, GrpFP -> BoolElt
IsSelfNormalizing(G, H) : GrpPC, GrpPC -> BoolElt
IsSelfNormalizing(G, H) : GrpPerm, GrpPerm -> BoolElt
IsSelfOrthogonal(C) : Code -> BoolElt
IsSelfOrthogonal(C) : Code -> BoolElt
IsSelfOrthogonal(C) : Code -> BoolElt
IsSemiLinear(G) : GrpMat -> BoolElt
IsSemiregular(G, Y) : GrpPerm, GSet -> BoolElt
IsSemiregular(G, Y, S) : GrpPerm, GSet, SetEnum -> BoolElt
IsSemisimple(A) : AlgGen -> BoolElt
IsSemisimple(L) : AlgLie -> BoolElt
IsSemisimple(G) : GrpLie-> BoolElt
IsSemisimple(x) : GrpLieElt -> BoolElt
IsSemisimple(W) : GrpPermCox -> BoolElt
IsSemisimple(M) : ModAlg -> BoolElt, SeqEnum
IsSemisimple(M) : ModGrp -> BoolElt
IsSemisimple(R) : RootStr -> BoolElt
IsSemisimple(R) : RootSys-> BoolElt
IsSeparable(G) : GrphMultUnd -> BoolElt
IsSeparable(G) : GrphUnd -> BoolElt
IsSeparable(f) : RngUPolElt -> BoolElt
IsSeparating(a) : FldFunGElt -> BoolElt
IsServerSocket(S) : IOSocket -> BoolElt
IsSharplyTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt
IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt
IsShortRoot(G, r) : GrpLie, RngIntElt -> BoolElt
IsShortRoot(W, r) : GrpPermCox, RngIntElt -> BoolElt
IsShortRoot(R, r) : RootStr, RngIntElt -> BoolElt
IsShortRoot(R, r) : RootSys, RngIntElt -> BoolElt
IsSimilar(A, B) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
IsSimilar(a, b) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
IsSimple(A) : AlgGen -> BoolElt
IsSimple(L) : AlgLie -> BoolElt
IsSimple(F) : FldAlg -> BoolElt
IsSimple(G) : GrpAb -> BoolElt
IsSimple(G) : GrpFin -> BoolElt
IsSimple(G) : GrpGPC -> BoolElt
IsSimple(G) : GrphMult -> BoolElt
IsSimple(G) : GrpLie -> BoolElt
IsSimple(G) : GrpMat -> BoolElt
IsSimple(G) : GrpPC -> BoolElt
IsSimple(G) : GrpPerm -> BoolElt
IsSimple(D) : Inc -> BoolElt
IsSimple(A) : ModAbVar -> BoolElt
IsSimple(u: parameters) : GrpBrdElt -> BoolElt
IsSimplifiedModel(E) : CrvEll -> BoolElt
IsSimplifiedModel(C) : CrvHyp -> BoolElt
IsSimplyConnected(G) : GrpLie-> BoolElt
IsSimplyConnected(R) : RootDtm -> BoolElt
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(N) : MonStgElt -> BoolElt
IsSimplyLaced(R) : RootStr -> BoolElt
IsSimplyLaced(R) : RootSys-> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]