- model
- Models
- models
- ModelToSequence
- ModelToString
- ModelType
- Modexp
- Modexp(a, k, m) : RngFunOrdElt, RngIntElt, RngUPolElt -> RngFunOrdElt
- Modexp(n, k, m) : RngIntElt, RngIntElt, RngIntElt -> RngIntElt
- Modexp(a, n, m) : RngOrdElt, RngIntElt, RngIntElt -> RngOrdElt
- Modexp(a, e, n) : RngQuadElt, RngInt, RngQuadElt -> RngQuadElt
- Modexp(f, n, g) : RngUPolElt, RngIntElt, RngUPolElt -> RngUPolElt
- modification
- modification-alphabet
- modification-coefficient-field
- modification-coefficient-ring
- modification-Tietze
- modifications
- Modify
- modify presentation
- modifyL
- ModifySelfintersection
- ModifyTransverseIntersection
- Modinv
- Modorder
- Modp
- mods
- Modsqrt
- Modular
- AtkinModularPolynomial(N) : RngIntElt -> RngMPolElt
- CanonicalModularPolynomial(N) : RngIntElt -> RngMPolElt
- ClassicalModularPolynomial(N) : RngIntElt -> RngMPolElt
- ClearStoredModularForms(F) : Fld ->
- CommonModularStructure(X) : [ModAbVar] -> List, List
- DefiningModularSymbolsSpace(pi) : RepLoc -> ModSym
- ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
- IsAttachedToModularSymbols(A) : ModAbVar -> BoolElt
- IsAttachedToModularSymbols(H) : ModAbVarHomol -> BoolElt
- IsInSmallModularCurveDatabase(N) : RngIntElt -> Boolelt
- IsModular(L) : LatNF -> BoolElt, RngOrdFracIdl
- IsModular(L, p) : LatNF, RngOrdIdl -> BoolElt, RngIntElt
- IsModularCurve(X) : Sch -> BoolElt
- IsRingOfAllModularForms(M) : ModFrm -> BoolElt
- 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
- ModularCurve(D, N) : DB, RngIntElt -> CrvMod
- ModularCurve(X,t,N) : Sch, MonStgElt, RngIntElt -> CrvMod
- ModularCurveDatabase(t) : MonStgElt -> DB
- ModularCurveQuotient(N,A) : RngIntElt, [RngIntElt] -> Crv
- ModularDegree(E) : CrvEll -> RngIntElt
- ModularDegree(A) : ModAbVar -> RngIntElt
- ModularDegree(M) : ModSym -> RngIntElt
- ModularEmbedding(A) : ModAbVar -> MapModAbVar
- ModularEquation(M) : ModSS -> RngMPolElt
- ModularForm(E) : CrvEll -> ModFrm
- ModularForm(E) : CrvEll -> ModFrmElt
- 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(B) : [ModSym] -> BoolElt, RngUPol
- ModularHyperellipticCurve(F) : [RngSerPowElt] -> BoolElt, RngUPol
- ModularKernel(M) : ModSym -> GrpAb
- ModularNonHyperellipticCurveGenus3(F) : [RngSerPowElt] -> BoolElt, RngMPolElt
- ModularParameterization(A) : ModAbVar -> MapModAbVar
- ModularParametrization(E, z, B : parameters) : CrvEll[FldRat], FldComElt, RngIntElt -> FldComElt
- ModularPolarization(A) : ModAbVar -> MapModAbVar
- ModularSolution(A, M) : MtrxSprs, RngIntElt -> ModTupRng
- ModularSymbolToIntegralHomology(A, x) : ModAbVar, SeqEnum -> ModTupFldElt
- ModularSymbolToRationalHomology(A, x) : ModAbVar, ModSymElt -> ModTupFldElt
- ModularSymbols(E) : CrvEll -> ModSym
- ModularSymbols(eps, k) : GrpDrchElt, RngIntElt -> ModSym
- ModularSymbols(eps, k, sign) : GrpDrchElt, RngIntElt, RngIntElt -> ModSym
- ModularSymbols(A) : ModAbVar -> SeqEnum
- ModularSymbols(H) : ModAbVarHomol -> SeqEnum
- ModularSymbols(M) : ModFrm -> SeqEnum
- ModularSymbols(M, sign) : ModFrm, RngIntElt -> ModSym
- ModularSymbols(M, N') : ModSym, RngIntElt -> ModSym
- ModularSymbols(s, sign) : MonStgElt, RngIntElt -> ModSym
- ModularSymbols(M : parameters) : ModSS -> ModSym
- ModularSymbols(M, sign : parameters) : ModSS, RngIntElt -> ModSym
- ModularSymbols(N) : RngIntElt -> ModSym
- ModularSymbols(N, k) : RngIntElt, RngIntElt -> ModSym
- ModularSymbols(N, k, F) : RngIntElt, RngIntElt, Fld -> ModSym
- ModularSymbols(N, k, F, sign) : RngIntElt, RngIntElt, Fld, RngIntElt -> ModSym
- ModularSymbols(N, k, sign) : RngIntElt, RngIntElt, RngIntElt -> ModSym
- NewModularHyperellipticCurve(B) : [ModSym] -> BoolElt, RngUPol
- NewModularHyperellipticCurve(F) : [RngSerPowElt] -> BoolElt, RngUPol
- NewModularHyperellipticCurves(N, g) : RngIntElt, RngIntElt -> SeqEnum
- NewModularNonHyperellipticCurveGenus3(B) : [ModSym] -> BoolElt, RngMPolElt
- NewModularNonHyperellipticCurveGenus3(F) : [RngSerPowElt] -> BoolElt, RngMPolElt
- NewModularNonHyperellipticCurvesGenus3(N) : RngIntElt -> SeqEnum
- SetGBGlobalModular(f) : BoolElt ->
- SetStoreModularForms(F, v) : Fld, BoolElt ->
- SmallModularCurve(N) : RngIntElt -> Crv
- ThetaSeriesModularForm(L) : Lat -> ModFrmElt
- ThetaSeriesModularFormSpace(L) : Lat -> ModFrm
- ZeroModularAbelianVariety() : -> ModAbVar
- ZeroModularAbelianVariety(k) : RngIntElt -> ModAbVar
- GrpFPInt_Modular (Example H77E4)
- GrpFP_Modular (Example H78E3)
V2.28, 13 July 2023