Documentation

space
- Action on a Coset Space (GROUPS)
- Coset Spaces (ABELIAN GROUPS)
- Coset Spaces (POLYCYCLIC GROUPS)
- Coset Spaces and Tables (FINITELY PRESENTED GROUPS)
- Coset Spaces: Construction (FINITELY PRESENTED GROUPS)
- Creation of Differentials (ALGEBRAIC CURVES)
- Curves in Space (SCHEMES)
- Hilbert Spaces (QUANTUM CODES)
- Matrices and Vector Spaces Associated with a Graph or Digraph (GRAPHS)
- Norm Spaces and Basis Reduction (QUATERNION ALGEBRAS)
- Riemann-Roch Spaces (SCHEMES)
- Shadow Spaces (INCIDENCE GEOMETRY)
- The Ambient Space and Alphabet (ADDITIVE CODES)
- The Ambient Space and Alphabet (LINEAR CODES OVER FINITE FIELDS)
- The Dual Space (ADDITIVE CODES)
- The Dual Space (LINEAR CODES OVER FINITE FIELDS)
- The Syndrome Space (LINEAR CODES OVER FINITE FIELDS)
- The Underlying Vector Space (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- VECTOR SPACES
Spacelike
- IsSpacelike(v): LatNFElt -> BoolElt
- IsTimelike(v): LatNFElt -> BoolElt
SpaceOfDifferentialsFirstKind
- SpaceOfHolomorphicDifferentials(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map
SpaceOfHolomorphicDifferentials
- SpaceOfHolomorphicDifferentials(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map
Spaces
- NumberOfFixedSpaces(x, s) : GrpMatElt, RngIntElt -> RngIntElt
- OrbitsOfSpaces(G, k) : GrpMat, RngIntElt -> SeqEnum
- SetIgnoreSpaces(b) : BoolElt ->
- StabiliserOfSpaces(Q) : SeqEnum -> GrpMat, SeqEnum
spaces
- Action on a Coset Space (MATRIX GROUPS OVER GENERAL RINGS)
- Associated Spaces (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Categorical Operations on Tensor Spaces (MULTILINEAR ALGEBRA)
- Constructions of Tensor and Cotensor Spaces (MULTILINEAR ALGEBRA)
- Labels (MODULAR SYMBOLS)
- Membership and Comparison with Tensor Spaces (MULTILINEAR ALGEBRA)
- Operations on Tensor Spaces (MULTILINEAR ALGEBRA)
- Properties of Tensor Spaces (MULTILINEAR ALGEBRA)
- Tensor Spaces as Modules (MULTILINEAR ALGEBRA)
- Universal Cotensor Spaces (MULTILINEAR ALGEBRA)
- Universal Tensor Spaces (MULTILINEAR ALGEBRA)
SpacesToTensors
- Multilinear_SpacesToTensors (Example H63E38)
SpaceType
- SpaceType(V) : SpcPlr -> MonStgElt
spain-decode-1
- CodeFld_spain-decode-1 (Example H165E46)
spain-decode-2
- CodeFld_spain-decode-2 (Example H165E47)
spain-Z4-1
- CodeZ4_spain-Z4-1 (Example H169E3)
spain-Z4-10
- CodeZ4_spain-Z4-10 (Example H169E14)
spain-Z4-11
- CodeZ4_spain-Z4-11 (Example H169E15)
spain-Z4-12
- CodeZ4_spain-Z4-12 (Example H169E20)
spain-Z4-13
- CodeZ4_spain-Z4-13 (Example H169E21)
spain-Z4-15
- CodeZ4_spain-Z4-15 (Example H169E23)
spain-Z4-16
- CodeZ4_spain-Z4-16 (Example H169E24)
spain-Z4-2
- CodeZ4_spain-Z4-2 (Example H169E4)
spain-Z4-3
- CodeZ4_spain-Z4-3 (Example H169E5)
spain-Z4-4
- CodeZ4_spain-Z4-4 (Example H169E7)
spain-Z4-4a
- CodeZ4_spain-Z4-4a (Example H169E8)
spain-Z4-5
- CodeZ4_spain-Z4-5 (Example H169E11)
spain-Z4-7
- CodeZ4_spain-Z4-7 (Example H169E12)
spain-Z4-8
- CodeZ4_spain-Z4-8 (Example H169E25)
spain-Z4-9
- CodeZ4_spain-Z4-9 (Example H169E13)
Span
- RankZ2(C) : CodeLinRng -> RngIntElt
- DimensionOfSpanZ2(C) : CodeLinRng -> RngIntElt
- LinearSpanEquations(C) : TorCon -> SeqEnum
- LinearSpanGenerators(C) : TorCon -> SeqEnum
- SpanZ2CodeZ4(C) : CodeLinRng -> CodeLinFld
Spanning
- SpanningFan(P) : TorPol -> TorFan
- SpanningForest(G) : Grph -> Grph, GrphVertSet, GrphEdgeSet
- SpanningForest(G) : GrphMult -> GrphMult, GrphVertSet, GrphEdgeSet
- SpanningTree(G) : GrphMultUnd -> GrphMultUnd, GrphVertSet, GrphEdgeSet
- SpanningTree(G) : GrphUnd -> Grph, GrphVertSet, GrphEdgeSet
spanning
- DFSTree(u) : GrphVert -> GrphMult, GrphVertSet, GrphEdgeSet, SeqEnum
- Spanning Trees (MULTIGRAPHS)
- Spanning Trees of a Graph or Digraph (GRAPHS)
spanning-tree
- DFSTree(u) : GrphVert -> GrphMult, GrphVertSet, GrphEdgeSet, SeqEnum
- Spanning Trees (MULTIGRAPHS)
- Spanning Trees of a Graph or Digraph (GRAPHS)
SpanningFan
- SpanningFan(P) : TorPol -> TorFan
SpanningForest
- SpanningForest(G) : Grph -> Grph, GrphVertSet, GrphEdgeSet
- SpanningForest(G) : GrphMult -> GrphMult, GrphVertSet, GrphEdgeSet
SpanningTree
- SpanningTree(G) : GrphMultUnd -> GrphMultUnd, GrphVertSet, GrphEdgeSet
- SpanningTree(G) : GrphUnd -> Grph, GrphVertSet, GrphEdgeSet

V2.29, 21 October 2025

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