Documentation

LocalRing
- LocalRing(P, prec) : RngOrdIdl, RngIntElt -> RngLoc, Map
- LocalRing(P, k) : RngOrdIdl, RngIntElt -> RngPad, Map
- LocalRing(W) : RngWitt -> RngLoc, Map
LocalTwoSelmerMap
- LocalTwoSelmerMap(P) : RngOrdIdl -> Map
- LocalTwoSelmerMap(A, P) : RngUPolRes, RngOrdIdl -> Map, SeqEnum
LocalUniformizer
- UniformizingElement(P) : PlcFunElt -> FldFunGElt
- LocalUniformizer(P) : PlcFunElt -> FldFunGElt
locfac
- Generating the Coefficients from Local Factors (L-FUNCTIONS)
lock
- Related Files (FUNCTIONS, PROCEDURES AND PACKAGES)
Locus
- IsBasePointFree(D) : DivSchElt -> BoolElt
- IsMobile(D) : DivSchElt -> BoolElt
- BaseLocus(D) : DivSchElt -> Sch
- IndeterminacyLocus(f) : TorMap -> [Sch]
Log
- FormalLog(E) : CrvEll -> RngSerPowElt, PtEll
- Log(x) : FldFinElt -> RngIntElt
- Log(b, x) : FldFinElt, FldFinElt -> RngIntElt
- Log(b, r) : FldReElt -> FldReElt
- Log(r) : FldReElt -> FldReElt
- Log(g, d: parameters) : GrpAbGenElt, GrpAbGenElt -> RngIntElt
- Log(Q, P) : PtEll, PtEll -> RngIntElt
- Log(Q, P, t) : PtEll, PtEll, RngIntElt -> RngIntElt
- Log(b, x): QuadBinElt, QuadBinElt -> RngIntElt
- Log(b, x, t): QuadBinElt, QuadBinElt, RngIntElt -> RngIntElt
- Log(x) : RngPadElt -> RngPadElt
- Log(f) : RngSerElt -> RngSerElt
- Log(f) : RngSerElt -> RngSerElt
- LogCanonicalThreshold(C) : Sch -> FldRatElt, BoolElt
- LogCanonicalThreshold(C, P) : Sch, Pt -> FldRatElt
- LogCanonicalThresholdAtOrigin(C) : Sch -> FldRatElt
- LogCanonicalThresholdOverExtension(C) : Sch -> FldRatElt
- LogDerivative(s) : FldReElt -> FldReElt
- LogGamma(r) : FldReElt -> FldReElt
- LogGamma(f) : RngSerElt -> RngSerElt
- LogIntegral(r) : FldReElt -> FldReElt
- RayClassGroupDiscLog(y, D) : DivFunElt, DivFunElt -> GrpAbElt
- SUnitDiscLog(SU, x, S) : Map, FldAlgElt, SeqEnum[RngOrdIdl] -> GrpAbElt
- SetLogFile(F) : MonStgElt ->
- SetLogFile(F) : MonStgElt ->
- UnsetLogFile() : ->
- ZechLog(K, n) : FldFin, RngIntElt -> RngIntElt
- FldFin_Log (Example H22E5)
log
- Discrete Logarithms (BINARY QUADRATIC FORMS)
- Discrete Logarithms (FINITE FIELDS)
- Log Canonical Thresholds (ALGEBRAIC CURVES)
- Logarithms and Exponentials (p-ADIC RINGS AND THEIR EXTENSIONS)
- RngLoc_log (Example H48E16)
log-canonical-thresholds
- Log Canonical Thresholds (ALGEBRAIC CURVES)
log-exp
- Logarithms and Exponentials (p-ADIC RINGS AND THEIR EXTENSIONS)
Logarithm
- EllipticLogarithm(E, S): CrvEll, [ FldComElt ] -> FldComElt
- EllipticLogarithm(P, k): PtEll[FldNum], RngIntElt -> FldComElt
- EllipticLogarithm(P): PtEll[FldRat] -> FldComElt
- pAdicEllipticLogarithm(P, p: parameters): PtEll, RngIntElt -> FldLocElt
logarithm
- Exponential and Logarithmic Functions (POWER, LAURENT AND PUISEUX SERIES)
- Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
logarithm-exponential
- Exponential and Logarithmic Functions (POWER, LAURENT AND PUISEUX SERIES)
- Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
Logarithmic
- AbsoluteLogarithmicHeight(a) : FldAlgElt -> FldReElt
- LogarithmicFieldExtension(F, f) : RngDiff, RngDiffElt -> RngDiff
LogarithmicFieldExtension
- LogarithmicFieldExtension(F, f) : RngDiff, RngDiffElt -> RngDiff
LogCanonicalThreshold
- LCT(C) : Sch -> FldRatElt,BoolElt
- LogCanonicalThreshold(C) : Sch -> FldRatElt, BoolElt
- LogCanonicalThreshold(C, P) : Sch, Pt -> FldRatElt
LogCanonicalThresholdAtOrigin
- LogCanonicalThresholdAtOrigin(C) : Sch -> FldRatElt
LogCanonicalThresholdOverExtension
- LogCanonicalThresholdOverExtension(C) : Sch -> FldRatElt
LogDerivative
- Psi(s) : FldReElt -> FldReElt
- LogDerivative(s) : FldReElt -> FldReElt
LogGamma
- LogGamma(r) : FldReElt -> FldReElt
- LogGamma(f) : RngSerElt -> RngSerElt
logging
- Logging (FINITELY PRESENTED ALGEBRAS)
- Logging a Session (INPUT AND OUTPUT)
LogIntegral
- LogIntegral(r) : FldReElt -> FldReElt
Logs
- Logs(a) : FldAlgElt -> [FldReElt]
Long
- HighestLongCoroot(R) : RootStr -> .
- HighestLongRoot(R) : RootStr -> .
- HighestLongRoot(R) : RootSys -> .
- HighestRoot(G) : GrpLie -> LatElt
- HighestRoot(W) : GrpPermCox -> .
- IsLongRoot(G, r) : GrpLie, RngIntElt -> BoolElt
- IsLongRoot(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsLongRoot(R, r) : RootStr, RngIntElt -> BoolElt
- IsLongRoot(R, r) : RootSys, RngIntElt -> BoolElt
- LongExactSequenceOnHomology(f, g) : MapChn, MapChn -> ModCpx

V2.28, 13 July 2023

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