[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsMaximalDimension .. IsNormal
IsMaximalDimension(C) : TorCon -> BoolElt
IsMaximisingFunction(L) : LP -> BoolElt
IsMDS(C) : Code -> BoolElt
IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMDS(C) : Code -> BoolElt
IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMemberBasicOrbit(G, i, a) : GrpPerm, RngIntElt, Elt -> BoolElt
IsMetacyclicPGroup (P) : Grp -> BoolElt
IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc
IsMinimalModel(E) : CrvEll -> BoolElt
IsMinimalTwist(M, p) : ModSym, RngIntElt -> BoolElt, ModSym, GrpDrchElt
IsMinusOne(a) : AlgGenElt -> BoolElt
IsMinusOne(a) : AlgMatElt -> BoolElt
IsMinusOne(a) : FldACElt -> BoolElt
IsMinusOne(A) : Mtrx -> BoolElt
IsMinusOne(A) : MtrxSprs -> BoolElt
IsMinusOne(a) : RngElt -> BoolElt
IsMinusOne(a) : RngOrdResElt -> BoolElt
IsMinusOne(x) : RngPadElt -> BoolElt
IsMinusOne(s) : RngPowLazElt -> BoolElt
IsOne(a) : RngLocAElt -> BoolElt
IsMixed(G) : GrpAb -> BoolElt
IsBasePointFree(D) : DivSchElt -> BoolElt
IsMobile(D) : DivSchElt -> BoolElt
BaseLocus(D) : DivSchElt -> Sch
IsModularCurve(X) : Sch -> BoolElt
IsModuleHomomorphism(f) : ModMatFldElt -> BoolElt
IsModuleHomomorphism(X) : ModMatFldElt -> BoolElt
IsMonic(L) : RngDiffOpElt -> BoolElt
IsMoriFibreSpace(X,i) : TorVar,RngIntElt -> BoolElt
IsMorphism(f) : Map -> Bool
IsMorphism(phi) : MapModAbVar -> BoolElt
IsNearLinearSpace(D) : Inc -> BoolElt
IsNearlyPerfect(C) : Code -> BoolElt
IsNeat(G, H) : GrpAb, GrpAb -> BoolElt
IsNef(D) : DivSchElt -> BoolElt
IsNef(D) : DivTorElt -> BoolElt
IsNefAndBig(D) : DivSchElt -> BoolElt
IsNegative(W, r) : GrpPermCox, RngIntElt -> BoolElt
IsNegative(R, r) : RootStr, RngIntElt -> BoolElt
IsNegative(R, r) : RootSys, RngIntElt -> BoolElt
IsNegativeDefinite(F) : ModMatRngElt -> BoolElt
IsNegativeSemiDefinite(F) : ModMatRngElt -> BoolElt
IsNew(M) : ModFrm -> BoolElt
IsNew(M) : ModFrmHil -> BoolElt
IsNew(M) : ModSym -> BoolElt
IsNewform(f) : ModFrmElt -> BoolElt
IsNewtonPolygonOf(N, f) : NwtnPgon, RngElt -> BoolElt
IsNilpotent(f) : AlgFPElt -> BoolElt, RngIntElt
IsNilpotent(a) : AlgGenElt -> BoolElt, RngIntElt
IsNilpotent(L) : AlgLie -> BoolElt
IsNilpotent(a) : AlgMatElt -> BoolElt, RngIntElt
IsNilpotent(G) : GrpFin -> BoolElt
IsNilpotent(G) : GrpGPC -> BoolElt
IsNilpotent(G) : GrpMat -> BoolElt
IsNilpotent(G) : GrpMat -> BoolElt
IsNilpotent(G) : GrpPC -> BoolElt
IsNilpotent(G) : GrpPerm -> BoolElt
IsNilpotent(x) : RngElt -> BoolElt
IsNilpotent(f) : RngMPolResElt -> BoolElt, RngIntElt
IsNilpotentByFinite(G : parameters) : GrpMat -> BoolElt
GrpMatInf_IsNilpotentMatrixGroupF (Example H61E10)
GrpMatInf_IsNilpotentMatrixGroupF (Example H61E11)
GrpMatInf_IsNilpotentMatrixGroupF (Example H61E9)
IsNodalCurve(C) : Crv-> BoolElt
IsNode(p) : Pt -> BoolElt
IsNondegenerate(V) : ModTupFld -> BoolElt
IsNonsingular(V) : ModTupFld -> BoolElt
IsNonsingular(C) : Sch -> BoolElt
IsNonsingular(X) : Sch -> BoolElt
IsNonsingular(p) : Sch,Pt -> BoolElt
IsNonsingular(p) : Sch,Pt -> BoolElt
IsNonsingular(C) : TorCon -> BoolElt
IsNonsingular(F) : TorFan -> BoolElt
IsNonsingular(X) : TorVar -> BoolElt
IsNorm(A, x) : FldAb, RngOrdElt -> BoolElt
IsNormal(A) : FldAb -> BoolElt
IsNormal(F) : FldAlg -> BoolElt
IsNormal(a) : FldFinElt -> BoolElt
IsNormal(a, E) : FldFinElt -> BoolElt
IsNormal(F) : FldNum -> BoolElt
IsNormal(G, H) : GrpFin, GrpFin -> BoolElt
IsNormal(G, H) : GrpFP, GrpFP -> BoolElt
IsNormal(G, H) : GrpGPC, GrpGPC -> BoolElt
IsNormal(G, H) : GrpMat, GrpMat -> BoolElt
IsNormal(G, H) : GrpPC, GrpPC -> BoolElt
IsNormal(G, H) : GrpPerm, GrpPerm -> BoolElt
IsNormal(K) : RngPad -> BoolElt
IsNormal(K, k) : RngPad, RngPad -> BoolElt
IsNormal(S) : Srfc -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012