[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsGamma1 .. IsIdentity
IsGamma1(G) : GrpPSL2 -> BoolElt
IsGamma1(M) : ModFrm -> BoolElt
IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u >= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u >= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGeneralizedCharacter(x) : AlgChtrElt -> BoolElt
IsGenus(G) : SymGen -> BoolElt
IsGenusOneModel(f) : RngMPolElt -> BoolElt, ModelG1
IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch
IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, CrvCon, MapSch
IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum
IsGLattice(L) : Lat -> GrpMat
IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
IsGlobal(F) : FldFun -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
GrpPGp_IsGood (Example H23E3)
IsGorensteinSurface(B) : GRBskt -> BoolElt
IsGorensteinSurface(p) : GRPtS -> BoolElt
IsGraph(C) : CosetGeom -> GrphUnd
IsGraph(D) : IncGeom -> GrphUnd
IsGroebner(S) : { RngMPolElt } -> BoolElt
IsHadamard(H) : AlgMatElt -> BoolElt
IsHadamardEquivalent(H, J : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, AlgMatElt
IsHeckeAlgebra(H) : HomModAbVar -> BoolElt
IsHeckeOperator(phi) : MapModAbVar -> BoolElt, RngIntElt
IsHomeomorphic(G: parameters) : GrphMultUnd -> BoolElt
IsHomeomorphic(G : parameters) : GrphUnd -> BoolElt
IsHomogeneous(s): AlgSymElt -> 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
IsHyperbolic(W) : GrpPermCox -> BoolElt
IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch
IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, CrvCon, MapSch
IsHyperellipticCurve([f, h]) : [ RngUPolElt ] -> BoolElt, CrvHyp
IsHyperellipticCurveOfGenus(g, [f, h]) : RngIntElt, [RngUPolElt] -> BoolElt, CrvHyp
IsHyperellipticWeierstrass(C) : Crv -> BoolElt
IsHypersurface(X) : Sch -> BoolElt, RngMPolElt
IsIdentity(g) : GrpElt -> BoolElt
IsId(g) : GrpElt -> BoolElt
IsId(g) : GrpPermElt -> BoolElt
IsId(w) : GrpRWSElt -> 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(R, F) : RngDiff, RngDiff -> BoolElt
IsIdentical(R, F) : RngDiffOp, RngDiffOp -> BoolElt
IsIdentical(f, g) : RngSerElt, RngSerElt -> BoolElt
IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
IsIdentity(g) : GrpElt -> BoolElt
IsId(g) : GrpElt -> BoolElt
IsId(g) : GrpPermElt -> BoolElt
IsId(w) : GrpRWSElt -> 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(f) : Map -> BoolElt
IsIdentity(u: parameters) : GrpBrdElt -> BoolElt
IsIdentity(f) : QuadBinElt -> BoolElt
IsZero(P) : JacHypPt -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]