[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: IsMaximalDimension  ..  IsNormal


IsMaximalDimension

   IsMaximalDimension(C) : TorCon -> BoolElt

IsMaximisingFunction

   IsMaximisingFunction(L) : LP -> BoolElt

IsMaximumDistanceSeparable

   IsMDS(C) : Code -> BoolElt
   IsMaximumDistanceSeparable(C) : Code -> BoolElt

IsMDS

   IsMDS(C) : Code -> BoolElt
   IsMaximumDistanceSeparable(C) : Code -> BoolElt

IsMemberBasicOrbit

   IsMemberBasicOrbit(G, i, a) : GrpPerm, RngIntElt, Elt -> BoolElt

IsMetacyclicPGroup

   IsMetacyclicPGroup (P) : Grp -> BoolElt

IsMinimal

   IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc

IsMinimalModel

   IsMinimalModel(E) : CrvEll -> BoolElt

IsMinimalTwist

   IsMinimalTwist(M, p) : ModSym, RngIntElt -> BoolElt, ModSym, GrpDrchElt

IsMinusOne

   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

   IsMixed(G) : GrpAb -> BoolElt

IsMobile

   IsBasePointFree(D) : DivSchElt -> BoolElt
   IsMobile(D) : DivSchElt -> BoolElt
   BaseLocus(D) : DivSchElt -> Sch

IsModularCurve

   IsModularCurve(X) : Sch -> BoolElt

IsModuleHomomorphism

   IsModuleHomomorphism(f) : ModMatFldElt -> BoolElt
   IsModuleHomomorphism(X) : ModMatFldElt -> BoolElt

IsMonic

   IsMonic(L) : RngDiffOpElt -> BoolElt

IsMoriFibreSpace

   IsMoriFibreSpace(X,i) : TorVar,RngIntElt -> BoolElt

IsMorphism

   IsMorphism(f) : Map -> Bool
   IsMorphism(phi) : MapModAbVar -> BoolElt

IsNearLinearSpace

   IsNearLinearSpace(D) : Inc -> BoolElt

IsNearlyPerfect

   IsNearlyPerfect(C) : Code -> BoolElt

IsNeat

   IsNeat(G, H) : GrpAb, GrpAb -> BoolElt

IsNef

   IsNef(D) : DivSchElt -> BoolElt
   IsNef(D) : DivTorElt -> BoolElt

IsNefAndBig

   IsNefAndBig(D) : DivSchElt -> BoolElt

IsNegative

   IsNegative(W, r) : GrpPermCox, RngIntElt -> BoolElt
   IsNegative(R, r) : RootStr, RngIntElt -> BoolElt
   IsNegative(R, r) : RootSys, RngIntElt -> BoolElt

IsNegativeDefinite

   IsNegativeDefinite(F) : ModMatRngElt -> BoolElt

IsNegativeSemiDefinite

   IsNegativeSemiDefinite(F) : ModMatRngElt -> BoolElt

IsNew

   IsNew(M) : ModFrm -> BoolElt
   IsNew(M) : ModFrmHil -> BoolElt
   IsNew(M) : ModSym -> BoolElt

IsNewform

   IsNewform(f) : ModFrmElt -> BoolElt

IsNewtonPolygonOf

   IsNewtonPolygonOf(N, f) : NwtnPgon, RngElt -> BoolElt

IsNilpotent

   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

   IsNilpotentByFinite(G : parameters) : GrpMat -> BoolElt

IsNilpotentMatrixGroupF

   GrpMatInf_IsNilpotentMatrixGroupF (Example H61E10)
   GrpMatInf_IsNilpotentMatrixGroupF (Example H61E11)
   GrpMatInf_IsNilpotentMatrixGroupF (Example H61E9)

IsNodalCurve

   IsNodalCurve(C) : Crv-> BoolElt

IsNode

   IsNode(p) : Pt -> BoolElt

IsNondegenerate

   IsNondegenerate(V) : ModTupFld -> BoolElt

IsNonsingular

   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

   IsNorm(A, x) : FldAb, RngOrdElt -> BoolElt

IsNormal

   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