- IdentifyGroup4P
- IdentifyOneCocycle
- IdentifySimple
- IdentifyTwoCocycle
- IdentifyZeroCocycle
- Identity
- Id(J) : JacHyp -> JacHypPt
- Identity(J) : JacHyp -> JacHypPt
- J ! 0 : JacHyp, RngIntElt -> JacHypPt
- Id(R) : AlgChtr -> AlgChtrElt
- Id(R) : AlgChtr -> AlgChtrElt
- Identity(S) : DiffCrv -> DiffCrvElt
- Identity(D) : DiffFun -> DiffFunElt
- Identity(D) : DivCrv -> DivCrvElt
- Identity(G) : DivFun -> DivFunElt
- Identity(G) : Grp -> GrpElt
- Identity(G) : Grp -> GrpPermElt
- Identity(A) : GrpAb -> GrpAbElt
- Identity(G) : GrpAtc -> GrpAtcElt
- Identity(A) : GrpAutCrv -> GrpAutCrvElt
- Identity(A) : GrpAuto -> GrpAutoElt
- Identity(G) : GrpBB -> GrpBBElt
- Identity(B) : GrpBrd -> GrpBrdElt
- Identity(G) : GrpFP -> GrpFPElt
- Identity(G) : GrpGPC -> GrpGPCElt
- Identity(G) : GrpLie -> GrpLieElt
- Identity(G) : GrpMat -> GrpMatElt
- Identity(G) : GrpPC -> GrpPCElt
- Identity(G) : GrpPSL2 -> GrpPSL2Elt
- Identity(G) : GrpRWS -> GrpRWSElt
- Identity(G) : GrpSLP -> GrpSLPElt
- Identity(M) : MonRWS -> MonRWSElt
- Identity(N) : Nfd -> NfdElt
- Identity(Q) : QuadBin -> QuadBinElt
- IdentityAutomorphism(L) : AlgLie -> Map
- IdentityAutomorphism(F) : Fld -> FldAut
- IdentityAutomorphism(G) : GrpLie -> GrpLieAutoElt
- IdentityAutomorphism(A) : Sch -> AutSch
- IdentityAutomorphism(X) : Sch -> MapAutSch
- IdentityFieldMorphism(F) : Fld -> Map
- IdentityHomomorphism(G) : Grp -> Map
- IdentityHomomorphism(G) : GrpPC -> Map
- IdentityIsogeny(E) : CrvEll -> Map
- IdentityMap(E) : CrvEll -> Map
- IdentityMap(A) : ModAbVar -> MapModAbVar
- IdentityMap(R) : RootDtm -> Map
- IdentityMap(X) : Sch -> MapSch
- IdentityMap(L) : TorLat -> TorLatMap
- IdentityMatrix(R, n) : Rng, RngIntElt -> Mtrx
- IdentityMatrix (S, n) : SpRng, RngIntElt -> SpMat
- IdentitySparseMatrix(R, n) : Rng, RngElt -> MtrxSprs
- IdentityTransformation(n, R) : RngIntElt, Rng -> TransG1
- 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(a) : FldAut -> BoolElt
- IsIdentity(u) : GrpAbElt -> BoolElt
- IsIdentity(w, D1) : GrpFPElt, Rec -> BoolElt, GrpFPElt, SeqEnum, SeqEnum
- 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
- MinimalIdentity(A, S) : AlgBas, SeqEnum[AlgBasElt] -> AlgBasElt
- One(R) : RngDiff -> RngDiffElt
- ToricIdentityMap(X) : TorVar -> TorMap
- IdentityAutomorphism
- IdentityFieldMorphism
V2.29, 28 November 2025