[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsEmptySimpleQuotientProcess .. IsGlobalUnit
IsEmptySimpleQuotientProcess(P) : Rec -> BoolElt
IsEmptyWord(u: parameters) : GrpBrdElt -> BoolElt
IsEndomorphism(f) : MapSch -> BoolElt
IsEof(S) : MonStgElt -> BoolElt
IsEquationOrder(O) : RngFunOrd -> BoolElt
IsEquationOrder(O) : RngOrd -> BoolElt
IsEquidistant(C) : Code -> BoolElt
IsEquitable(G, P) : GrphUnd, { { GrphVert } } -> BoolElt
IsEquivalent(G,a,b) : GrpPSL2, SpcHypElt, SpcHypElt -> BoolElt, GrpPSL2Elt
IsEquivalent(g,h,G) : GrpPSL2Elt, GrpPSL2Elt, GrpPSL2 -> BoolElt
IsEquivalent(C, D: parameters) : Code, Code -> BoolElt, Map
IsEquivalent(f, g) : QuadBinElt, QuadBinElt -> BoolElt, AlgMatElt
Isetseq(S) : SetIndx -> SeqEnum
IndexedSetToSequence(S) : SetIndx -> SeqEnum
Isetset(S) : SetIndx -> SetEnum
IndexedSetToSet(S) : SetIndx -> SetEnum
IsEuclideanDomain(F) : FldAlg -> BoolElt
IsEuclideanDomain(R) : Rng -> BoolElt
IsEuclideanRing(R) : Rng -> BoolElt
IsEulerian(G) : Grph -> BoolElt
IsEven(C) : Code -> BoolElt
IsEven(x) : GrpDrchElt -> BoolElt
IsEven(g) : GrpPermElt -> BoolElt
IsEven(J) : JacHyp -> BoolElt
IsEven(L) : Lat -> BoolElt
IsEven(n) : RngIntElt -> BoolElt
IsExact(a) : DiffFunElt -> BoolElt
IsExact(d) : DiffFunElt -> BoolElt, FldFunGElt
IsExact(L) : Lat -> BoolElt
IsExact(C) : ModComplex -> BoolElt
IsExact(C, n) : ModCpx, RngIntElt -> BoolElt
IsExact(z) : SpcHypElt -> BoolElt
IsExactlyDivisible(x, y) : RngPadElt, RngPadElt -> BoolElt, RngPadElt
IsExceptionalUnit(u) : RngOrdElt -> BoolElt
IsExtension(G, H, f) : GrpPC, GrpPC, [Map] -> BoolElt, GrpPC
IsExtraSpecial(G) : GrpFin -> BoolElt
IsExtraSpecial(G) : GrpMat -> BoolElt
IsExtraSpecial(G) : GrpPC -> BoolElt
IsExtraSpecial(G) : GrpPerm -> BoolElt
IsExtraSpecialNormaliser(G) : GrpMat -> BoolElt
IsFace(N, F) : NwtnPgon,Tup -> BoolElt
IsFaithful(G, Y) : : GrpPerm, GSet -> BoolElt
IsFaithful(x) : AlgChtrElt -> BoolElt
IsField(R) : Rng -> BoolElt
IsFinite(G) : GrpAb -> BoolElt
IsFinite(G) : GrpAtc -> BoolElt, RngIntElt
IsFinite( W ) : GrpFPCox -> BoolElt
IsFinite(G) : GrpGPC -> BoolElt
IsFinite(G) : GrpMat -> Bool, RngIntElt
IsFinite(G) : GrpRWS -> BoolElt, RngIntElt
IsFinite(x) : Infty -> BoolElt
IsFinite(M) : MonRWS -> BoolElt, RngIntElt
IsFinite(P) : PlcFunElt -> BoolElt
IsFinite(R) : Rng -> BoolElt
IsFinite( R ) : RootSys -> BoolElt
IsFiniteOrder(O) : RngFunOrd -> BoolElt
IsFirm(C) : CosetGeom -> BoolElt
IsFirm(D) : IncGeom -> BoolElt
IsFlex(C,p) : Sch,Pt -> BoolElt,RngIntElt
IsInflectionPoint(p) : Sch,Pt -> BoolElt,RngIntElt
IsForest(G) : GrphUnd -> BoolElt
IsFree(L) : LinSys -> BoolElt
IsBasePointFree(L) : LinSys -> BoolElt
IsFrobenius(G) : GrpPerm -> BoolElt
IsFTGeometry(C) : CosetGeom -> BoolElt
IsFTGeometry(D) : IncGeom -> BoolElt
IsFundamentalDiscriminant(D) : RngIntElt -> BoolElt
IsGamma0(G) : GrpPSL2 -> BoolElt
IsGamma0(M) : ModFrm -> BoolElt
IsGamma1(G) : GrpPSL2 -> BoolElt
IsGamma1(M) : ModFrm -> BoolElt
IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u >= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u >= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGeneralizedCharacter(x) : AlgChtrElt -> BoolElt
IsGenus(G) : SymGen -> BoolElt
IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum
IsGLattice(L) : Lat -> GrpMat
IsGlobal(F) : FldFun -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]