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


Subindex: not  ..    notsubset




not

   Comparison (OVERVIEW)

   not  x : BoolElt -> BoolElt


notadj

   e notadj f : GrphEdge, GrphEdge -> BoolElt

   e notadj f : GrphEdge, GrphEdge -> BoolElt

   u notadj v : GrphVert, GrphVert -> BoolElt

   u notadj v : GrphVert, GrphVert -> BoolElt


notation

   Notation (FREE MODULES)

   Notation (SETS)

   Notation for Database of Simple Groups (OVERVIEW)


notin

   x notin O : AlgAssVElt, AlgAssVOrd -> BoolElt

   x in O : AlgAssVElt, AlgAssVOrd -> BoolElt

   a in I : AlgAssVElt, AlgAssVOrdIdl -> BoolElt

   x notin L : ., RngPad  -> BoolElt

   x notin y : AlgChtrElt, AlgChtrElt -> BoolElt

   f notin I : AlgFrElt, AlgFr -> BoolElt

   a notin A : AlgGenElt, AlgGen -> BoolElt

   x notin R : AlgMatElt, AlgMat -> BoolElt

   x notin A : AlgQuatElt, AlgQuat -> BoolElt

   x notin S : Elt, Seq -> BoolElt

   x notin R : Elt, Set -> BoolElt

   g notin G : GrpAbElt, GrpAb -> BoolElt

   g notin A : GrpAbGenElt, GrpAbGen -> BoolElt

   u notin B : GrpBrdElt, GrpBrd -> BoolElt

   u notin P : GrpBrdElt, GrpBrdClassProc -> BoolElt

   g notin G : GrpFinElt, GrpFin -> BoolElt

   u notin H : GrpFPElt, GrpFP -> BoolElt

   g notin C : GrpFPElt, GrpFPCosElt -> BoolElt

   g notin G : GrpGPCElt, GrpGPC -> BoolElt

   u notin e : GrphVert, GrphEdge -> BoolElt

   u notin e : GrphVert, GrphEdge -> BoolElt

   s notin S : GrphVert, GrphVertSet -> BoolElt

   g notin G : GrpMatElt, GrpMat -> BoolElt

   g notin G : GrpPCElt, GrpPC -> BoolElt

   x notin C : GrpPermElt, Elt -> BoolElt

   g notin G : GrpPermElt, GrpPerm -> BoolElt

   g notin G : GrpSLPElt, GrpSLP -> BoolElt

   p notin B : IncPt, IncBlk -> BoolElt

   v notin V : ModTupFldElt, ModTupFld -> BoolElt

   u notin C : ModTupRngElt, Code -> BoolElt

   u notin C : ModTupRngElt, Code -> BoolElt

   u notin C : ModTupRngElt, CodeAdd -> BoolElt

   u notin M : ModTupRngElt, ModTupRng -> BoolElt

   s notin t : MonStgElt, MonStgElt -> BoolElt

   p notin l : PlanePt, PlaneLn -> BoolElt

   a notin R : RngElt, Rng -> BoolElt

   a notin I : RngElt, RngIdl -> BoolElt

   f notin I : RngMPolElt, RngMPol -> BoolElt

   a notin I : RngUPolElt, RngUPol -> BoolElt


notsubset

   X notsubset R : { AlgMatElt } , AlgMat -> BoolElt

   x notin R : AlgMatElt, AlgMat -> BoolElt

   I notsubset J : AlgFr, AlgFr -> BoolElt

   A notsubset B : AlgGen, AlgGen -> BoolElt

   L notsubset K : AlgLie, AlgLie -> BoolElt

   C notsubset D : Code, Code -> BoolElt

   C notsubset D : Code, Code -> BoolElt

   C notsubset D : Code, Code -> BoolElt

   H notsubset G : GrpAb, GrpAb -> BoolElt

   H notsubset A : GrpAbGen, GrpAbGen -> BoolElt

   H notsubset G : GrpFin, GrpFin -> BoolElt

   H notsubset K : GrpFP, GrpFP -> BoolElt

   H notsubset G : GrpGPC, GrpGPC -> BoolElt

   S notsubset T : GrphVertSet, GrphVertSet -> BoolElt

   H notsubset G : GrpMat, GrpMat -> BoolElt

   H notsubset G : GrpPC, GrpPC -> BoolElt

   H notsubset G : GrpPerm, GrpPerm -> BoolElt

   U notsubset V : ModTupFld, ModTupFld -> BoolElt

   N notsubset M : ModTupRng, ModTupRng -> BoolElt

   I notsubset J : RngIdl, RngIdl -> BoolElt

   I notsubset J : RngMPol, RngMPol -> BoolElt

   I notsubset J : RngUPol, RngUPol -> BoolElt

   R notsubset S : SetEnum, Set -> BoolElt

   S notsubset G : { GrpAbElt } , GrpAb -> BoolElt

   S notsubset A : { GrpAbGenElt } , GrpAbGen -> BoolElt

   S notsubset G : { GrpFinElt }, GrpFin -> BoolElt

   S notsubset G : { GrpGPCElt } , GrpGPC -> BoolElt

   S notsubset G : { GrpMatElt }, GrpMat -> BoolElt

   S notsubset G : { GrpPCElt } , GrpPC -> BoolElt

   S notsubset G : { GrpPermElt }, GrpPerm -> BoolElt

   S notsubset G : { GrpSLPElt } , GrpSLP -> BoolElt

   S notsubset B : { IncPt }, IncBlk -> BoolElt

   S notsubset l : { PlanePt }, PlaneLn -> BoolElt




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