[____] [____] [_____] [____] [__] [Index] [Root]
Index L
L-key
l
l-key
l
Labelling
Labelling(G) : GrpPerm -> SetIndx
language
Language (OVERVIEW)
Laplace
Laplace(f) : RngPowElt -> RngPowElt
LargestClique
LargestClique(G) : GrphUnd -> { Vert }
LargestIndependent
LargestIndependent(G) : GrphUnd -> { Vert }
Lattice
Lattice(O) : RngOrd -> ModLat
lattice
Operations on Lattice Elements (GENERAL MODULES)
Submodule Lattices (GENERAL MODULES)
lattice-element
Operations on Lattice Elements (GENERAL MODULES)
LatticeOperations
Grp_LatticeOperations (Example H11E16)
LatticeOps
RMod_LatticeOps (Example H36E22)
lattices
Operations on Lattices (GENERAL MODULES)
Laurent
POWER SERIES AND LAURENT SERIES
Rings, Fields, and Algebras (OVERVIEW)
LaurentSeriesAlgebra
LaurentSeriesRing(R) : Rng -> AlgPowSer
LaurentSeriesRing
LaurentSeriesRing(R) : Rng -> AlgPowSer
LCM
LeastCommonMultiple(m, n) : RngIntElt, RngIntElt -> RngIntElt
LeastCommonMultiple(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
LeastCommonMultiple(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
LeastCommonMultiple(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
Lcm
LeastCommonMultiple(m, n) : RngIntElt, RngIntElt -> RngIntElt
LeastCommonMultiple(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
LeastCommonMultiple(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
LeastCommonMultiple(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
lcm
Common Divisors and Common Multiples (MULTIVARIATE POLYNOMIAL RINGS)
Common Divisors and Common Multiples (RING OF INTEGERS)
Common Divisors and Common Multiples (UNIVARIATE POLYNOMIAL RINGS)
le
Comparison (OVERVIEW)
u le v : AlgFPElt, AlgFPElt -> BoolElt
u le v : GrpFPElt, GrpFPElt -> BoolElt
s le t : MonStgElt, MonStgElt -> BoolElt
a le b : RngElt, RngElt -> BoolElt
S le T : SeqEnum, SeqEnum -> BoolElt
u le v : SgpFPElt, SgpFPElt -> BoolElt
e le f : SubGrpLatElt, SubGrpLatElt -> BoolElt
leader
Coset Leaders (ERROR-CORRECTING CODES)
LeadingCoefficient
LeadingCoefficient(u) : AlgFPElt -> RngElt
LeadingCoefficient(p) : RngMPolElt -> RngElt
LeadingCoefficient(f) : RngUPolElt -> RngElt
LeadingExponent
LeadingExponent(x) : GrpPCElt -> RngIntElt
LeadingGenerator
LeadingGenerator(x) : GrpPCElt -> GrpPCElt
LeadingMonomial
LeadingMonomial(p) : RngMPolElt -> RngMPolElt
LeadingMonomialIdeal
LeadingMonomialIdeal(I) : RngMPol -> RngMPol
LeadingTerm
LeadingTerm(x) : GrpPCElt -> GrpPCElt
LeadingTerm(p) : RngMPolElt -> RngMPolElt
LeadingTerm(p) : RngUPolElt -> RngUPolElt
LeadingTotalDegree
LeadingTotalDegree(f) : RngMPolElt -> RngIntElt
LeastCommonMultiple
LeastCommonMultiple(m, n) : RngIntElt, RngIntElt -> RngIntElt
LeastCommonMultiple(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
LeastCommonMultiple(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
LeastCommonMultiple(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
LeftCosetSpace
RightCosetSpace(G, H: parameters) : GrpFP, GrpFP -> GrpFPCos
LegendreSymbol
LegendreSymbol(n, m) : RngIntElt, RngIntElt -> RngIntElt
Length
Length(C) : Code -> RngIntElt
Length(a) : FldNumElt -> FldNumElt
Length(e) : SubGrpLatElt -> RngIntElt
length
Integer-Valued Functions (MAGMA LANGUAGE)
Sequences (OVERVIEW)
The Length of a Word (FINITELY PRESENTED SEMIGROUPS)
length-index
Integer-Valued Functions (MAGMA LANGUAGE)
LengthenCode
LengthenCode(C) : Code -> Code
less
Comparison (OVERVIEW)
lex
Lexicographical Order (lex) (MULTIVARIATE POLYNOMIAL RINGS)
LexProduct
LexProduct(G, H) : GrphDir, GrphDir -> GrphDir
LHS
LHS(r) : Rel -> AlgFPElt
LHS(r) : Rel -> SgpFPElt
r[1] : GrpAbRel, RngIntElt -> GrpAbElt
r[1] : GrpFPRel, RngIntElt -> GrpFPElt
libraries
Databases of Structure Definitions (OVERVIEW)
Libraries of Functions in the Magma Language (OVERVIEW)
library
Databases of Structure Definitions (OVERVIEW)
Libraries of Functions in the Magma Language (OVERVIEW)
lideal
Constructor (OVERVIEW)
lideal<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP
[Future release] lideal<R | L> : AlgMat, List -> AlgMatIdeal
lideal<G | L_1, ..., L_r> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl
Lift
Lift(E, K, h) : GeomEC, Rng, Map -> GeomEC
limit
Limits (FINITELY PRESENTED ALGEBRAS)
Line
Line(p, q) : IncPt, IncPt -> IncBlk
line
Combinatorial and Geometrical Structures (OVERVIEW)
Constructing Complements, Line Graphs; Contraction, Switching (GRAPHS)
The Magma Line Editor (SYSTEM FEATURES)
line-editor
The Magma Line Editor (SYSTEM FEATURES)
linear
Creation of the General Linear Group and its Elements (MATRIX GROUPS)
ERROR-CORRECTING CODES
Modules (OVERVIEW)
Operations with Linear Transformations (VECTOR SPACES)
Permutation Representations of Linear Groups (PERMUTATION GROUPS)
VECTOR SPACES
linear-group
Permutation Representations of Linear Groups (PERMUTATION GROUPS)
linear-transformation
Modules (OVERVIEW)
Operations with Linear Transformations (VECTOR SPACES)
LinearCharacters
LinearCharacters(G): Grp -> SeqEnum
LinearCharacters(G) : GrpMat -> [ Chtr ]
LinearCode
LinearCode(C, S) : Code, FldFin -> Code, Map
LinearCode<K, n | L> : FldFin, RngIntElt, List -> Code
LinearCode(D, K) : Inc, FldFin -> Grph
LinearCode(P, K) : Plane, FldFin -> Grph
LinearRelation
LinearRelation(q: parameters) : [ FldPrElt ] -> [ RngIntElt ]
LinearSpace
LinearSpace(I) : Inc -> IncLsp
LinearSpace< v | X : parameters > : RngIntElt, List -> IncLsp
LinearTrans
KMod_LinearTrans (Example H35E13)
LineGraph
LineGraph(G) : Grph -> Grph
LineGraph(P) : Plane -> Grph
LineGroup
LineGroup(P) : Plane -> GrpPerm
LineOrbits
LineOrbits(G) : GrpMat -> [ GSet ]
Lines
Lines(P) : PlaneLnSet -> { PlaneLn }
lines
Constructing Points and Lines (FINITE PLANES)
LineSet
LineSet(P) : Plane -> PlaneLnSet
list
Elimination List Order (elim) (MULTIVARIATE POLYNOMIAL RINGS)
LISTS
ListCategories
ListCategories() : ->
ListSignatures
ListSignatures(C) : Cat ->
ListTypes
ListCategories() : ->
literal
Literal Sequences (SEQUENCES)
a_1a_2...a_r : RngIntElt, ..., RngIntElt -> RngIntElt
Lix1
GrpFP_Lix1 (Example H14E38)
Lix2
GrpFP_Lix2 (Example H14E39)
Lix3
GrpFP_Lix3 (Example H14E40)
Lix4
GrpFP_Lix4 (Example H14E41)
LLL
LLL(O) : RngOrd -> RngOrd, AlgMatElt
load
Databases of Structure Definitions (OVERVIEW)
Libraries of Functions in the Magma Language (OVERVIEW)
Loading files (OVERVIEW)
load "filename";
loc
loc< R | a_1, ..., a_r > : Rng, RngElt, ..., RngElt -> Rng
local
Local Declarations (MAGMA SEMANTICS)
LOCAL FIELDS
Special Invariants for Integral Curves (ELLIPTIC CURVES)
local-declaration
Local Declarations (MAGMA SEMANTICS)
LocalHeight
LocalHeight(P, p) : GeomECElt, RngIntElt -> FldPrElt
LocalInformation
LocalInformation(E, p) : GeomEC, RgIntElt -> < RngIntElt, RngIntElt, RngIntElt, RngIntElt, KodSym>
Localization
Localization(R, P) : Rng, Rng -> Fld
localization
Localization (INTRODUCTION [RINGS AND FIELDS])
lock
Related files (MAGMA LANGUAGE)
Log
Log(a) : FldFinElt -> RngIntElt
Log(a) : FldLocElt -> RngIntElt
Log(s) : FldPrElt -> FldPrElt
Log(f) : RngSerElt -> RngSerElt
log
Log, Order and Roots (FINITE FIELDS)
log-order-root
Log, Order and Roots (FINITE FIELDS)
logarithm
Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
logarithm-exponential
Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
LogDerivative
LogDerivative(s) : FldPrElt -> FldPrElt
LogGamma
LogGamma(s) : FldPrElt -> FldPrElt
logging
Logging (FINITELY PRESENTED ALGEBRAS)
logical
Booleans (OVERVIEW)
LogIntegral
LogIntegral(s) : FldPrElt -> FldPrElt
logout
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
Logs
Logs(a) : FldNumElt -> [FldReElt]
loop
Iteration (OVERVIEW)
low
Low Index Subgroups (FINITELY PRESENTED GROUPS)
low-index-subgroup
Low Index Subgroups (FINITELY PRESENTED GROUPS)
LowerCentralSeries
LowerCentralSeries(G) : GrpFin -> [ GrpFin ]
LowerCentralSeries(G) : GrpMat -> [ GrpMat ]
LowerCentralSeries(G) : GrpPC -> [GrpPC]
LowerCentralSeries(G) : GrpPerm -> [ GrpPerm ]
LowIndexProcess
LowIndexProcess(G, R : parameters) : GrpFP, RngIntElt -> Process(Lix)
LowIndexSubgroups
LowIndexSubgroups(G, R : parameters) : GrpFP, RngIntElt -> [ GrpFP ]
lt
Comparison (OVERVIEW)
u lt v : AlgFPElt, AlgFPElt -> BoolElt
u lt v : GrpFPElt, GrpFPElt -> BoolElt
s lt t : MonStgElt, MonStgElt -> BoolElt
a lt b : RngElt, RngElt -> BoolElt
S lt T : SeqEnum, SeqEnum -> BoolElt
u lt v : SgpFPElt, SgpFPElt -> BoolElt
e lt f : SubGrpLatElt, SubGrpLatElt -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]