Documentation

algebra
- Action of the Algebra on the Module (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- AFFINE ALGEBRAS
- Attributes of Quaternion Algebras (QUATERNION ALGEBRAS)
- Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
- Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
- Functions for Polynomial Algebra and Module Generators (POLYNOMIAL RING IDEAL OPERATIONS)
- Group Algebras (ALGEBRAS WITH INVOLUTION)
- Linear Algebra (PARALLELISM)
- Linear Algebra (SCHEMES)
- Maps between Affine Algebras (AFFINE ALGEBRAS)
- Modules over a General Algebra (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS
- S-algebras (FINITELY PRESENTED ALGEBRAS)
- The Action Algebra (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- The Algebra of an Invariant Ring and Algebraic Relations (INVARIANT THEORY)
- The Hecke Algebra (MODULAR SYMBOLS)
algebra-action
- Action of the Algebra on the Module (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
algebra-attributes
- Attributes of Quaternion Algebras (QUATERNION ALGEBRAS)
algebra-module
- Functions for Polynomial Algebra and Module Generators (POLYNOMIAL RING IDEAL OPERATIONS)
algebra-relations
- The Algebra of an Invariant Ring and Algebraic Relations (INVARIANT THEORY)
AlgebraGenerators
- AlgebraGenerators(A) : AlgMat -> Rec
Algebraic
- AlgebraicClosure() : -> FldAC
- AlgebraicClosure(K) : Fld -> FldAC
- AlgebraicGenerators(G) : GrpLie ->
- AlgebraicGeometricCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicGeometricDualCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicPowerSeries(dp, ip, L, e) : RngUPolElt, RngMPolElt, Lat, RngIntElt -> RngPowAlgElt
- AlgebraicToAnalytic(F, p) : RngUPolTwstElt, PlcFunElt -> RngUPolTwstElt
- DixmierOhnoAlgebraicRelations(DOinv) : SeqEnum -> SeqEnum
- IgusaAlgebraicRelations(JI) : SeqEnum -> SeqEnum
- IsAlgebraic(h) : GrpLieAutoElt -> BoolElt
- IsAlgebraicDifferentialField(R) : Rng -> BoolElt
- IsAlgebraicField(R) : Any -> BoolElt
- IsAlgebraicGeometric(C) : Code -> BoolElt
- NumberOfAlgebraicGenerators(G) : GrpLie -> RngIntElt
- ShiodaAlgebraicInvariants(FJI) : SeqEnum -> SeqEnum
algebraic
- ALGEBRAIC CURVES
- Algebraic Group Actions on Polynomials (INVARIANT THEORY)
- ALGEBRAIC POWER SERIES RINGS
- ALGEBRAIC SURFACES
- Invariant Rings of Linear Algebraic Groups (INVARIANT THEORY)
- NUMBER FIELDS
- NUMBER FIELDS AND ORDERS
- Tensors from Algebraic Objects (MULTILINEAR ALGEBRA)
algebraic-curve
- ALGEBRAIC CURVES
algebraic-field
- NUMBER FIELDS
- NUMBER FIELDS AND ORDERS
algebraic-power-series
- ALGEBRAIC POWER SERIES RINGS
algebraic-surfaces
- ALGEBRAIC SURFACES
Algebraically
- IsAlgebraicallyDependent(S) : RngMPolElt -> BoolElt
- IsAlgebraicallyIsomorphic(G, H) : GrpLie, GrpLie -> BoolElt, Map
algebraically
- ALGEBRAICALLY CLOSED FIELDS
algebraically-closed-field
- ALGEBRAICALLY CLOSED FIELDS
AlgebraicClosure
- AlgebraicClosure() : -> FldAC
- AlgebraicClosure(K) : Fld -> FldAC
AlgebraicGenerators
- AlgebraicGenerators(G) : GrpLie ->
AlgebraicGeometricCode
- AGCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicGeometricCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- CodeAlG_AlgebraicGeometricCode (Example H162E1)
- CodeAlG_AlgebraicGeometricCode (Example H162E2)
AlgebraicGeometricDualCode
- AGDualCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicGeometricDualCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
AlgebraicPowerSeries
- AlgebraicPowerSeries(dp, ip, L, e) : RngUPolElt, RngMPolElt, Lat, RngIntElt -> RngPowAlgElt
AlgebraicToAnalytic
- AlgebraicToAnalytic(F, p) : RngUPolTwstElt, PlcFunElt -> RngUPolTwstElt
AlgebraMap
- AlgebraMap(f) : MapSch -> Map
AlgebraOverCenter
- AlgebraOverCenter(A) : Alg -> AlgAss, Map;
Algebras
- AllNilpotentLieAlgebras(F, d) : Fld, RngIntElt -> SeqEnum
- AllSolvableLieAlgebras(F, d) : Fld, RngIntElt -> SeqEnum
- SimpleQuotientAlgebras(A) : AlgMat -> Rec
algebras
- ALGEBRAS
- ALGEBRAS WITH INVOLUTION
- Algebras with Involution (ALGEBRAS WITH INVOLUTION)
- Associative Structure Constant Algebras from other Algebras (ASSOCIATIVE ALGEBRAS)
- Basic Algebras (BASIC ALGEBRAS)
- Composition Algebras (NON--ASSOCIATIVE ALGEBRAS)
- Construction of a General Algebra (ALGEBRAS)
- Construction of a Structure Constant Algebra (STRUCTURE CONSTANT ALGEBRAS)
- Construction of an Associative Structure Constant Algebra (ASSOCIATIVE ALGEBRAS)
- Creation of Free Algebras and Elements (FINITELY PRESENTED ALGEBRAS)
- Generic Operations (NON--ASSOCIATIVE ALGEBRAS)
- Homomorphisms (BASIC ALGEBRAS)
- Invariants (NON--ASSOCIATIVE ALGEBRAS)
- Isomorphisms of Algebras (QUATERNION ALGEBRAS)
- Jordan Algebras (NON--ASSOCIATIVE ALGEBRAS)
- Nonassociative Algebras with Involutions (NON--ASSOCIATIVE ALGEBRAS)
- Operations on Power Associative Algebras (NON--ASSOCIATIVE ALGEBRAS)
- Quotient Algebras (BASIC ALGEBRAS)

V2.28, 13 July 2023

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