Documentation

modular
- An Illustrative Overview (MODULAR FORMS)
- Arithmetic Operations (RING OF INTEGERS)
- Elliptic and Modular Functions (REAL AND COMPLEX FIELDS)
- HILBERT MODULAR FORMS
- MODULAR ABELIAN VARIETIES
- Modular Abelian Varieties (MODULAR SYMBOLS)
- Modular Arithmetic (RING OF INTEGERS)
- Modular Arithmetic (UNIVARIATE POLYNOMIAL RINGS)
- MODULAR CURVES
- Modular Degree and Torsion (MODULAR SYMBOLS)
- MODULAR FORMS
- Modular Forms (MODULAR FORMS)
- MODULAR FORMS OVER IMAGINARY QUADRATIC FIELDS
- MODULAR SYMBOLS
- Modular Symbols (MODULAR FORMS)
- Modular Symbols (MODULAR SYMBOLS)
- Projection Mappings (MODULAR SYMBOLS)
- Representation Theory (GROUPS)
- SMALL MODULAR CURVES
- Tamagawa Numbers and Orders of Component Groups (MODULAR SYMBOLS)
- The j-Invariant and the Discriminant (REAL AND COMPLEX FIELDS)
Modular base curve
- CrvMod_Modular base curve (Example H137E4)
Modular polynomials
- CrvMod_Modular polynomials (Example H137E2)
modular-abelian-quotient
- GrpFPInt_modular-abelian-quotient (Example H77E29)
- GrpFP_modular-abelian-quotient (Example H78E60)
modular-abvars
- Modular Abelian Varieties (MODULAR SYMBOLS)
modular-abvars-arith
- Modular Degree and Torsion (MODULAR SYMBOLS)
modular-abvars-compgrp
- Tamagawa Numbers and Orders of Component Groups (MODULAR SYMBOLS)
modular-abvars-rational
- Projection Mappings (MODULAR SYMBOLS)
modular-arithmetic
- Arithmetic Operations (RING OF INTEGERS)
modular-curves
- MODULAR CURVES
modular-forms
- An Illustrative Overview (MODULAR FORMS)
- MODULAR ABELIAN VARIETIES
- MODULAR FORMS
- Modular Forms (MODULAR FORMS)
modular-representation
- Representation Theory (GROUPS)
modular-symbol
- MODULAR SYMBOLS
modular-symbols
- Modular Symbols (MODULAR FORMS)
- Modular Symbols (MODULAR SYMBOLS)
ModularAbelianVariety
- ModularAbelianVariety(E) : CrvEll -> ModAbVar
- ModularAbelianVariety(L) : ModAbVarLSer -> ModAbVar
- ModularAbelianVariety(f) : ModFrmElt -> ModAbVar
- ModularAbelianVariety(M) : ModSym -> ModAbVar
- ModularAbelianVariety(eps : parameters) : GrpDrchElt -> ModAbVar
- ModularAbelianVariety(M : parameters) : ModFrm -> ModAbVar
- ModularAbelianVariety(s : parameters) : MonStgElt -> ModAbVar
- ModularAbelianVariety(X : parameters) : [ModFrm] -> ModAbVar
- ModularAbelianVariety(X) : [ModSym] -> ModAbVar
ModularAbVarArithmetic
- ModSym_ModularAbVarArithmetic (Example H142E25)
ModularAbVarCompGrp
- ModSym_ModularAbVarCompGrp (Example H142E26)
ModularAbVarRational
- ModSym_ModularAbVarRational (Example H142E24)
ModularCurve
- ModularCurve(D, N) : DB, RngIntElt -> CrvMod
- ModularCurve(X,t,N) : Sch, MonStgElt, RngIntElt -> CrvMod
ModularCurveDatabase
- ModularCurveDatabase(t) : MonStgElt -> DB
ModularCurveQuotient
- ModularCurveQuotient(N,A) : RngIntElt, [RngIntElt] -> Crv
ModularDegree
- ModularDegree(E) : CrvEll -> RngIntElt
- ModularDegree(A) : ModAbVar -> RngIntElt
- ModularDegree(M) : ModSym -> RngIntElt
ModularEmbedding
- ModularEmbedding(A) : ModAbVar -> MapModAbVar
ModularEquation
- ModularEquation(M) : ModSS -> RngMPolElt
ModularFinite
- GrpFP_ModularFinite (Example H78E78)
ModularForm
- ModularForm(E) : CrvEll -> ModFrm
- ModularForm(E) : CrvEll -> ModFrmElt
ModularForms
- ModularForms(eps, k) : GrpDrchElt, RngIntElt -> ModFrm
- ModularForms(G, k) : GrpPSL2, RngIntElt -> ModFrm
- ModularForms(N) : RngIntElt -> ModFrm
- ModularForms(N, k) : RngIntElt, RngIntElt -> ModFrm
- ModularForms(chars, k) : [GrpDrchElt], RngIntElt -> ModFrm
ModularHyperellipticCurve
- ModularHyperellipticCurve(B) : [ModSym] -> BoolElt, RngUPol
- ModularHyperellipticCurve(F) : [RngSerPowElt] -> BoolElt, RngUPol
ModularKernel
- ModularKernel(M) : ModSym -> GrpAb
ModularNonHyperellipticCurveGenus3
- ModularNonHyperellipticCurveGenus3(F) : [RngSerPowElt] -> BoolElt, RngMPolElt
ModularParameterization
- ModularParameterization(A) : ModAbVar -> MapModAbVar
ModularParametrisation
- ModularParametrisation(E, z, B : parameters) : CrvEll[FldRat], FldComElt, RngIntElt -> FldComElt
- ModularParametrization(E, z, B : parameters) : CrvEll[FldRat], FldComElt, RngIntElt -> FldComElt
ModularParametrization
- ModularParametrisation(E, z, B : parameters) : CrvEll[FldRat], FldComElt, RngIntElt -> FldComElt
- ModularParametrization(E, z, B : parameters) : CrvEll[FldRat], FldComElt, RngIntElt -> FldComElt

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.