Documentation

sub-cartan-toral
- Cartan and Toral Subalgebras (LIE ALGEBRAS)
sub-construct
- Construction of Subalgebras, Ideals and Quotients (LIE ALGEBRAS)
sub-predicates
- GrpPC_sub-predicates (Example H69E16)
sub-quo
- Subalgebras and Quotient Algebras (BASIC ALGEBRAS)
- Subcomplexes and Quotient Complexes (CHAIN COMPLEXES)
- Submodules and Quotient Modules (MODULES OVER MULTIVARIATE RINGS)
- ModDed_sub-quo (Example H60E2)
sub-series
- Standard Series (LIE ALGEBRAS)
sub-sssdb
- Semisimple Subalgebras of Simple Lie Algebras (LIE ALGEBRAS)
sub-std
- Standard Ideals and Subalgebras (LIE ALGEBRAS)
sub-subsu
- Subalgebras of su(d) (REPRESENTATIONS OF LIE GROUPS AND ALGEBRAS)
sub-super-quo
- Sub- and Superlattices and Quotients (LATTICES)
sub_creation
- GrpPC_sub_creation (Example H69E13)
SubAlgebra
- AlgMat_SubAlgebra (Example H90E4)
Subalgebra
- CartanSubalgebra(L) : AlgLie -> AlgLie
- EvenSubalgebra(C : parameters) : AlgClff -> AlgAss, Map
- HasLeviSubalgebra(L) : AlgLie -> BoolElt
- IrreducibleSimpleSubalgebraTreeSU(Q, d) : SeqEnum[SeqEnum[Tup]], RngIntElt -> GrphDir
- IsCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
- IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
- IsSplitToralSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
- IsSplittingCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
- MaximalCommutativeSubalgebra(A,S) : AlgBas, SeqEnum -> AlgBas, Map
- RestrictedSubalgebra(Q) : SetEnum[AlgLieElt] -> AlgLie
- SplitToralSubalgebra(L) : AlgLie -> AlgLie
- SplittingCartanSubalgebra(L) : AlgLie -> AlgLie
- SubalgebraFromBasis(A, V) : AlgBas, SeqEnum -> AlgBas, Map
- SubalgebraModule(B, M): Alg, ModAlg -> ModAlg
subalgebra
- Elementary Operations on Subalgebras and Ideals (MATRIX ALGEBRAS)
- Operations on Subalgebras of Group Algebras (GROUP ALGEBRAS)
subalgebra-ideal
- Elementary Operations on Subalgebras and Ideals (MATRIX ALGEBRAS)
SubalgebraFromBasis
- SubalgebraFromBasis(A, V) : AlgBas, SeqEnum -> AlgBas, Map
SubalgebraModule
- SubalgebraModule(B, M): Alg, ModAlg -> ModAlg
Subalgebras
- IrreducibleSimpleSubalgebrasOfSU(N) : RngIntElt -> SeqEnum
- SubalgebrasInclusionGraph( t ) : MonStgElt -> GrphDir
subalgebras
- Subalgebras and their Constructions (BASIC ALGEBRAS)
SubalgebrasInclusionGraph
- SubalgebrasInclusionGraph( t ) : MonStgElt -> GrphDir
subcan
- Creation of Subcanonical Curves (HILBERT SERIES OF POLARISED VARIETIES)
- Subcanonical Curves (HILBERT SERIES OF POLARISED VARIETIES)
subcan-curv-create
- Creation of Subcanonical Curves (HILBERT SERIES OF POLARISED VARIETIES)
Subcanonical
- EffectiveSubcanonicalCurves(g) : RngIntElt -> SeqEnum
- IneffectiveSubcanonicalCurves(g) : RngIntElt -> SeqEnum
- IsSubcanonicalCurve(g,d,Q) : RngIntElt,RngIntElt,SeqEnum -> BoolElt,GRCrvK
- SubcanonicalCurve(g,d,Q) : RngIntElt,RngIntElt,SeqEnum -> GRCrvK
SubcanonicalCurve
- SubcanonicalCurve(g,d,Q) : RngIntElt,RngIntElt,SeqEnum -> GRCrvK
Subcode
- EvenWeightSubcode(C) : Code -> Code
- Subcode(C, k) : Code, RngIntElt -> Code
- Subcode(C, S) : Code, RngIntElt -> Code
- Subcode(C, S) : Code, { RngIntElt } -> Code
- Subcode(C, t) : Code,RngIntElt -> Code
- Subcode(C, k) : CodeAdd, RngIntElt -> CodeAdd
- Subcode(C, S) : CodeAdd, { RngIntElt } -> Code
- Subcode(Q, k) : CodeQuantum, RngIntElt -> CodeQuantum
- SubcodeBetweenCode(C1, C2, k) : Code, Code, RngIntElt -> Code
- SubcodeBetweenCode(C1, C2, k) : CodeAdd, CodeAdd, RngIntElt -> CodeAdd
- SubcodeWordsOfWeight(C, S) : Code, { RngIntElt } -> Code
- SubcodeWordsOfWeight(C, w) : CodeAdd, RngIntElt -> CodeAdd
- SubcodeWordsOfWeight(C, S) : CodeAdd, { RngIntElt } -> CodeAdd
- SubfieldSubcode(C, S) : Code, FldFin -> Code, Map
subcode
- Subcodes (ADDITIVE CODES)
- Subcodes (LINEAR CODES OVER FINITE FIELDS)
- Subcodes (LINEAR CODES OVER FINITE RINGS)
subcode-galois-rings
- CodeRng_subcode-galois-rings (Example H164E7)
SubcodeBetweenCode
- SubcodeBetweenCode(C1, C2, k) : Code, Code, RngIntElt -> Code
- SubcodeBetweenCode(C1, C2, k) : CodeAdd, CodeAdd, RngIntElt -> CodeAdd
- CodeAdd_SubcodeBetweenCode (Example H166E7)
- CodeFld_SubcodeBetweenCode (Example H161E14)
SubcodeWordsOfWeight
- SubcodeWordsOfWeight(C, S) : Code, { RngIntElt } -> Code
- SubcodeWordsOfWeight(C, w) : CodeAdd, RngIntElt -> CodeAdd
- SubcodeWordsOfWeight(C, S) : CodeAdd, { RngIntElt } -> CodeAdd
Subcomplex
- RandomSubcomplex(C, Q) : ModCpx, SeqEnum -> ModCpx, MapChn
Subcone
- SimplicialSubcone(C) : TorCon -> TorCon
SubConstructor
- sub< T | L > : TenSpc, Any -> TenSpc, Map
- SubConstructor(T, L) : TenSpc, Any -> TenSpc, Map
Subdatum
- AnisotropicSubdatum(R) : RootDtm -> RootDtm
- IndivisibleSubdatum(R) : RootDtm -> RootDtm

V2.28, 13 July 2023

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