Documentation

examples1-ambients
- Ambients (ALGEBRAIC CURVES)
examples1-curve
- Curves (ALGEBRAIC CURVES)
examples2
- Advanced Examples (ALGEBRAIC CURVES)
- Algebraic Geometric Codes (ALGEBRAIC CURVES)
- Trigonal Curves (ALGEBRAIC CURVES)
examples2-codes
- Algebraic Geometric Codes (ALGEBRAIC CURVES)
examples2-trigonal
- Trigonal Curves (ALGEBRAIC CURVES)
Exceptional
- ExceptionalConstructiveRecognition(G, type, rank, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- ExceptionalDivisors(S) : Srfc -> List, List
- ExceptionalJordanCSA(O) : AlgGen -> AlgGen
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt
- ExceptionalStandardGenerators(type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> []
- ExceptionalStandardPresentation (type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
- ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
- ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
- IsExceptionalUnit(u) : RngOrdElt -> BoolElt
exceptional
- Constructive Recognition for Exceptional Groups (MATRIX GROUPS OVER FINITE FIELDS)
- Exceptional Groups (ALMOST SIMPLE GROUPS)
- Maximal Subgroups of the Exceptional Groups (ALMOST SIMPLE GROUPS)
- Sylow Subgroups of Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-crc
- Constructive Recognition for Exceptional Groups (MATRIX GROUPS OVER FINITE FIELDS)
exceptional-groups
- Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-maximals
- Maximal Subgroups of the Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-sylow
- Sylow Subgroups of Exceptional Groups (ALMOST SIMPLE GROUPS)
ExceptionalConstructiveRecognition
- ExceptionalConstructiveRecognition(G, type, rank, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- GrpMatFF_ExceptionalConstructiveRecognition (Example H67E12)
ExceptionalDivisors
- ExceptionalDivisors(S) : Srfc -> List, List
ExceptionalJordanCSA
- ExceptionalJordanCSA(O) : AlgGen -> AlgGen
ExceptionalRewrite
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt
ExceptionalStandardGenerators
- ExceptionalStandardGenerators(type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> []
ExceptionalStandardPresentation
- ExceptionalStandardPresentation (type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
ExceptionalUnitOrbit
- ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
ExceptionalUnits
- ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
Excess
- Excess(G) : SymGenLoc -> RngIntResElt
Exchange
- AsyncExchangeVersions(I) : IO ->
- ExchangeVersions(I) : IO ->
- ExchangeVersions(I) : IO ->
- RecogniseExchangeSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
ExchangeVersions
- ExchangeVersions(I) : IO ->
- ExchangeVersions(I) : IO ->
Exclude
- Exclude(~S, x) : SeqEnum, Elt ->
- Exclude(~S, x) : SetEnum, Elt ->
Excluded
- ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
- ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
- ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
- ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExcludedConjugate
- ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
- ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
ExcludedConjugates
- ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
- ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
- ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
- GrpFP_ExcludedConjugates (Example H80E38)
ExfoliateFoliation
- Multilinear_ExfoliateFoliation (Example H63E36)
Exists
- ExistsConwayPolynomial(p, n) : RngIntElt, RngIntElt -> BoolElt, RngUPolElt
- ExistsCosetSatisfying(P : parameters) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
- ExistsCoveringStructure(S, T) : Str, Str -> BoolElt, Str
- ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
- ExistsGroupData(D, o1, o2): DB, RngIntElt, RngIntElt -> BoolElt
- ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
- ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
- GeodesicExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
- PathExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
- Set_Exists (Example H10E12)
exists
- exists(t){ e(x): x in E | P(x) }
- exists(t){ e(x₁, ..., x_k): x₁ in E₁,..., x_k in E_k | P(x₁, ..., x_k) }
ExistsConwayPolynomial
- ExistsConwayPolynomial(p, n) : RngIntElt, RngIntElt -> BoolElt, RngUPolElt
ExistsCosetSatisfying
- ExistsCosetSatisfying(P : parameters) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsCoveringStructure
- ExistsCoveringStructure(S, T) : Str, Str -> BoolElt, Str
ExistsExcludedConjugate
- ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsGroupData
- ExistsGroupData(D, o1, o2): DB, RngIntElt, RngIntElt -> BoolElt
ExistsModularCurveDatabase
- ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
ExistsNormalisingCoset
- ExistsNormalizingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
- ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsNormalizingCoset
- ExistsNormalizingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
- ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
Exit
- GetExitSummary() : ->
- SetExitSummary(b) : BoolElt ->
Exp
- Exp(c) : FldComElt -> FldComElt
- Exp(x, p) : RngElt, PlcFunElt -> RngUPolTwstElt
- Exp(x) : RngPadElt -> RngPadElt
- Exp(f) : RngSerElt -> RngSerElt
- Exp(f) : RngSerElt -> RngSerElt

V2.29, 28 November 2025

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