Documentation

evaluate
- Evaluation (RATIONAL FUNCTION FIELDS)
evaluate-funfld-example
- Scheme_evaluate-funfld-example (Example H119E10)
EvaluateAt
- EvaluateAt(L, p) : LP, Mtrx -> RngIntElt
EvaluateByPowerSeries
- EvaluateByPowerSeries(m, P) : MapSch, Pt -> Pt
EvaluatePolynomial
- EvaluatePolynomial(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt
Evaluation
- ComplexEvaluation(J, P) : JacketMot, RngOrdIdl -> FldComElt
- EvaluationPowerSeries(s, nu, v) : Tup, SeqEnum, SeqEnum -> RngPowAlgElt
- GetEvaluationComparison(R) : RngSLPol -> FldFin, RngIntElt
- InitializeEvaluation(R, S) : RngSLPol, [RngElt] ->
- SetEvaluationComparison(R, F, n) : RngSLPol, FldFin, RngIntElt ->
evaluation
- Evaluation (FINITELY PRESENTED ALGEBRAS)
- Evaluation (INTEGER RESIDUE CLASS RINGS)
- Evaluation and Derivative (POWER, LAURENT AND PUISEUX SERIES)
- Evaluation in Magma (MAGMA SEMANTICS)
- Evaluation, Interpolation (MULTIVARIATE POLYNOMIAL RINGS)
- Evaluation, Interpolation (UNIVARIATE POLYNOMIAL RINGS)
- The Evaluation Process Revisited (MAGMA SEMANTICS)
evaluation-derivative
- Evaluation and Derivative (POWER, LAURENT AND PUISEUX SERIES)
evaluation-interpolation
- Evaluation, Interpolation (MULTIVARIATE POLYNOMIAL RINGS)
EvaluationPowerSeries
- EvaluationPowerSeries(s, nu, v) : Tup, SeqEnum, SeqEnum -> RngPowAlgElt
Even
- EvenSubalgebra(C : parameters) : AlgClff -> AlgAss, Map
- EvenSublattice(L) : Lat -> Lat, Map
- EvenWeightCode(n) : RngIntElt -> Code
- EvenWeightSubcode(C) : Code -> Code
- HasSquareSha(J) : JacHyp -> BoolElt
- InvolutionClassicalGroupEven(G : parameters) : GrpMat[FldFin] ->GrpMatElt[FldFin], GrpSLPElt, RngIntElt
- IsDoublyEven(C) : Code -> BoolElt
- IsEven(C) : Code -> BoolElt
- IsEven(chi) : GrpDrchElt -> BoolElt
- IsEven(chi) : GrpDrchNFElt -> BoolElt
- IsEven(G): GrpPerm -> BoolElt
- IsEven(g) : GrpPermElt -> BoolElt
- IsEven(L) : Lat -> BoolElt
- IsEven(n) : RngIntElt -> BoolElt
- IsTotallyEven(chi) : GrpDrchElt -> BoolElt
- IsTotallyEven(chi) : GrpDrchNFElt -> BoolElt
EvenDimMinus
- AlgClff_EvenDimMinus (Example H95E8)
EvenDimPlus
- AlgClff_EvenDimPlus (Example H95E7)
EvenSubalgebra
- EvenSubalgebra(C : parameters) : AlgClff -> AlgAss, Map
EvenSublattice
- EvenSublattice(L) : Lat -> Lat, Map
EvenWeightCode
- EvenWeightCode(n) : RngIntElt -> Code
EvenWeightSubcode
- EvenWeightSubcode(C) : Code -> Code
Everywhere
- HasIndexOneEverywhereLocally(C) : CrvHyp -> BoolElt
- HasPointsEverywhereLocally(f,q) : RngUPolElt, RngIntElt -> BoolElt
Evolution
- DensityEvolutionBinarySymmetric(v, c, p) : RngIntElt, RngIntElt, FldReElt -> BoolElt
- DensityEvolutionGaussian(v, c, σ) : RngIntElt, RngIntElt, FldReElt -> BoolElt
evolution
- Density Evolution (LOW DENSITY PARITY CHECK CODES)
ex-1
- GrpASim_ex-1 (Example H71E14)
- GrpASim_ex-1 (Example H71E18)
ex-2
- GrpASim_ex-2 (Example H71E15)
ex-3
- GrpASim_ex-3 (Example H71E16)
ex-4
- GrpASim_ex-4 (Example H71E17)
ex1
- Example: Local and Global Epsilon Factors for Dirichlet Characters (LOCAL GALOIS REPRESENTATIONS)
- Handmade L-series of an Elliptic Curve (L-FUNCTIONS)
ex2
- Example: Reconstructing a Galois Representation from its Euler Factors (LOCAL GALOIS REPRESENTATIONS)
- Self-made Dedekind Zeta Function (L-FUNCTIONS)
- Scheme_ex2 (Example H119E2)
ex3
- Handmade L-series of a Hyperelliptic Curve (L-FUNCTIONS)
- Scheme_ex3 (Example H119E3)
ex4
- Experimental Mathematics for Small Conductor (L-FUNCTIONS)
- Scheme_ex4 (Example H119E4)
ex5
- Tensor Product of L-series Coming from l-adic Representations (L-FUNCTIONS)
- Scheme_ex5 (Example H119E5)
ex6
- Non-abelian Twist of an Elliptic Curve (L-FUNCTIONS)
- Unitary Twist with Central Vanishing (L-FUNCTIONS)
- Scheme_ex6 (Example H119E6)
Exact
- ClassGroupExactSequence(F) : FldFunG -> Map, Map, Map
- ClassGroupExactSequence(O) : RngFunOrd -> Map, Map, Map
- DegreeOfExactConstantField(m) : DivFunElt -> RngIntElt
- DegreeOfExactConstantField(m, U) : DivFunElt, GrpAb -> RngIntElt
- DegreeOfExactConstantField(A) : FldFunAb -> RngIntElt
- DimensionOfExactConstantField(F) : FldFunG -> RngIntElt
- ExactConstantField(F) : FldFunG -> Rng, Map
- ExactConstantField(F) : RngDiff -> RngDiff, Map
- ExactExtension(C) : ModCpx -> ModCpx
- ExactPolynomial(f) : RngUPolXPadElt -> RngUPolXPadElt
- ExactQuotient(n, d) : RngIntElt, RngIntElt -> RngIntElt
- ExactQuotient(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
- ExactValue(z) : SpcHydElt -> .
- ExactValue(z) : SpcHypElt -> .
- IsExact(a) : DiffCrvElt -> BoolElt
- IsExact(d) : DiffFunElt -> BoolElt, FldFunGElt
- IsExact(L) : Lat -> BoolElt
- IsExact(x) : ModAbVarElt -> BoolElt
- IsExact(C) : ModComplex -> BoolElt
- IsExact(C, n) : ModCpx, RngIntElt -> BoolElt
- IsExact(z) : SpcHydElt -> BoolElt, .
- IsExact(z) : SpcHypElt -> BoolElt
- IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
- IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt
- LeftExactExtension(C) : ModCpx -> ModCpx
- LongExactSequenceOnHomology(f, g) : MapChn, MapChn -> ModCpx
- NumberOfPlacesOfDegreeOneECFBound(C) : Crv -> RngIntElt
- NumberOfPlacesOfDegreeOneECFBound(F) : FldFunG -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(C) : Crv[FldFin] -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F) : FldFunG -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F, m) : FldFunG, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantFieldBound(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFunG, RngIntElt -> RngIntElt
- RightExactExtension(C) : ModCpx -> ModCpx
- RootsNonExact(p) : RngUPolElt[FldRe] -> [ FldComElt ], [ FldComElt ]
- SClassGroupExactSequence(S) : SetEnum[PlcFunElt] -> Map, Map, Map
- f div g : RngMPolElt, RngMPolElt -> RngMPolElt

V2.28, 13 July 2023

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