- IsNormalised
- IsNormalising
- IsNull
- IsNullHomotopy
- IsNumberField
- Iso
- iso
- iso-small-pm-1
- IsOdd
- isog-curves
- Isogenies
- isogenies
- Isogenous
- IsIsogenous(A1, A2) : AnHcJac, AnHcJac -> Bool, Mtrx, Mtrx
- IsIsogenous(E, F) : CrvEll[FldRat], CrvEll[FldRat] -> BoolElt, Map
- IsIsogenous(G, H) : GrpLie, GrpLie -> BoolElt
- IsIsogenous(A, B) : ModAbVar, ModAbVar -> BoolElt
- IsIsogenous(R1, R2) : RootDtm, RootDtm -> BoolElt, SeqEnum, RootDtm, Map, Map, RootDtm, Map, Map
- IsIsogenousPeriodMatrices(P1, P2) : Mtrx, Mtrx -> Bool, Mtrx
- IsogenousCurves(E) : CrvEll[FldRat] -> SeqEnum, RngIntElt
- RichelotIsogenousSurface(J, kernel) : JacHyp, RngUPolElt[RngUPolRes] -> .
- RichelotIsogenousSurfaces(J) : JacHyp -> List, List
- IsogenousCurves
- Isogeny
- DualIsogeny(phi) : Map -> Map
- FakeIsogenySelmerSet(C,phi) : Crv, MapSch -> RngIntElt
- IdentityIsogeny(E) : CrvEll -> Map
- IsIsogeny(phi) : MapModAbVar -> BoolElt
- Isogeny(E,P) : CrvEll, Pt -> MapCrvEll
- Isogeny(p,N) : Pt, RngIntElt -> MapSch
- IsogenyFromKernel(E, psi) : CrvEll, RngUPolElt -> CrvEll, Map
- IsogenyFromKernel(G) : SchGrpEll -> CrvEll, Map
- IsogenyFromKernelFactored(G) : SchGrpEll -> CrvEll, Map
- IsogenyFromKernelFactored(E, psi) : SchGrpEll, RngUPolElt -> CrvEll, Map
- IsogenyGroup(G) : GrpLie -> GrpAb, Map
- IsogenyGroup(W) : GrpMat -> GrpAb, Map
- IsogenyGroup(W) : GrpPermCox -> GrpAb
- IsogenyGroup(R) : RootDtm -> GrpAb, Map
- IsogenyMapOmega(I) : Map -> RngMPolElt
- IsogenyMapPhi(I) : Map -> RngUPolElt
- IsogenyMapPhiMulti(I) : Map -> RngUPolElt
- IsogenyMapPsi(I) : Map -> RngUPolElt
- IsogenyMapPsiMulti(I) : Map -> RngUPolElt
- IsogenyMapPsiSquared(I) : Map -> RngUPolElt
- IsomorphismToIsogeny(I) : Map -> Map
- LiftDescendant(C) : CrvHyp -> SeqEnum[ CrvHyp ], List, MapSch
- NumberOfIsogenyClasses(D, N) : DB, RngIntElt -> RngIntElt
- OnlyUpToIsogeny(phi) : MapModAbVar -> BoolElt
- PushThroughIsogeny(I, v) : Map, RngUPolElt -> RngUPolElt
- ThreeDescentByIsogeny(E) : CrvEll -> [ Crv ], [ Map ]
- ThreeIsogenyDescent(E : parameters) : CrvEll -> [ Crv ], List, [ Crv ], List, MapSch
- ThreeIsogenyDescentCubic(φ, α) : MapSch, Any -> Crv, MapSch
- ThreeIsogenySelmerGroups(E : parameters) : CrvEll -> GrpAb, Map, GrpAb, Map, MapSch
- TwoIsogeny(P) : PtEll -> Map
- TwoIsogenyDescent(E : parameters) : CrvEll -> SeqEnum[CrvHyp], List, SeqEnum[CrvHyp], List, MapSch, MapSch
- TwoIsogenySelmerGroups(E) : CrvEll[FldFunG] -> GrpAb, GrpAb, MapSch, MapSch
- TwoPowerIsogenyDescentRankBound(E, T : parameters) : CrvEll[FldRat], PtEll[FldRat] ) -> RngIntElt, SeqEnum, SeqEnum
- CrvEll_Isogeny (Example H128E16)
- IsogenyFromKernel
- IsogenyFromKernelFactored
- IsogenyGroup
V2.28, 13 July 2023