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

Subindex: IsDifferentialOperatorRing  ..  IsEndomorphism


IsDifferentialOperatorRing

   IsDifferentialOperatorRing(R) : . -> BoolElt

IsDifferentialSeriesRing

   IsDifferentialSeriesRing(R) : Rng -> BoolElt

IsDimensionCompatible

   IsDimensionCompatible(B) : AlgBas -> Bool

IsDirected

   IsDirected(G) : GrphMult -> BoolElt

IsDirectSum

   IsDirectSum(L) : TorLat -> BoolElt

IsDirectSummand

   IsDirectSummand(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
   HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp

IsDiscriminant

   IsDiscriminant(D) : RngIntElt -> BoolElt

IsDisjoint

   IsDisjoint(R, S) : SetEnum, SetEnum -> BoolElt

IsDistanceRegular

   IsDistanceRegular(G) : GrphUnd -> BoolElt

IsDistanceTransitive

   IsDistanceTransitive(G) : GrphUnd -> BoolElt

IsDivisible

   IsDivisible(D) : DivSchElt -> BoolElt, RngIntElt

IsDivisibleBy

   IsDivisibleBy(a, b) : FldFunElt, FldFunElt -> BoolElt, FldFunElt
   IsDivisibleBy(P, n) : PtEll, RngIntElt -> BoolElt, PtEll
   IsDivisibleBy(n, d) : RngIntElt, RngIntElt -> BoolElt, RngIntElt
   IsDivisibleBy(a, b) : RngMPolElt, RngMPolElt -> BoolElt, RngMPolElt
   IsDivisibleBy(a, b) : RngUPolElt, RngUPolElt -> BoolElt, RngUPolElt

IsDivisionRing

   IsDivisionRing(R) : Rng -> BoolElt

IsDivisiorialContraction

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

IsDomain

   IsIntegralDomain(R): Rng -> BoolElt
   IsDomain(R) : Rng -> BoolElt
   IsDomain(R) : RngDiff -> BoolElt

IsDominant

   IsDominant(f) : MapSch -> BoolElt
   IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
   IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
   IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt

IsDoublePoint

   IsDoublePoint(p) : Pt -> BoolElt

IsDoublyEven

   IsDoublyEven(C) : Code -> BoolElt

IsDualComputable

   IsDualComputable(A) : ModAbVar -> BoolElt, ModAbVar

IsDynkinDigraph

   IsDynkinDigraph(D) : GrphDir -> BoolElt

IsEdgeCapacitated

   IsEdgeCapacitated(G) : GrphMult -> BoolElt

IsEdgeLabelled

   IsEdgeLabelled(G) : GrphMult -> BoolElt

IsEdgeTransitive

   IsEdgeTransitive(G) : GrphUnd -> BoolElt

IsEdgeWeighted

   IsEdgeWeighted(G) : GrphMult -> BoolElt

IsEffective

   IsPositive(D) : DivCrvElt -> BoolElt
   IsEffective(D) : DivCrvElt -> BoolElt
   IsEffective(D) : DivSchElt -> BoolElt
   IsEffective(C) : GRCrvK -> BoolElt

IsEichler

   IsEichler(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt, AlgAssVOrd, AlgAssVOrd
   IsEichler(O) : AlgAssVOrd -> BoolElt, AlgAssVOrd, AlgAssVOrd

IsEisenstein

   IsEisenstein(M) : ModBrdt -> BoolElt
   IsEisenstein(M) : ModFrm -> BoolElt
   IsEisenstein(M) : ModSym -> BoolElt
   IsEisenstein(f) : RngUPolElt -> BoolElt

IsEisensteinSeries

   IsEisensteinSeries(f) : ModFrmElt -> BoolElt
   IsEisensteinSeries(f) : ModFrmElt -> BoolElt

IsElementaryAbelian

   IsElementaryAbelian(G) : GrpAb -> BoolElt
   IsElementaryAbelian(G) : GrpFin -> BoolElt
   IsElementaryAbelian(G) : GrpGPC -> BoolElt
   IsElementaryAbelian(G) : GrpMat -> BoolElt
   IsElementaryAbelian(G) : GrpPC -> BoolElt
   IsElementaryAbelian(G) : GrpPerm -> BoolElt

IsEllipticCurve

   IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, MapIsoSch, MapIsoSch
   IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, MapIsoSch, MapIsoSch
   IsEllipticCurve([a, b]) : [ RngElt ] -> BoolElt, CrvEll

IsEllipticWeierstrass

   IsEllipticWeierstrass(C) : Crv -> BoolElt

IsEmbedded

   IsEmbedded(M) : ModMPol -> BoolElt

IsEmpty

   IsEmpty(P) : GrpBrdClassProc -> BoolElt
   IsEmpty(P) : GrpFPHomsProc -> BoolElt
   IsEmpty(P) : GrpFPLixProc -> BoolElt
   IsEmpty(G) : Grph -> BoolElt
   IsEmpty(G) : GrphMult -> BoolElt
   IsEmpty(P) : LatEnumProc -> BoolElt
   IsEmpty(S) : List -> BoolElt
   IsEmpty(p) : Process -> BoolElt
   IsEmpty(p) : Process -> BoolElt
   IsEmpty(p) : Process -> BoolElt
   IsEmpty(p) : Process -> BoolElt
   IsEmpty(P) : Rec -> BoolElt
   IsEmpty(X) : Sch -> BoolElt
   IsEmpty(S) : SeqEnum -> BoolElt
   IsEmpty(R) : SetEnum -> BoolElt
   IsEmpty(Xm) : SetPt -> BoolElt, Pt
   IsEmpty(P) : TorPol -> BoolElt

IsEmptySimpleQuotientProcess

   IsEmptySimpleQuotientProcess(P) : Rec -> BoolElt

IsEmptyWord

   IsEmptyWord(u: parameters) : GrpBrdElt -> BoolElt

IsEndomorphism

   IsEndomorphism(phi) : MapModAbVar -> BoolElt
   IsEndomorphism(f) : MapSch -> BoolElt

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

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013