Documentation

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 H121E10)
local-invariants
- HasseMinkowskiInvariants(f) : RngMPolElt -> SeqEnum
- 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)
LocalBasis
- LocalBasis(O, p) : AlgAssVOrd, RngOrdIdl -> [AlgAssElt]
- LocalBasis(I, p) : AlgAssVOrdIdl, RngOrdIdl -> [AlgAssElt]
- LocalBasis(L, p) : LatNF, 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(G) : SymGen -> Lat
LocalGlobal
- CrvCon_LocalGlobal (Example H127E6)
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 H62E65)
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
Localization
- Localization(M) : ModMPol -> ModMPol
- Localization(R, P) : Rng, Rng -> Rng, Map
- Localization(R) : RngDiffOp -> RngDiffOp, Map
- Localization(R, p) : RngDiffOp, PlcFunElt -> RngDiffOp, Map, PlcFunElt
- Localization(L) : RngDiffOpElt -> RngDiffOpElt, Map
- Localization(L, p) : RngDiffOpElt, PlcFunElt -> RngDiffOpElt, Map, PlcFunElt
- Localization(O, p) : RngFunOrd, RngFunOrdIdl -> RngVal, Map
- Localization(R) : RngMPol -> RngMPolLoc
- Localization(O, P) : RngOrd, RngOrdIdl -> RngVal, Map
localization
- Localization (INTRODUCTION TO RINGS [BASIC RINGS])
Locally
- HasIndexOneEverywhereLocally(C) : CrvHyp -> BoolElt
- HasPointsEverywhereLocally(f,q) : RngUPolElt, RngIntElt -> BoolElt
- IsLocallyFree(S) : ShfCoh -> BoolElt, RngIntElt
- IsLocallyIsometric(L1, L2, p) : LatNF, LatNF, RngOrdIdl -> BoolElt
- IsLocallySoluble(model) : ModelG1 -> BoolElt
- IsLocallySoluble(model, p) : ModelG1, RngIntElt -> BoolElt, Any
- IsLocallySolvable(C) : CrvCon -> BoolElt
- IsLocallySolvable(X,pl) : Sch, PlcFunElt -> BoolElt, Pt
- IsLocallySolvable(X, p) : Sch, RngOrdIdl -> BoolElt, Pt
- IsLocallyTwoTransitive(C) : CosetGeom -> BoolElt
- LocallySArcTransitive(C) : CosetGeom -> RngIntElt
LocallySArcTransitive
- LocallySArcTransitive(C) : CosetGeom -> RngIntElt
LocalMultiplicativeGroupModSquares
- LocalMultiplicativeGroupModSquares(p) : RngOrdIdl -> ModFld, Map
LocalPolynomialAlgebra
- LocalPolynomialAlgebra(K, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPolLoc
- LocalPolynomialRing(K, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPolLoc
LocalPolynomialRing
- LocalPolynomialRing(K, n) : Rng, RngIntElt -> RngMPolLoc
- LocalPolynomialRing(K, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPolLoc
- LocalPolynomialRing(K, n, T) : Rng, RngIntElt, Tup -> RngMPolLoc
LocalQuotient
- LocalQuotient(T, S, I : parameters) : TenSpcElt, TenSpcElt, RngIntElt -> TenSpcElt, Hmtp

V2.28, 13 July 2023

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