Documentation

local
- Creation of Points on Curves (ALGEBRAIC CURVES)
- GENERAL p-ADIC EXTENSIONS
- Local Computations (ELLIPTIC CURVES OVER FUNCTION FIELDS)
- Local Conditions for Conics (RATIONAL CURVES AND CONICS)
- Local Declarations (MAGMA SEMANTICS)
- Local Geometry (ALGEBRAIC CURVES)
- Local Geometry of Schemes (SCHEMES)
- Local Intersection Theory (ALGEBRAIC CURVES)
- Local Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Local Invariants (QUADRATIC FORMS)
- LOCAL POLYNOMIAL RINGS
- Local Solubility (MODELS OF GENUS ONE CURVES)
- Local Solubility (RATIONAL CURVES AND CONICS)
- Local Solubility (SCHEMES)
- Local-Global Correspondence (RATIONAL CURVES AND CONICS)
- Norm Residue Symbol (RATIONAL CURVES AND CONICS)
- Operations at a Point (ALGEBRAIC CURVES)
- p-adic Fields (p-ADIC RINGS AND THEIR EXTENSIONS)
- p-adic Rings (p-ADIC RINGS AND THEIR EXTENSIONS)
- p-ADIC RINGS AND THEIR EXTENSIONS
- The Local Langlands Correspondence (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
local-arbitrary
- GENERAL p-ADIC EXTENSIONS
local-curve
- Local Geometry (ALGEBRAIC CURVES)
local-declaration
- Local Declarations (MAGMA SEMANTICS)
local-fields
- p-adic Fields (p-ADIC RINGS AND THEIR EXTENSIONS)
local-global
- Local Conditions for Conics (RATIONAL CURVES AND CONICS)
- Local-Global Correspondence (RATIONAL CURVES AND CONICS)
- Norm Residue Symbol (RATIONAL CURVES AND CONICS)
local-intersection
- Local Intersection Theory (ALGEBRAIC CURVES)
local-intersection-example
- Crv_local-intersection-example (Example H124E10)
local-invariants
- Local Invariants (QUADRATIC FORMS)
local-langlands
- The Local Langlands Correspondence (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
local-ops
- Operations at a Point (ALGEBRAIC CURVES)
local-points
- Creation of Points on Curves (ALGEBRAIC CURVES)
local-polynomial-rings
- LOCAL POLYNOMIAL RINGS
local-rings
- p-adic Rings (p-ADIC RINGS AND THEIR EXTENSIONS)
local-sol
- Local Solubility (RATIONAL CURVES AND CONICS)
- Local Solubility (SCHEMES)
local-solubility
- Local Solubility (MODELS OF GENUS ONE CURVES)
local_genus_invariants
- Invariants of p-adic Genera (LATTICES)
local_genus_symbols
- Local Genus Constructions (LATTICES)
LocalBasis
- LocalBasis(O, p) : AlgAssVOrd, RngOrdIdl -> [AlgAssElt]
- LocalBasis(I, p) : AlgAssVOrdIdl, RngOrdIdl -> [AlgAssElt]
- LocalBasis(L, p) : LatNF, RngOrdIdl -> [ ModTupFldElt ]
- LocalBasis(M, p) : ModDed, RngOrdIdl -> [ ModTupFldElt ]
LocalBlowUp
- LocalBlowUp(X,Y) : Sch, Sch -> SeqEnum
LocalComponent
- LocalComponent(M, p) : ModSym, RngIntElt -> RepLoc
LocalCoxeterGroup
- LocalCoxeterGroup(H) : GrpPermCox -> GrpPermCox, Map
LocalDegree
- LocalDegree(P) : PlcNumElt -> RngIntElt
- LocalDegree(P) : PlcNumElt -> RngIntElt
LocalFactor
- LocalFactor(L, p) : LatNF, RngOrdIdl -> FldRatElt
- Mass(L) : LatNF -> FldRatElt
LocalFactorization
- LocalFactorization(f) : RngUPolElt -> [ < RngUPolElt, RngIntElt >]
- Factorization(f) : RngUPolElt -> [ < RngUPolElt, RngIntElt > ]
LocalField
- LocalField(L, f) : FldPad, RngUPolElt -> RngLocA
LocalGenera
- LocalGenera(n, d, p) : RngIntElt, RngIntElt, RngIntElt -> [ SymGenLoc ]
- LocalGenera(G) : SymGen -> Lat
LocalGenus
- LocalGenus(A, p) : AlgMatElt[RngInt], RngIntElt -> SymGenLoc
- LocalGenus(L, p) : Lat, RngIntElt -> SymGenLoc
- LocalGenus(L, p) : LatNF, RngOrdIdl -> SymGenLoc
- LocalGenus(p, v, r, d) : RngIntElt, [ RngIntElt ], [ RngIntElt ], [ RngElt ] -> SymGenLoc
LocalGlobal
- CrvCon_LocalGlobal (Example H130E6)
LocalHeight
- LocalHeight(P, Pl : parameters) : PtEll, PlcNumElt -> FldPrElt
- LocalHeight(P, Pl) : PtEll, PlcFunElt -> FldPrElt
- LocalHeight(P, p) : PtEll, RngIntElt -> FldComElt
LocalIdeal
- LocalIdeal(T, D, C, I) : TenSpcElt, List, Any, RngIntElt -> TenSpcElt
- LocalIdeal(T, S, I) : TenSpcElt, List, RngIntElt -> TenSpcElt
- LocalIdeal(T, S, I) : TenSpcElt, TenSpcElt, RngIntElt -> TenSpcElt
LocalIdeals
- Multilinear_LocalIdeals (Example H63E65)
LocalInformation
- LocalInformation(E) : CrvEll -> Tup, CrvEll
- LocalInformation(E) : CrvEll -> [ < Tup > ]
- LocalInformation(E) : CrvEll -> [ Tup ]
- LocalInformation(E) : CrvEll -> [ Tup ]
- LocalInformation(E, p) : CrvEll, RngIntElt -> <RngIntElt, RngIntElt, RngIntElt, RngIntElt, SymKod, BoolElt>, CrvEll
- LocalInformation(E, P) : CrvEll, RngOrdIdl -> Tup, CrvEll
- LocalInformation(E, Pl) : CrvEll[FldFun], PlcFunElt -> Tup, CrvEll
LocalIntersectionNumber
- LocalIntersectionNumber(e) : GrphEdge -> RngIntElt

V2.29, 21 October 2025

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