- IdentityAutomorphism
- IdentityFieldMorphism
- IdentityHomomorphism
- IdentityIsogeny
- IdentityMap
- IdentityMatrix
- IdentitySparseMatrix
- IdentityTransformation
- IDTo
- if
- if-then
- if-then-else
- Ignore
- Igusa
- ClebschToIgusaClebsch(Q) : SeqEnum -> SeqEnum
- DiscriminantFromIgusaInvariants(JI) : SeqEnum -> Any
- G2ToIgusaInvariants(GI) : SeqEnum -> SeqEnum
- GeometricAutomorphismGroup(C) : CrvHyp : -> GrpPerm
- HyperellipticCurveFromIgusaClebsch(S) : SeqEnum -> CrvHyp
- HyperellipticCurveFromIgusaInvariants(S) : SeqEnum -> CrvHyp, GrpPerm
- IgusaAlgebraicRelations(JI) : SeqEnum -> SeqEnum
- IgusaClebschInvariants(C: parameters) : CrvHyp -> SeqEnum
- IgusaClebschInvariants(f: parameters) : RngUPolElt -> SeqEnum
- IgusaClebschInvariants(f, h) : RngUPolElt, RngUPolElt -> SeqEnum
- IgusaClebschToIgusa(S) : SeqEnum -> SeqEnum
- IgusaInvariants(f: parameters) : RngUPolElt -> SeqEnum
- IgusaInvariants(C: parameters): CrvHyp -> SeqEnum, SeqEnum
- IgusaInvariants(f, h: parameters): RngUPolElt, RngUPolElt -> SeqEnum, SeqEnum
- IgusaInvariantsEqual(JI1, JI2) : SeqEnum, SeqEnum -> BoolElt
- IgusaToG2Invariants(JI) : SeqEnum -> SeqEnum
- ScaledIgusaInvariants(f): RngUPolElt -> SeqEnum
- ScaledIgusaInvariants(f, h): RngUPolElt, RngUPolElt -> SeqEnum
- Twists(C: parameters) : CrvHyp -> SeqEnum[CrvHyp], GrpPerm
- igusa_invariants
- IgusaAlgebraicRelations
- IgusaClebschInvariants
- IgusaClebschToIgusa
- IgusaInvariants
- IgusaInvariantsEqual
- IgusaToG2Invariants
- Ihara
- IharaBound
- IInvariant
- iload
- Ilog
- Ilog2
- Im
- Image
- ActionImage(A, Y) : GrpPerm, GSet -> GrpPerm
- ActionImage(G, Y) : GrpPerm, GSet -> GrpPerm
- ActionImage(G, Y) : GrpPerm, GSet -> GrpPerm
- ActionImage(G, Y) : GrpPerm, GSet -> GrpPerm
- AffineImage(G) : GrpPerm -> GrpPerm
- ArtinSchreierImage(e) : RngWittElt -> RngWittElt
- BaseImage(x) : GrpPermElt -> [Elt]
- BaseImageWordStrip(H, x) : GrpPerm, GrpPermElt -> BoolElt, GrpFPElt, RngIntElt
- BlocksImage(G) : GrpMat -> GrpPerm
- BlocksImage(G, P) : GrpPerm, Any -> GrpPerm
- CanonicalImage(C, phi) : Crv, MapSch -> Crv, BoolElt
- CoboundaryMapImage(M, i, c) : ModCoho, RngIntElt, UserProgram -> UserProgram
- ComplementOfImage(phi : parameters) : MapModAbVar -> ModAbVar, MapModAbVar
- CongruenceImage(G : parameters) : GrpMat -> GrpMat,HomGrp, []
- CorestrictionMapImage(G, C, c, i) : Grp, ModCoho, UserProgram, RngIntElt -> UserProgram
- CosetImage(G, H) : Grp, Grp -> GrpPerm
- CosetImage(G, H) : Grp, Grp -> GrpPerm
- CosetImage(G, H) : Grp, Grp -> GrpPerm
- CosetImage(G, H) : Grp, Grp -> GrpPerm
- CosetImage(V) : GrpFPCos -> GrpPerm
- CosetImage(G, H) : GrpGPC, GrpGPC -> GrpPerm
- CosetImage(G, H) : GrpMat, GrpMat -> GrpPerm
- CosetImage(G, H: parameters) : Grp, Grp -> GrpPerm
- FrobeniusImage(A, e) : Mtrx, RngIntElt -> Mtrx
- FrobeniusImage(e) : RngWittElt -> RngWittElt
- GaloisImage(x, i) : RngPadElt, RngIntElt -> RngPadElt
- GrayMapImage(C) : Code -> [ ModTupRngElt ]
- HasLinearGrayMapImage(C) : Code -> BoolElt, Code
- Image(a) : AlgMatElt -> ModTup
- Image(a, Y, y) : GrpPermElt, GSet, Elt -> Elt
- Image(g, Y, y) : GrpPermElt, GSet, Elt -> Elt
- Image(g, Y, y) : GrpPermElt, GSet, Elt -> Elt
- Image(g, Y, y) : GrpPermElt, GSet, Elt -> Elt
- Image(H) : Hmtp -> TenSpcElt
- Image(phi) : Map -> AlgBas, Map
- Image(f) : Map -> Elt
- Image(f) : Map -> Grp
- Image(f) : Map -> Grp
- Image(f) : Map -> Grp
- Image(f) : Map -> Grp
- Image(f) : MapChn -> ModCpx, MapChn, MapChn
- Image(phi) : MapModAbVar -> ModAbVar, MapModAbVar, MapModAbVar
- Image(f) : MapSch -> Sch
- Image(f,X,d) : MapSch,Sch,RngIntElt -> []
- Image(a) : ModMatRngElt -> ModTupRng
- Image(a) : ModMatRngElt -> ModTupRng, Map, Map
- Image(f) : ModMPolHom -> ModMPol
- Image(f) : ShfHom -> ShfCoh, ShfHom, ShfHom
- Image(T) : TenSpcElt -> ModTupRng
- Image(f,C) : TorLatMap,TorCon -> TorCon
- ImageBasis(f) : TorLatMap -> SeqEnum
- ImageFan(D) : DivTorElt -> TorFan
- ImageSystem(f,S,d) : MapSch,Sch,RngIntElt -> LinearSys
- ImageWithBasis(X, M) : ModMatRngElt, ModRng -> ModRng
- InflationMapImage(M, c) : Map, UserProgram -> UserProgram
- IsInImage(f, p) : Map, RngMPolElt -> [ BoolElt ]
- JellyfishImage(G) : GrpPerm -> GrpPerm
- JellyfishImage(G, x: parameters) : GrpPerm, GrpPermElt -> GrpPermElt
- Kernel (M) : SpMat -> SpSpc
- LMGCosetActionInverseImage(G, f, i) : GrpMat, Map, RngIntElt -> GrpMatElt
- LMGCosetImage(G,H) : GrpMat, GrpMat -> GrpPerm
- NumericalImage(M) : Mtrx[RngReCom] -> Mtrx
- OrbitImage(G, T) : GrpMat, Set -> GrpPerm, SetIndx
- OrbitImage(G, T) : GrpPerm, GSet -> GrpPerm
- OrbitImageBounded(G, T, b) : GrpMat, Set, RngIntElt -> BoolElt, GrpPerm, SetIndx
- PermutationGroupGrayMapImage(C) : CodeLinRng -> GrpPerm
- ProjectionOnto(A : parameters) : ModAbVar -> MapModAbVar
- QuotientModuleImage(G, S) : GrpMat -> GrpMat
- RestrictionToImage(phi, i) : MapModAbVar, MapModAbVar -> MapModAbVar
- SmallDegreeImage(G, h) : GrpMat, GrpMatElt -> GrpMatElt
- SmallerFieldImage(G, g) : GrpMat, GrpMatElt -> GrpMatElt
- SocleImage(G) : GrpPerm -> GrpPerm
- SubmoduleImage(G, S) : GrpMat -> GrpMat
- VerschiebungImage(e) : RngWittElt -> RngWittElt
V2.28, 13 July 2023