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

Subindex: IsRingOfAllModularForms  ..  IsSimple


IsRingOfAllModularForms

   IsRingOfAllModularForms(M) : ModFrm -> BoolElt

IsRoot

   IsRoot(v) : GrphVert -> BoolElt
   IsRoot(M) : ModMPol -> BoolElt

IsRootedTree

   IsRootedTree(G) : GrphDir -> BoolElt, GrphVert

IsRootSpace

   IsCorootSpace(V) : ModTupFld -> BoolElt
   IsRootSpace(V) : ModTupFld -> BoolElt

IsRPRI

   IsRPRI(C) : CosetGeom -> BoolElt
   IsResiduallyPrimitive(C) : CosetGeom -> BoolElt

IsRWP

   IsRWPRI(C) : CosetGeom -> BoolElt
   IsRWP(C) : CosetGeom -> BoolElt
   IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
   IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt

IsRWPRI

   IsRWPRI(C) : CosetGeom -> BoolElt
   IsRWP(C) : CosetGeom -> BoolElt
   IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
   IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt

IsSatisfied

   IsSatisfied(U, E) : { RelElt }, [ GrpElt ] -> BoolElt

IsSaturated

   IsSaturated(H) : HomModAbVar -> BoolElt
   IsSaturated(X) : Sch -> BoolElt

IsScalar

   IsScalar(a) : AlgAssElt -> BoolElt, RngElt
   IsScalar(x) : AlgAssVOrdElt -> BoolElt, RngElt
   IsScalar(a) : AlgMatElt -> BoolElt
   IsScalar(g) : GrpMatElt -> BoolElt
   IsScalar(A) : Mtrx -> BoolElt
   IsScalar(A) : MtrxSprs -> BoolElt

IsSelfDual

   IsSelfDual(C) : Code -> BoolElt
   IsSelfDual(C) : Code -> BoolElt
   IsSelfDual(C) : Code -> BoolElt
   IsSelfDual(D) : Inc -> BoolElt
   IsSelfDual(A) : ModAbVar -> BoolElt
   IsSelfDual(P) : PlaneProj -> BoolElt

IsSelfNormalising

   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

   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

   IsSelfOrthogonal(C) : Code -> BoolElt
   IsSelfOrthogonal(C) : Code -> BoolElt
   IsSelfOrthogonal(C) : Code -> BoolElt

IsSemiLinear

   IsSemiLinear(G) : GrpMat -> BoolElt

IsSemiregular

   IsSemiregular(G, Y) : GrpPerm, GSet -> BoolElt
   IsSemiregular(G, Y, S) : GrpPerm, GSet, SetEnum -> BoolElt

IsSemisimple

   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

   IsSeparable(G) : GrphMultUnd -> BoolElt
   IsSeparable(G) : GrphUnd -> BoolElt
   IsSeparable(f) : RngUPolElt -> BoolElt

IsSeparating

   IsSeparating(a) : FldFunGElt -> BoolElt

IsServerSocket

   IsServerSocket(S) : IO -> BoolElt

IsSharplyTransitive

   IsSharplyTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt

IsShellable

   IsShellable(P) : TorPol -> BoolElt, TorPol, TorLatElt, RngIntElt

IsShortExactSequence

   IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
   IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt

IsShortRoot

   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

   IsSimilar(A, B) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
   IsSimilar(a, b) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt

IsSimilarity

   IsSimilarity(f) : Map -> BoolElt
   IsSimilarity(U, V, f) : ModTupFld, ModTupFld, Map -> BoolElt
   IsSimilarity(V, g) : ModTupFld, Mtrx -> BoolElt

IsSimple

   IsSimple(A) : AlgGen -> BoolElt
   IsSimple(L) : AlgLie -> BoolElt
   IsSimple(F) : FldAlg -> BoolElt
   IsSimple(F) : FldNum -> 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
   IsSimple(P) : TorPol -> BoolElt

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

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012