Verbose Output
Example ModFrm_Basics (H97E1)
An Illustrative Overview
Example ModFrm_Overview (H97E2)
Ambient Spaces
ModularForms(N) : RngIntElt -> ModFrm
ModularForms(N, k) : RngIntElt, RngIntElt -> ModFrm
ModularForms(chars, k) : [GrpDrchElt], RngIntElt -> ModFrm
ModularForms(G) : -> ModFrm
ModularForms(G, k) : -> ModFrm
Example ModFrm_Creation-Space (H97E3)
Base Extension
BaseExtend(M, R) : ModFrm, Rng -> ModFrm, Map
BaseExtend(M, phi) : ModFrm, Map -> ModFrm, Map
Example ModFrm_BaseExtend (H97E4)
Elements
M . i : ModFrm, RngIntElt -> ModFrmElt
M ! f : ModFrm, . -> ModFrmElt
ModularForm(E) : CrvEll -> ModFrm
Example ModFrm_CreationElements (H97E5)
Bases
Basis(M) : ModFrm -> SeqEnum
Example ModFrm_Bases (H97E6)
q-Expansions
qExpansion(f) : ModFrmElt -> RngSerPowElt
Coefficient(f, n) : ModFrmElt, RngIntElt -> RngElt
Precision(M) : ModFrm -> RngIntElt
SetPrecision(M, prec) : ModFrm, RngIntElt ->
PrecisionBound(M : parameters) : ModFrm -> RngIntElt
Example ModFrm_qExpansion (H97E7)
Example ModFrm_WeierstrassPoints (H97E8)
Arithmetic
f + g : ModFrmElt, ModFrmElt -> ModFrmElt
f + g : ModFrmElt, RngSerPowElt -> RngSerPowElt
f - g : ModFrmElt, ModFrmElt -> ModFrmElt
a * f : RngElt, ModFrmElt -> ModFrmElt
f / a : ModFrmElt, RngElt -> ModFrmElt
f ^ n : ModFrmElt, RngIntElt -> ModFrmElt
f * g : ModFrmElt, ModFrmElt -> ModFrmElt
Example ModFrm_Arithmetic (H97E9)
Predicates
IsAmbientSpace(M) : ModFrm -> BoolElt
IsCuspidal(M) : ModFrm -> BoolElt
IsEisenstein(M) : ModFrm -> BoolElt
IsEisensteinSeries(f) : ModFrmElt -> BoolElt
IsGamma0(M) : ModFrm -> BoolElt
IsGamma1(M) : ModFrm -> BoolElt
IsNew(M) : ModFrm -> BoolElt
IsNewform(f) : ModFrmElt -> BoolElt
IsRingOfAllModularForms(M) : ModFrm -> BoolElt
Example ModFrm_Predicates (H97E10)
Properties
Degree(f) : ModFrmElt -> RngIntElt
Dimension(M) : ModFrm -> RngIntElt
DirichletCharacters(M) : ModFrm -> [GrpDrchElt]
Eltseq(f) : ModFrmElt -> SeqEnum
Level(f) : ModFrmElt -> RngIntElt
Level(M) : ModFrm -> RngIntElt
Weight(f) : ModFrmElt -> RngIntElt
Weight(M) : ModFrm -> RngIntElt
Example ModFrm_Properties (H97E11)
Subspaces
CuspidalSubspace(M) : ModFrm -> ModFrm
EisensteinSubspace(M) : ModFrm -> ModFrm
NewSubspace(M) : ModFrm-> ModFrm
ZeroSubspace(M) : ModFrm -> ModFrm
Example ModFrm_Subspaces (H97E12)
Operators
HeckeOperator(M, n) : ModFrm, RngIntElt -> AlgMatElt
HeckePolynomial(M, n : parameters ) : ModFrm, RngIntElt -> RngUPolElt
AtkinLehnerOperator(M, q) : ModFrm, RngIntElt -> AlgMatElt
Example ModFrm_HeckePolynomials (H97E13)
Eisenstein Series
EisensteinSeries(M) : ModFrm -> List
IsEisensteinSeries(f) : ModFrmElt -> BoolElt
EisensteinData(f) : ModFrmElt -> Tup
Example ModFrm_EisensteinSeries (H97E14)
Newforms
NumberOfNewformClasses(M : parameters) : ModFrm -> RngIntElt
Newform(M, i, j : parameters) : ModFrm, RngIntElt, RngIntElt -> ModFrmElt
Newform(M, i : parameters) : ModFrm, RngIntElt -> ModFrmElt
Newforms(M : parameters) : ModFrm -> List
Newforms(I, M) : [Tup], ModFrm -> ModFrm
Example ModFrm_Newforms (H97E15)
Labels
Newforms(label) : MonStgElt -> ModFrmElt
Example ModFrm_NewformLabeling (H97E16)
Reductions and Embeddings
Reductions(f, p) : ModFrmElt, RngIntElt -> List
pAdicEmbeddings(f, p) : ModFrmElt, RngIntElt -> List
ComplexEmbeddings(f) : ModFrmElt -> List
Example ModFrm_ReductionsAndEmbeddings (H97E17)
Congruences
CongruenceGroup(M1, M2, prec) : ModFrm, ModFrm, RngIntElt -> GrpAb
Example ModFrm_Congruences (H97E18)
Algebraic Relations
Relations(M, d, prec) : ModFrm, RngIntElt -> SeqEnum
Example ModFrm_Relations (H97E19)
Elliptic Curves
ModularForm(E) : CrvEll -> ModFrm
EllipticCurve(f) : ModFrmElt -> CrvEll
Example ModFrm_EllipticCurves (H97E20)
Modular Symbols
ModularSymbols(M) : ModFrm -> SeqEnum
ModularSymbols(M, sign) : ModFrm, RngIntElt -> ModSym