Documentation

ehrhart
- Ehrhart Theory of Polytopes (CONVEX POLYTOPES AND POLYHEDRA)
EhrhartCoefficient
- EhrhartCoefficient(P,k) : TorPol,RngIntElt -> RngIntElt
EhrhartCoefficients
- EhrhartCoefficients(P,l) : TorPol,RngIntElt -> [RngIntElt]
EhrhartDeltaVector
- EhrhartDeltaVector(P) : TorPol -> SeqEnum
EhrhartPolynomial
- EhrhartPolynomial(P) : TorPol -> [RngUPolElt]
EhrhartSeries
- EhrhartSeries(P) : TorPol -> FldFunRatUElt
Eichler
- EichlerInvariant(O, p) : AlgAssVOrd , RngOrdIdl -> RngIntElt
- IsEichler(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt, AlgAssVOrd, AlgAssVOrd
- IsEichler(O) : AlgAssVOrd -> BoolElt, AlgAssVOrd, AlgAssVOrd
EichlerInvariant
- EichlerInvariant(O, p) : AlgAssVOrd , RngOrdIdl -> RngIntElt
Eigenform
- qEigenform(E, prec) : CrvEll, RngIntElt -> RngSerPowElt
- Eigenform(E, prec) : CrvEll, RngIntElt -> RngSerPowElt
- Eigenform(M) : ModFrmBianchi -> ModFrmBianchiElt
- Eigenform(M) : ModFrmHil -> ModFrmHilElt
- Eigenform(M, prec) : ModSym, RngIntElt -> RngSerPowElt
- HeckeEigenform(M, data) : ModFrmAlg, Tup -> ModFrmAlgElt
eigenform-examples
- ModFrmAlg_eigenform-examples (Example H151E4)
- ModFrmHil_eigenform-examples (Example H149E6)
Eigenforms
- Eigenforms(M) : ModFrmHil -> List
- HeckeEigenforms(M) : ModFrmAlg -> [ ModFrmAlgElt ]
eigenforms
- Eigenspace Decomposition and Eigenforms (ALGEBRAIC MODULAR FORMS)
- Eigenspace Decomposition and Eigenforms (HILBERT MODULAR FORMS)
Eigenspace
- Eigenspace(A, e) : AlgMatElt, FldElt -> ModTup
- Eigenspace(A, e) : AlgMatElt, FldElt -> ModTup
- Eigenspace(a, e) : AlgMatElt, FldElt -> ModTup
- Eigenspace(p) : GRPtS -> RngIntElt
Eigenspaces
- CommonEigenspaces(A) : AlgMat -> [**], [[FldElt]]
- CommonEigenspaces(Q) : [AlgMatElt] -> [**], [[FldElt]]
Eigensystem
- DisplayHeckeEigensystem(f) : ModFrmAlgElt ->
- HeckeEigensystem(f, k) : ModFrmAlgElt, RngIntElt -> [ FldElt ], [ RngOrdIdl ]
Eigensystems
- HeckeEigensystems(M, k) : ModFrmAlg, RngIntElt -> List, [ RngOrdIdl ]
Eigenvalue
- HeckeEigenvalue(f, p) : ModBrdtElt, RngElt -> RngElt
- HeckeEigenvalue(f, P) : ModFrmAlgElt, RngOrdIdl -> FldElt
- HeckeEigenvalue(f, P) : ModFrmHilElt, RngOrdIdl -> FldAlgElt
- HeckeEigenvalueBound(M, P) : ModFrmHil, RngOrdIdl -> RngIntElt
- HeckeEigenvalueField(M) : ModFrmHil -> Fld
- HeckeEigenvalueField(M) : ModSym -> Fld, Map
- HeckeEigenvalueRing(M : parameters) : ModSym -> Rng, Map
Eigenvalues
- Eigenvalues(a) : AlgMatElt -> { <FldElt, RngIntElt> }
- Eigenvalues(A) : Mtrx -> { <FldElt, RngIntElt> }
- Eigenvalues(A) : MtrxSprs -> { <FldElt, RngIntElt> }
- HeckeEigenvalues(f, P) : ModFrmAlgElt, RngOrdIdl -> [ FldElt ]
- NumericalEigenvalues(M) : Mtrx[RngReCom] -> SeqEnum
- SystemOfEigenvalues(M, prec) : ModSym, RngIntElt -> SeqEnum
eigenvalues
- Eigenvalues and the Singular Value Decomposition (MATRICES)
Eigenvectors
- Eigenvectors(M, D) : ModFrmAlg, [ ModTupFld ] -> List, BoolElt
- EisensteinSeries(M) : ModFrmAlg -> [ ModFrmAlgElt ]
- HeckeEigenvectors(M) : ModBrdt -> [ ModBrdt ]
- NumericalEigenvectors(M, e) : Mtrx, FldComElt -> SeqEnum
Eight
- EightDescent(C : parameters) : Crv -> [ Crv ], [ MapSch ]
eight
- Eight-Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
eight-descent
- Eight-Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
EightDescent
- EightDescent(C : parameters) : Crv -> [ Crv ], [ MapSch ]
Eisenstein
- Eisenstein(k, t) : RngIntElt, FldComElt -> FldComElt
- Eisenstein(k, F) : RngIntElt, QuadBinElt -> RngSerElt
- Eisenstein(k, f) : RngIntElt, QuadBinElt -> RngSerElt
- Eisenstein(k, z) : RngIntElt, RngSerElt -> RngSerElt
- Eisenstein(k, L) : RngIntElt, SeqEnum -> FldComElt
- EisensteinData(f) : ModFrmElt -> Tup
- EisensteinProjection(f) : ModFrmElt -> ModFrmElt
- EisensteinSeries(M) : ModFrm -> List
- EisensteinSeries(M) : ModFrmAlg -> [ ModFrmAlgElt ]
- EisensteinSubspace(M) : ModBrdt -> ModBrdt
- EisensteinSubspace(M) : ModFrm -> ModFrm
- EisensteinSubspace(M) : ModSS -> ModSS
- EisensteinSubspace(M) : ModSym -> ModSym
- EisensteinTwo(E, p) : CrvEll, RngIntElt -> FldPadElt
- IsEisenstein(M) : ModBrdt -> BoolElt
- IsEisenstein(M) : ModFrm -> BoolElt
- IsEisenstein(f) : ModFrmAlgElt -> BoolElt
- IsEisenstein(M) : ModSym -> BoolElt
- IsEisenstein(f) : RngUPolElt -> BoolElt
- IsEisensteinSeries(f) : ModFrmElt -> BoolElt
- IsEisensteinSeries(f) : ModFrmElt -> BoolElt
- IsInertial(f) : RngUPolXPadElt -> BoolElt
- FldRe_Eisenstein (Example H26E10)
- FldRe_Eisenstein (Example H26E9)

V2.29, 21 October 2025

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