[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsGlobalUnitWithPreimage .. IsIntegral
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
GrpPGp_IsGood (Example H20E3)
IsGraph(C) : CosetGeom -> GrphUnd
IsGraph(D) : IncGeom -> GrphUnd
IsGroebner(S) : { RngMPolElt } -> BoolElt
IsHadamard(H) : AlgMatElt -> BoolElt
IsHadamardEquivalent(H, J) : AlgMatElt, AlgMatElt -> BoolElt
IsHomeomorphic(G: parameters) : GraphUnd -> BoolElt
IsHomogeneous(M) : ModMPol -> BoolElt
IsHomogeneous(I) : RngMPol -> BoolElt
IsHomogeneous(f) : RngMPolElt -> BoolElt
IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt
IsHomomorphism(G, H, Q) : GrpMat, GrpMat, SeqEnum[GrpMatElt] -> Bool, Map
IsHomomorphism(G, H, L) : GrpPC, GrpPC, SeqEnum -> BoolElt, Map
IsHomomorphism(G, H, Q) : GrpPerm, GrpPerm, SeqEnum[GrpPermElt] -> Bool, Map
IsHyperbolic( W ) : GrpFPCox -> BoolElt
IsHyperellipticCurve([f, h]) : [ RngUPolElt ] -> BoolElt, CrvHyp
IsHyperellipticCurveOfGenus(g, [f, h]) : RngIntElt, [RngUPolElt] -> BoolElt, CrvHyp
IsHyperellipticWeierstrass(C) : Crv -> BoolElt
IsHypersurface(X) : Sch -> BoolElt, RngMPolElt
IsIdentity(w) : GrpAtcElt -> BoolElt
IsId(w) : GrpAtcElt -> BoolElt
IsId(g) : GrpElt -> BoolElt
IsId(g) : GrpPermElt -> BoolElt
IsId(w) : GrpRWSElt -> BoolElt
IsId(w) : MonRWSElt -> BoolElt
IsId(P) : PtEll -> BoolElt
IsIdentity(u) : GrpAbElt -> BoolElt
IsIdentity(g) : GrpAbGenElt -> BoolElt
IsIdentity(g) : GrpGPCElt -> BoolElt
IsIdentity(g) : GrpMatElt -> BoolElt
IsIdentity(g) : GrpPCElt -> BoolElt
IsIdentity(u: parameters) : GrpBrdElt -> BoolElt
IsIdeal(S) : AlgGrpSub -> BoolElt
IsIdempotent(a) : AlgGenElt -> BoolElt
IsIdempotent(x) : RngElt -> BoolElt
IsIdentical(f, g) : RngSerElt, RngSerElt -> BoolElt
IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
IsIdentity(w) : GrpAtcElt -> BoolElt
IsId(w) : GrpAtcElt -> BoolElt
IsId(g) : GrpElt -> BoolElt
IsId(g) : GrpPermElt -> BoolElt
IsId(w) : GrpRWSElt -> BoolElt
IsId(w) : MonRWSElt -> BoolElt
IsId(P) : PtEll -> BoolElt
IsIdentity(u) : GrpAbElt -> BoolElt
IsIdentity(g) : GrpAbGenElt -> BoolElt
IsIdentity(g) : GrpGPCElt -> BoolElt
IsIdentity(g) : GrpMatElt -> BoolElt
IsIdentity(g) : GrpPCElt -> BoolElt
IsIdentity(u: parameters) : GrpBrdElt -> BoolElt
IsIdentity(f) : QuadBinElt -> BoolElt
IsZero(P) : JacHypPt -> BoolElt
IsIndecomposable(M,B) : ModBrdt, RngIntElt -> BoolElt
IsIndefinite(A) : AlgQuat -> BoolElt
IsIndependent(Q) : [ AlgGen ] -> BoolElt
IsIndependent(Q) : [ AlgGen ] -> BoolElt
IsIndependent(Q) : [ ModTupFldElt ] -> BoolElt
IsIndependent(S) : { ModTupFldElt } -> BoolElt
IsInert(P) : RngFunOrdIdl -> BoolElt
IsInert(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsInert(P) : RngOrdIdl -> BoolElt
IsInert(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsInertial(f) : RngUPolElt -> BoolElt
IsFlex(C,p) : Sch,Pt -> BoolElt,RngIntElt
IsInflectionPoint(p) : Sch,Pt -> BoolElt,RngIntElt
IsInImage(f, p) : Map, RngMPolElt -> [ BoolElt ]
IsInjective(M) : ModAlg -> BoolElt, SeqEnum
IsInjective(a) : ModMatRngElt -> BoolElt
IsInjective(f) : MotMatCpxElt -> BoolElt
IsInner(f) : GrpAutoElt -> BoolElt, GrpElt
IsInRadical(f, I) : RngMPolElt, RngMPol -> BoolElt
IsInSmallGroupDatabase(o) : RngIntElt -> BoolElt
IsIntegral(C) : CrvHyp -> BoolElt
IsIntegral(a) : FldAlgElt -> BoolElt
IsIntegral(c) : FldPrElt -> BoolElt
IsIntegral(q) : FldRatElt -> BoolElt
IsIntegral(L) : Lat -> BoolElt
IsIntegral(P) : PtEll -> BoolElt
IsIntegral(I) : RngFunOrdIdl -> BoolElt
IsIntegral(n) : RngIntElt -> BoolElt
IsIntegral(I) : RngOrdFracIdl -> BoolElt
IsIntegral(x) : RngPadElt -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]