Documentation

extension
- CLASS FIELD THEORY
- Construction of Extensions (FINITELY PRESENTED GROUPS)
- Construction of Extensions (GROUPS)
- Construction of Extensions (MATRIX GROUPS OVER GENERAL RINGS)
- Construction of Extensions (POLYCYCLIC GROUPS)
- Direct Sums (FREE MODULES)
- Extension and Contraction of Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
- Extensions (FINITELY PRESENTED SEMIGROUPS)
- Ground Field and Relationships (FINITE FIELDS)
- New Groups from Existing (FINITE SOLUBLE GROUPS)
- Standard Groups and Extensions (GROUPS)
- Subgroups, Quotient Groups, Homomorphisms and Extensions (POLYCYCLIC GROUPS)
- The Construction of Extensions and their Elements (MATRIX ALGEBRAS)
- Transcendental Extension (INTRODUCTION TO RINGS [BASIC RINGS])
- Variable Extension of Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
- GrpPC_extension (Example H69E6)
extension-contraction
- Extension and Contraction of Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
extension-standard-group
- Standard Groups and Extensions (GROUPS)
ExtensionClasses
- ExtensionClasses(D, Q) : DB, MonStgElt -> SetEnum
ExtensionExponents
- ExtensionExponents(D, Q, p) : DB, MonStgElt, RngIntElt -> SetEnum
ExtensionField
- ExtensionField<F, x | P> : FldFin, ... -> FldFin, Map
ExtensionNumbers
- ExtensionNumbers(D, Q, p, r) : DB, MonStgElt, RngIntElt, RngIntElt -> SetEnum
ExtensionPrimes
- ExtensionPrimes(D, Q) : DB, MonStgElt -> SetEnum
ExtensionProcess
- ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> GrpFPExtProc
- ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> Process
Extensions
- AllExtensions(R, n) : RngPad, RngIntElt -> [RngPad]
- CentralExtensions(G, U, Q) : GrpPC, GrpPC, [AlgMatElt] -> [GrpPC]
- DistinctExtensions(CM) : ModCoho -> SeqEnum
- ExtensionsOfElementaryAbelianGroup(p, d, G) : RngIntElt, RngIntElt, GrpPerm -> SeqEnum
- ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
- NumberOfExtensions(R, n) : RngPad, RngIntElt -> RngIntElt
- o`CyclotomicExtensions : RngOrd -> [Rec]
- FldFin_Extensions (Example H22E1)
- GrpPC_Extensions (Example H69E51)
- Grp_Extensions (Example H63E11)
extensions
- Abelian Extensions (CLASS FIELD THEORY)
- Abelian Extensions (CLASS FIELD THEORY)
- Central Extensions (FINITE SOLUBLE GROUPS)
- Cohomology and Extensions (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Constructing Distinct Extensions (COHOMOLOGY AND EXTENSIONS)
- Constructing Extensions (COHOMOLOGY AND EXTENSIONS)
- Extensions (CHAIN COMPLEXES)
- Extensions (p-ADIC RINGS AND THEIR EXTENSIONS)
- Extensions of Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Extensions of Series Rings (POWER, LAURENT AND PUISEUX SERIES)
- Ring and Field Extensions (DIFFERENTIAL RINGS)
extensions-abelian
- GrpCoh_extensions-abelian (Example H74E21)
extensions-ring-diff
- Ring and Field Extensions (DIFFERENTIAL RINGS)
extensions-soluble
- GrpCoh_extensions-soluble (Example H74E22)
extensions_eg
- RngSer_extensions_eg (Example H50E5)
ExtensionsOfElementaryAbelianGroup
- ExtensionsOfElementaryAbelianGroup(p, d, G) : RngIntElt, RngIntElt, GrpPerm -> SeqEnum
ExtensionsOfSolubleGroup
- ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
Exterior
- DecomposeExteriorPower(R, n, w) : RootDtm, RngIntElt, [ ] -> [ ModTupRngElt ], [ RngIntElt ]
- Exterior(P, C) : Plane, { PlanePt } -> { PlanePt }
- ExteriorAlgebra(K, n) : Fld, RngIntElt -> AlgExt
- ExteriorCotensorSpace(V, n) : ModTupFld, RngIntElt -> TenSpc
- ExteriorPower(a,r) : AlgMat, RngIntElt -> AlgMatElt
- ExteriorPower(V, n) : ModAlg, RngIntElt -> ModAlg, Map
- ExteriorPower(V, n) : ModAlg, RngIntElt -> ModAlg, Map
- ExteriorSquare(a) : AlgMatElt -> AlgMatElt
- ExteriorSquare(L) : Lat -> Lat
- ExteriorSquare(M) : ModMat -> ModMat
- H1DimensionSymmetricSquare(G, f, K) : GrpFP, Map, Rng -> RngIntElt
exterior
- Exterior Algebras (FINITELY PRESENTED ALGEBRAS)
ExteriorAlgebra
- ExteriorAlgebra(K, n) : Fld, RngIntElt -> AlgExt
- PMod_ExteriorAlgebra (Example H116E10)
ExteriorCotensorSpace
- ExteriorCotensorSpace(V, n) : ModTupFld, RngIntElt -> TenSpc
ExteriorPower
- ExteriorPower(a,r) : AlgMat, RngIntElt -> AlgMatElt
- ExteriorPower(V, n) : ModAlg, RngIntElt -> ModAlg, Map
- ExteriorPower(V, n) : ModAlg, RngIntElt -> ModAlg, Map
ExteriorSquare
- ExteriorSquare(a) : AlgMatElt -> AlgMatElt
- ExteriorSquare(L) : Lat -> Lat
- ExteriorSquare(M) : ModMat -> ModMat
External
- AllPassants(P, A) : Plane, { PlanePt } -> { PlaneLn }
- ExternalLines(P, A) : Plane, { PlanePt } -> { PlaneLn }
- GetHelpExternalBrowser() : -> MonStgElt, MonStgElt
- GetHelpExternalSystem() : -> MonStgElt
- GetHelpUseExternal() : -> BoolElt, BoolElt
- SetHelpExternalBrowser(S, T) : MonStgElt, MonStgElt ->
- SetHelpExternalSystem(s) : MonStgElt ->
- SetHelpUseExternalBrowser(b) : BoolElt ->
- SetHelpUseExternalSystem(b) : BoolElt ->

V2.28, 13 July 2023

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