Documentation

Tensors-with-structure-constant-sequences
- Tensors with Structure Constant Sequences (MULTILINEAR ALGEBRA)
TensorSlicing
- Multilinear_TensorSlicing (Example H62E34)
TensorSpace
- TensorSpace(V, p, q) : ModTupFld, RngIntElt, RngIntElt -> TenSpc
- TensorSpace(S) : SeqEnum -> TenSpc, List
TensorsToSpaces
- Multilinear_TensorsToSpaces (Example H62E37)
TensorWreathProduct
- TensorWreathProduct(G, H) : GrpMat, GrpPerm -> GrpMat
TenSpcCategories
- Multilinear_TenSpcCategories (Example H62E59)
TenSpcContainment
- Multilinear_TenSpcContainment (Example H62E54)
TenSpcProperties
- Multilinear_TenSpcProperties (Example H62E58)
tensprod
- Tensor Products (L-FUNCTIONS)
tensprod-check
- Chtr_tensprod-check (Example H98E6)
tensprod-overK
- Lseries_tensprod-overK (Example H136E28)
Term
- IrreducibleLowTermGF2Polynomial(n) : RngIntElt -> RngUPolElt
- IsOrderTerm(s) : RngDiffElt -> BoolElt
- IsZeroTerm(C, n) : ModCpx, RngIntElt -> BoolElt
- LeadingTerm(f) : AlgFrElt -> AlgFrElt
- LeadingTerm(x) : GrpGPCElt -> GrpGPCElt
- LeadingTerm(x) : GrpPCElt -> GrpPCElt
- LeadingTerm(L) : RngDiffOpElt -> RngDiffOpElt
- LeadingTerm(f) : RngMPolElt -> RngMPolElt
- LeadingTerm(f, i) : RngMPolElt, RngIntElt -> RngMPolElt
- LeadingTerm(s) : RngPowLazElt -> RngPowLazElt
- LeadingTerm(f) : RngSerElt -> RngElt
- LeadingTerm(p) : RngUPolElt -> RngUPolElt
- LeadingTerm (f) : SnuElement -> RngSerPowElt
- Term(C, n) : ModCpx, RngIntElt -> ModAlg
- Term(f, i, k) : RngMPolElt, RngIntElt, RngIntElt -> RngMPolElt
- TorusTerm(G, r, t) : GrpLie, RngIntElt, RngElt -> GrpLieElt
- TrailingTerm(f) : AlgFrElt -> RngElt
- TrailingTerm(f) : RngMPolElt -> RngElt
- TrailingTerm(f, i) : RngMPolElt, RngIntElt -> RngElt
- TrailingTerm(p) : RngUPolElt -> RngUPolElt
- WeierstrassTerm (f) : SnuElement -> RngSerPowElt
term
- Coefficients and Terms (UNIVARIATE POLYNOMIAL RINGS)
- Coefficients, Monomials and Terms (MULTIVARIATE POLYNOMIAL RINGS)
- Coefficients, Monomials, Terms and Degree (FINITELY PRESENTED ALGEBRAS)
Terminal
- IsTerminal(C) : TorCon -> BoolElt
- IsTerminal(F) : TorFan -> BoolElt
- IsTerminal(X) : TorVar -> BoolElt
- IsTerminalThreefold(B) : GRBskt -> BoolElt
- IsTerminalThreefold(p) : GRPtS -> BoolElt
- TerminalIndex(p) : GRPtS -> RngIntElt
- TerminalPolarisation(p) : GRPtS -> SeqEnum
- TerminalVertex(e) : GrphEdge -> GrphVert
- TerminalVertex(e) : GrphEdge -> GrphVert
TerminalIndex
- TerminalIndex(p) : GRPtS -> RngIntElt
Terminalisation
- Terminalisation(F) : TorFan -> TorFan
- Terminalisation(X) : TorVar -> TorVar, TorMap
TerminalPolarisation
- TerminalPolarisation(p) : GRPtS -> SeqEnum
TerminalVertex
- TerminalVertex(e) : GrphEdge -> GrphVert
- TerminalVertex(e) : GrphEdge -> GrphVert
terminology
- Terminology (GROUPS DEFINED BY REWRITE SYSTEMS)
- Terminology (L-FUNCTIONS)
- Terminology (MONOIDS GIVEN BY REWRITE SYSTEMS)
Terms
- DimensionsOfTerms(C) : ModCpx -> SeqEnum
- LeadingTerms (M) : SpMat -> Mtrx
- LeadingTerms (v) : SpVec -> ModTupRngElt
- PrintTermsOfDegree(s, l, n) : RngPowLazElt, RngIntElt, RngIntElt ->
- Terms(f) : AlgFrElt -> [ AlgFrElt ]
- Terms(C) : ModCpx -> SeqEnum
- Terms(L) : RngDiffOpElt -> SeqEnum
- Terms(f) : RngMPolElt -> [ RngMPolElt ]
- Terms(f, i) : RngMPolElt, RngIntElt -> [ RngMPolElt ]
- Terms(p) : RngUPolElt -> [ RngUPolElt ]
- WeierstrassTerms (M) : SpMat -> Mtrx
- WeierstrassTerms (v) : SpVec -> ModTupRngElt
- AlgFP_Terms (Example H89E2)
- AlgFP_Terms (Example H89E3)
terms
- Accessing the Underlying Representation (MODULES OVER MULTIVARIATE RINGS)
- Coefficients and Terms (DIFFERENTIAL RINGS)
- Coefficients and Terms (DIFFERENTIAL RINGS)
Ternary
- AutomorphismGroupOfTernaryQuartic(f, Autos) : RngMPolElt , SeqEnum -> GrpPerm, Map
- AutomorphismGroupOfPlaneQuartic(X, Autos) : CrvPln , SeqEnum -> GrpPerm, Map
- AutomorphismGroupOfPlaneQuartic(X) : CrvPln -> GrpPerm, Map
- AutomorphismsOfPlaneQuartic(X) : CrvPln -> SeqEnum
- DiscriminantOfTernaryQuartic(f) : RngMPolElt -> Any
- IsIsomorphicPlaneQuartics(X1, X2) : CrvPln , CrvPln -> BoolElt, SeqEnum
- IsomorphismsOfPlaneQuartics(X1, X2) : CrvPln , CrvPln -> SeqEnum
- MinRedTernaryForm(F) : RngMPolElt -> RngMPolElt, AlgMatElt, FldRatElt
- MinimizeTernaryForm(F) : RngMPolElt -> RngMPolElt, AlgMatElt, RngIntElt
- MinimizeTernaryFormAtp(F,p) :RngMPolElt, RngIntElt -> RngMPolElt, AlgMatElt, RngIntElt
- PlaneQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> Crv, SeqEnum
- ReducePlaneCurve(C) : Crv -> Crv, Mtrx

V2.28, 13 July 2023

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