Documentation

EltTup
- EltTup(x) : AlgKacElt -> Tup
em
- AlgSym_em (Example H159E24)
- FldNum_em (Example H36E7)
- RngOrd_em (Example H39E10)
Emacs
- Key Bindings (Emacs and VI mode) (ENVIRONMENT AND OPTIONS)
- Key Bindings in Emacs mode only (ENVIRONMENT AND OPTIONS)
EMaximal
- LiEMaximalSubgroups() : -> SeqEnum
Emb
- IsSubfieldEmb(K, L) : FldNumEmb, FldNumEmb -> BoolElt
Embed
- Embed(K, A) : Fld, AlgQuat -> AlgQuatElt, Map
- Embed(F, L, a) : FldAlg, FldAlg, FldAlgElt ->
- Embed(F, L, a) : FldAlg, FldAlg, [FldAlgElt] ->
- Embed(E, F) : FldFin, FldFin ->
- Embed(E, F, x) : FldFin, FldFin ->
- Embed(F, L, a) : FldFun, FldFun, FldFunElt ->
- Embed(F, L, a) : FldNum, FldNum, FldNumElt ->
- Embed(F, L, a) : FldNum, FldNum, [FldNumElt] ->
- Embed(Oc, O) : RngOrd, AlgAssVOrd -> AlgAssVOrdElt, Map
- EmbedPlaneCurveInP3(C) : Crv -> Sch, MapSch
- AlgQuat_Embed (Example H95E13)
embed
- Isomorphic Projection to Subspaces (SCHEMES)
Embedded
- EmbeddedNumberField(L, c) : FldNum, FldComElt -> BoolElt, FldNumEmb
- EmbeddedNumberField(L, i) : FldNum, RngIntElt -> FldNumEmb
- EmbeddedNumberField(f, r) : RngUPolElt, FldReElt -> BoolElt, FldNumEmb
- EmbeddedNumberField(f, i) : RngUPolElt, RngIntElt -> FldNumEmb
- EmbeddedSplittingField(f) : RngUPolElt -> FldNumEmb, SeqEnum
- IsEmbedded(M) : ModMPol -> BoolElt
embedded
- Creation of Ambient Embedded Modules (MODULES OVER MULTIVARIATE RINGS)
- Fields with a Labelled Embedding (NUMBER FIELDS)
- Localization (MODULES OVER MULTIVARIATE RINGS)
- Module Basics: Embedded and Reduced Modules (MODULES OVER MULTIVARIATE RINGS)
embedded-number-fields
- Fields with a Labelled Embedding (NUMBER FIELDS)
embedded-reduced
- Module Basics: Embedded and Reduced Modules (MODULES OVER MULTIVARIATE RINGS)
EmbeddedNumberField
- EmbeddedNumberField(L, c) : FldNum, FldComElt -> BoolElt, FldNumEmb
- EmbeddedNumberField(L, i) : FldNum, RngIntElt -> FldNumEmb
- EmbeddedNumberField(f, r) : RngUPolElt, FldReElt -> BoolElt, FldNumEmb
- EmbeddedNumberField(f, i) : RngUPolElt, RngIntElt -> FldNumEmb
EmbeddedSplittingField
- EmbeddedSplittingField(f) : RngUPolElt -> FldNumEmb, SeqEnum
Embedding
- AssertEmbedding(~A, phi) : ModAbVar, MapModAbVar ->
- BasisMatrix(S) : AlgQuatOrd -> AlgMatElt
- BinomialToricEmbedding(Z) : Sch -> Sch, TorMap
- CanComputeEmbedding(F, L) : FldAlg, FldAlg -> Bool
- CanComputeEmbedding(O1, O2) : RngFunOrd, RngFunOrd -> Bool
- Embedding(K) : FldNumEmb -> UserProgram
- Embedding(G) : GrphMultUnd -> SeqEnum
- Embedding(G) : GrphUnd -> SeqEnum
- Embedding(v) : GrphVert -> SeqEnum
- Embedding(v) : GrphVert -> SeqEnum
- Embedding(X) : RieSrf -> PlcNumElt
- EmbeddingMap(F, L): FldAlg, FldAlg -> Map
- EmbeddingMap(F, L): FldNum, FldNum -> Map
- EmbeddingMap(e) : SubFldLatElt -> Map
- EmbeddingSpace(L) : LatNF -> Mod
- EmbeddingSpace(M) : ModDed -> Mod
- HasEmbedding(F, L) : FldAlg, FldAlg -> Bool
- HasEmbedding(O1, O2) : RngFunOrd, RngFunOrd -> Bool
- IsSplittingField(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
- KernelEmbedding(f) : TorLatMap -> Map
- ModularEmbedding(A) : ModAbVar -> MapModAbVar
- ProjectiveEmbedding(P) : PlaneAff -> PlaneProj, PlanePtSet, PlaneLnSet, Map
- SegreEmbedding(X) : Sch -> Sch, MapIsoSch
embedding
- Creating Relations (FINITE FIELDS)
- Plane_embedding (Example H154E7)
embedding_and_reconstruction
- Embedding and Reconstruction (NUMBER FIELDS)
EmbeddingACurve
- Scheme_EmbeddingACurve (Example H122E57)
EmbeddingMap
- EmbeddingMap(F, L): FldAlg, FldAlg -> Map
- EmbeddingMap(F, L): FldNum, FldNum -> Map
- EmbeddingMap(e) : SubFldLatElt -> Map
EmbeddingMatrix
- EmbeddingMatrix(S) : AlgQuatOrd -> AlgMatElt
- BasisMatrix(S) : AlgQuatOrd -> AlgMatElt
Embeddings
- ComplexEmbeddings(f) : ModFrmElt -> List
- Embeddings(A) : ModAbVar -> List
- FindCommonEmbeddings(X) : [ModAbVar] -> BoolElt, List
- RealEmbeddings(a) : FldAlgElt -> []
- RealEmbeddings(a) : FldNumElt -> []
- pAdicEmbeddings(f, p) : ModFrmElt, RngIntElt -> List
embeddings
- Reductions and Embeddings (MODULAR FORMS)

V2.29, 21 October 2025

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