Documentation

basis
- Bases (FREE MODULES)
- Bases (LIE ALGEBRAS)
- Bases (VECTOR SPACES)
- Bases of Ideals (ASSOCIATIVE ALGEBRAS)
- Bases of Orders (ASSOCIATIVE ALGEBRAS)
- Basis (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Basis of a Module (MODULES OVER DEDEKIND DOMAINS)
- Basis of a Pseudo Matrix (MODULES OVER DEDEKIND DOMAINS)
- Basis Representation (NUMBER FIELDS AND ORDERS)
- Basis Representation (NUMBER FIELDS AND ORDERS)
- Basis Representation (NUMBER FIELDS)
- Change Ring and Base Change (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Construction of a Module with Specified Basis (FREE MODULES)
- Construction of Gröbner Bases (GRÖBNER BASES)
- Construction of Standard Bases (LOCAL POLYNOMIAL RINGS)
- Module Bases (MODULES OVER MULTIVARIATE RINGS)
- Modules Hom_R(M, N) with Given Basis (FREE MODULES)
- Predicates on Basis Types (SYMMETRIC FUNCTIONS)
- The Dense Variant of the F₄ algorithm (GRÖBNER BASES)
basis-bool
- HasElementaryBasis(A): AlgSym -> BoolElt
- HasPowerSumBasis(A): AlgSym -> BoolElt
- HasMonomialBasis(A): AlgSym -> BoolElt
- Predicates on Basis Types (SYMMETRIC FUNCTIONS)
basis-oper
- Bases (LIE ALGEBRAS)
basis-other
- ModDed_basis-other (Example H61E5)
basis-ring
- FldNum_basis-ring (Example H36E10)
- RngOrd_basis-ring (Example H39E13)
Basis_Reduction
- AlgQuat_Basis_Reduction (Example H95E22)
BasisChange
- BasisChange(R,v) : RootStr, Any -> SeqEnum
BasisDenominator
- BasisDenominator(L) : Lat -> RngIntElt
BasisElement
- BasisElement(C, S) : AlgClff, SetEnum -> AlgClffElt
- BasisElement(I, i) : AlgFr, RngIntElt -> AlgFrElt
- BasisElement(A, i) : AlgGen, RngIntElt -> AlgGenElt
- BasisElement(A, i) : AlgLie, RngIntElt -> AlgLieElt
- BasisElement(R, i) : AlgMatV, RngIntElt -> AlgMatElt
- BasisElement(M, i) : ModMPol, RngIntElt -> RngMPolElt
- BasisElement(V, i) : ModTupFld, RngIntElt -> ModTupFldElt
- BasisElement(I, i) : RngMPol, RngIntElt -> RngMPolElt
- BasisElement(I, i) : RngMPolLoc, RngIntElt -> RngMPolLocElt
BasisMatrix
- BasisMatrix(L) : LatNF -> Mtrx
- Basis(L) : LatNF -> [ModTupFldElt]
- BasisMatrix(I) : AlgAssVOrdIdl -> AlgMatElt
- BasisMatrix(S) : AlgGrpSub -> ModMatRngElt
- BasisMatrix(S) : AlgQuatOrd -> AlgMatElt
- BasisMatrix(L) : Lat -> ModMatRngElt
- BasisMatrix(M) : ModMPol -> ModMatRngElt
- BasisMatrix(V) : ModTupFld -> ModMatElt
- BasisMatrix(O) : RngFunOrd -> AlgMatElt
- BasisMatrix(I) : RngFunOrdIdl -> AlgMatElt
- BasisMatrix(O) : RngOrd -> AlgMatElt
- BasisMatrix(I) : RngOrdFracIdl -> MtrxSpcElt
- BasisMatrix (S) : SpSpc -> SpMat
- BasisMatrix(e) : SubModLatElt -> Mtrx
- GeneratorMatrix(C) : Code -> ModMatFldElt
- GeneratorMatrix(C) : Code -> ModMatFldElt
- PseudoBasis(I, R) : AlgAssVOrdIdl[RngOrd], Str -> SeqEnum
BasisOfDegree0CoxMonomials
- BasisOfDegree0CoxMonomials(X) : TorVar -> SeqEnum
BasisOfDifferentialsFirstKind
- BasisOfHolomorphicDifferentials(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
BasisOfHolomorphicDifferentials
- BasisOfHolomorphicDifferentials(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
BasisOfHolomorphicTwoForms
- BasisOfHolomorphicTwoForms(S) : Srfc -> SeqEnum[RngMPolElt], RngMPolElt, SeqEnum, List
BasisOfRationalFunctionField
- BasisOfRationalFunctionField(X) : TorVar -> SeqEnum
BasisProduct
- BasisProduct(C, i, j) : AlgClff, RngIntElt, RngIntElt -> AlgGenElt
- BasisProduct(C, L) : AlgClff, SeqEnum -> AlgGenElt
- BasisProduct(A, i, j) : AlgGen, RngIntElt, RngIntElt -> AlgGenElt
- BasisProduct(L, i, j) : AlgLie, RngIntElt, RngIntElt -> AlgLieElt
BasisProducts
- BasisProducts(A) : AlgGen -> SeqEnum
- BasisProducts(L) : AlgLie -> SeqEnum
BasisReduction
- BasisReduction(L) : Lat -> Lat, AlgMatElt
- BasisReduction(X) : ModMatRngElt -> ModMatRngElt, AlgMatElt, RngIntElt
BasisScaling
- L / r : Lat NF, LatNF -> LatNF
- BasisScaling(L, r) : LatNF, RngElt -> LatNF
- r * L : RngElt, LatNF -> LatNF
Basket
- Basket(X) : GRSch -> Bskt
- Basket(Q) : SeqEnum -> GRBskt
- EmptyBasket() : . -> GRBskt
- MakeBasket(Q) : SeqEnum -> GRBskt
- RawBasket(X) : GRSch -> SeqEnum
basket
- Baskets of Singularities (HILBERT SERIES OF POLARISED VARIETIES)
- Tests for Baskets (HILBERT SERIES OF POLARISED VARIETIES)

V2.29, 21 October 2025

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