- Introduction
- Small Modular Curve Models
- Projection Maps
- ProjectionMap(CN,N,CM,M) : Crv, RngIntElt, Crv, RngIntElt -> MapSch
- ProjectionMap(CN,N,CM,M,r) : Crv, RngIntElt, Crv, RngIntElt, RngIntElt -> MapSch
- Example SmallModCrv_sm_mod_crvs_proj_ex (H138E2)
- Automorphisms
- AtkinLehnerInvolution(CN,N,d) : Crv, RngIntElt, RngIntElt -> MapAutSch
- SrAutomorphism(CN,N,r,u): Crv, RngIntElt, RngIntElt, RngElt -> MapAutSch
- ExtraAutomorphism(CN,N,u): Crv, RngIntElt, RngElt -> MapAutSch
- AutomorphismGroupOverQ(CN,N): Crv, RngIntElt -> GrpAutCrv
- AutomorphismGroupOverCyclotomicExtension(CN,N,n): Crv, RngIntElt, RngIntElt -> GrpAutCrv
- AutomorphismGroupOverExtension(CN,N,n,u): Crv, RngIntElt, RngIntElt, RngElt -> GrpAutCrv
- Example SmallModCrv_sm_mod_crvs_auto_ex (H138E3)
- Cusps and Rational Points
- Cusp(CN,N,d) : Crv, RngIntElt, RngIntElt -> Any
- CuspIsSingular(N,d) : RngIntElt, RngIntElt -> BoolElt
- CuspPlaces(CN,N,d) : Crv, RngIntElt, RngIntElt -> SeqEnum[PlcCrvElt]
- NonCuspidalQRationalPoints(CN,N) : Crv, RngIntElt -> SeqEnum
- Example SmallModCrv_sm_mod_crvs_cusps (H138E4)
- Standard Functions and Forms
- jInvariant(CN,N) : Crv, RngIntElt -> FldFunRatMElt
- jInvariant(p,N) : Pt, RngIntElt -> RngElt
- jNInvariant(p,N) : Pt, RngIntElt -> RngElt
- E2NForm(CN,N) : Crv, RngIntElt -> DiffCrvElt
- E4Form(CN,N) : Crv, RngIntElt -> FldFunFracSchElt, DiffCrvElt
- E6Form(CN,N) : Crv, RngIntElt -> FldFunFracSchElt, DiffCrvElt
- Parametrized Structures
- Modular Generators and q-Expansions
- Extended Example
- Bibliography
V2.28, 13 July 2023