Creation of a Modular Curve
ModularCurve(X,t,N) : Sch, MonStgElt, RngIntElt -> CrvMod
ModularCurve(D, N) : DB, RngIntElt -> CrvMod
Creation of Points
ModuliPoints(X,E) : CrvMod, CrvEll -> SeqEnum
Example CrvMod_CrvMod:moduli-points (H87E1)
Invariants
Level(X) : CrvMod -> RngIntElt
Genus(X) : CrvMod -> RngIntElt
ModelType(X) : CrvMod -> MonStgElt
Indices(X) : CrvMod -> SeqEnum
Modular Equation Databases
AtkinModularEquation(N) : RngIntElt -> RngMPolElt
CanonicalModularEquation(N) : RngIntElt -> RngMPolElt
ClassicalModularEquation(N) : RngIntElt -> RngMPolElt
ModularCurveDatabase(t) : MonStgElt -> DB
N in D: RngIntElt, DB -> BoolElt
ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
Example CrvMod_CrvMod:modular-equations (H87E2)
Parametrized Structures
Isogeny(E,P) : CrvEll, Pt) -> MapCrvEll
SubgroupScheme(E,P) : CrvEll, Pt -> CrvEllSubgroup
Example CrvMod_CrvMod:subgroup-scheme (H87E3)
Associated Structures
FunctionField(X) : CrvMod -> FldFun
jFunction(X) : CrvMod -> FldFunElt
BaseCurve(X) : CrvMod -> CrvMod, MapSch
Example CrvMod_CrvMod:modular-base-curve (H87E4)
Automorphisms
CanonicalInvolution(X) : CrvMod -> MapSch
Class Polynomials
HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt
WeberClassPolynomial(D) : RngIntElt -> RngUPolElt