Documentation

ExplicitCoset
- ExplicitCoset(V, i) : GrpFPCos, RngIntElt -> GrpFPCosElt
ExplicitLPSolutionsOne
- LP_ExplicitLPSolutionsOne (Example H169E1)
ExplicitLPSolutionsTwo
- LP_ExplicitLPSolutionsTwo (Example H169E2)
Explode
- Explode(R) : SeqEnum -> List
- Explode(T) : Tup -> t1, t2, ...
Exponent
- Conductor(C) : CrvHyp[FldPad] -> FldPadElt
- ConductorExponent(C) : CrvHyp[FldPad] -> RngIntElt
- ConductorExponent(A) : GalRep -> RngIntElt
- Exponent(G) : GrpAb -> RngIntElt
- Exponent(G) : GrpDrch -> RngIntElt
- Exponent(G) : GrpFin -> RngIntElt
- Exponent(G) : GrpMat -> RngIntElt
- Exponent(G) : GrpPC -> RngIntElt
- Exponent(G) : GrpPerm -> RngIntElt
- Exponent(G) : ModAbVarSubGrp -> RngIntElt
- ExponentDenominator(f) : RngMSerElt -> RngElt
- ExponentDenominator(f) : RngSerElt -> RngIntElt
- ExponentLattice(s) : RngPowAlgElt -> Tup
- ExponentLaw(~P : parameters) : GrpPCpQuotientProc ->
- ExponentSum(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
- LeadingExponent(x) : GrpGPCElt -> RngIntElt
- LeadingExponent(x) : GrpPCElt -> RngIntElt
- MantissaExponent(r) : FldReElt -> RngIntElt, RngIntElt
ExponentDenominator
- ExponentDenominator(f) : RngMSerElt -> RngElt
- ExponentDenominator(f) : RngSerElt -> RngIntElt
Exponential
- EllipticExponential(E, z) : CrvEll, FldComElt -> [ FldComElt ]
- EllipticExponential(E, k, z) : CrvEll, RngIntElt, FldComElt -> [ FldComElt ]
- EllipticExponential(E, S) : CrvEll, [ FldRat ] -> [ FldComElt ]
- ExponentialFieldExtension(F, f) : RngDiff, RngDiffElt -> RngDiff
- ExponentialIntegral(r) : FldReElt -> FldReElt
- ExponentialIntegralE1(r) : FldReElt -> FldReElt
exponential
- Exponential and Logarithmic Functions (POWER, LAURENT AND PUISEUX SERIES)
- Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
ExponentialFieldExtension
- ExponentialFieldExtension(F, f) : RngDiff, RngDiffElt -> RngDiff
ExponentialIntegral
- ExponentialIntegral(r) : FldReElt -> FldReElt
ExponentialIntegralE1
- ExponentialIntegralE1(r) : FldReElt -> FldReElt
ExponentLattice
- ExponentLattice(s) : RngPowAlgElt -> Tup
ExponentLaw
- ExponentLaw(~P : parameters) : GrpPCpQuotientProc ->
Exponents
- Exponents(s) : RngDiffElt -> SeqEnum
- Exponents(f) : RngMPolElt -> [ RngIntElt ]
- Exponents(R) : RootDtm -> SeqEnum
- ExtensionExponents(D, Q, p) : DB, MonStgElt, RngIntElt -> SetEnum
- PuiseuxExponents(p) : RngSerElt -> SeqEnum
- PuiseuxExponentsCommon(p, q) : RngSerElt, RngSerElt -> SeqEnum
- LieReps_Exponents (Example H111E19)
ExponentSum
- Weight(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
- ExponentSum(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
Exporting
- Exporting Tensors (MULTILINEAR ALGEBRA)
Exporting-tensors
- Exporting Tensors (MULTILINEAR ALGEBRA)
expression
- Function Expressions (MAGMA SEMANTICS)
- Procedure Expressions (MAGMA SEMANTICS)
- Runtime Evaluation: the eval Expression (STATEMENTS AND EXPRESSIONS)
- The Case Expression (STATEMENTS AND EXPRESSIONS)
- The Simple Conditional Expression (STATEMENTS AND EXPRESSIONS)
Expressions
- qExpansionExpressions(N) : RngIntElt ->
expressions
- STATEMENTS AND EXPRESSIONS
exps
- Newton_exps (Example H55E8)
Expurgate
- ExpurgateCode(C) : Code -> Code
- ExpurgateCode(C, L) : Code,[ModTupFldElt] -> Code
- ExpurgateWeightCode(C, w) : Code, RngIntElt -> Code
ExpurgateCode
- ExpurgateCode(C) : Code -> Code
- ExpurgateCode(C, L) : Code,[ModTupFldElt] -> Code
ExpurgateWeightCode
- ExpurgateWeightCode(C, w) : Code, RngIntElt -> Code
Ext
- BasicAlgebraOfExtAlgebra(A) : AlgBas -> AlgBas
- BasicAlgebraOfExtAlgebra(A): AlgBas -> AlgBas
- BasicAlgebraOfExtAlgebra(A, n): AlgBas, RngIntElt -> AlgBas
- BasicAlgebraOfExtAlgebra(A, n) : AlgBas, RngIntElt -> AlgBas
- BasicAlgebraOfExtAlgebra(A) : Rec -> AlgBas
- BasicAlgebraOfExtAlgebra(ext) : Rec -> AlgBas
- Ext(M, N) : ModGrp, ModGrp -> ModTupFld
- Ext(i, M, N) : RngIntElt, ModMPol, ModMPol -> ModMPol
- ExtAlgebra(A, n): AlgBas,RngIntElt -> Rec
- ExtGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]
ext
- Precision of Extensions (p-ADIC RINGS AND THEIR EXTENSIONS)
- TotallyRamifiedExtension(L, f) : RngPad, RngUPolElt -> RngPad
- UnramifiedExtension(L, n) : RngPad, RngIntElt -> RngPad
- UnramifiedExtension(L, f) : RngPad, RngUPolElt -> RngPad
- ext< F | s1, ..., sn > : FldAlg, RngUPolElt, ..., RngUPolElt -> FldAlg
- ext<F | n> : FldFin, RngIntElt -> FldFin, Map
- ext<F | P> : FldFin, RngUPolElt[FldFin] -> FldFin, Map
- ext< K | f > : FldFunRat, RngUPolElt -> FldFun
- ext< F | s1, ..., sn > : FldNum, RngUPolElt, ..., RngUPolElt -> FldNum
- ext<K | f> : FldXPad, RngUPolElt -> RngXPad
- ext< L | S > : Lat, List -> Lat
- ext<L | RHS> : LatNF, Any -> LatNF, Map
- ext< R | > : Rng -> RngUPol
- ext< R, n | > : Rng, RngIntElt -> RngMPol
- ext< F | f > : RngDiff, RngUPolElt -> RngDiff
- ext<O | f> : RngFunOrd, RngUPolElt -> RngFunOrd
- ext< Z | f > : RngInt, RngUPolElt -> RngOrd
- ext< O | a₁, ..., a_r > : RngOrd, RngOrdElt, ..., RngOrdElt -> RngOrd
- ext<L | m> : RngPad, Map -> RngPad

V2.28, 13 July 2023

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