[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsReflectionSubgroup .. IsSimplyConnected
IsReflectionSubgroup( W, H ) : GrpPermCox -> GrpPermCox
IsRegular(a) : AlgGenElt -> BoolElt
IsRegular(G) : Grph -> BoolElt
IsRegular(s) : GrphSpl -> BoolElt
IsRegular(G, Y) : GrpPerm, GSet -> BoolElt
IsRegular(f) : MapSch -> BoolElt
IsRC(C) : CosetGeom -> BoolElt
IsResiduallyConnected(C) : CosetGeom -> BoolElt
IsResiduallyConnected(D) : IncGeom -> BoolElt
IsResolution(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
IsRestrictedLieAlgebra(L) : AlgLie -> BoolElt
IsReverseLatticeWord(w) : MonOrdElt -> BoolElt
IsRightIdeal(S) : AlgGrpSub -> BoolElt
IsRightIsomorphic(I,J) : AlgQuatOrd, AlgQuatOrd -> BoolElt, Map, AlgQuatElt
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
IsScalar(u) : AlgFPElt -> BoolElt
IsScalar(a) : AlgMatElt -> BoolElt
IsScalar(g) : GrpMatElt -> BoolElt
IsScalar(A) : Mtrx -> BoolElt
IsSelfOrthogonal(C) : Code -> BoolElt
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(D) : Inc -> 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
IsSelfDual(C) : Code -> BoolElt
IsSelfDual(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( W ) : GrpPermCox -> BoolElt
IsSemisimple(M) : ModAlg -> BoolElt, SeqEnum
IsSemisimple(M) : ModGrp -> BoolElt
IsSemisimple( R ) : RootDtm-> BoolElt
IsSemisimple(R) : RootSys-> BoolElt
IsSeparable(G) : GrphUnd -> BoolElt
IsSeparable(f) : RngUPolElt -> BoolElt
IsSeparating(a) : FldFunGElt -> BoolElt
IsSharplyTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt
IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt
IsShortRoot( W, r ) : GrpPermCox, RngIntElt -> BoolElt
IsShortRoot( R, r ) : RootDtm, 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) : Graph -> BoolElt
IsSimple(G) : GrpAb -> BoolElt
IsSimple(G) : GrpFin -> BoolElt
IsSimple(G) : GrpGPC -> BoolElt
IsSimple( G ) : GrpLie -> BoolElt
IsSimple(G) : GrpMat -> BoolElt
IsSimple(G) : GrpPC -> BoolElt
IsSimple(G) : GrpPerm -> BoolElt
IsSimple(D) : Inc -> BoolElt
IsSimple(u: parameters) : GrpBrdElt -> BoolElt
IsSimplifiedModel(E) : CrvEll -> BoolElt
IsSimplyConnected( G ) : GrpLie-> BoolElt
IsSimplyConnected( R ) : RootDtm-> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]