Documentation

symp-and-orthog
- Chtr_symp-and-orthog (Example H100E7)
Symplectic
- ASigmaSp(arguments)
- AffineSigmaSymplecticGroup(arguments)
- AffineSymplecticGroup(arguments)
- ConformalSymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ExtendedSymplecticGroup(n,q,m) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
- IsOrthogonal(L) : LSer -> BoolElt
- IsOrthogonalCharacter(chi) : AlgChtrElt -> BoolElt
- IsPseudoSymplecticSpace(W) : ModTupFld -> BoolElt
- IsSymplectic(G) : GrpRed -> BoolElt
- IsSymplecticGroup(G) : GrpMat -> BoolElt
- IsSymplecticMatrix(A) : Mtrx -> BoolElt
- IsSymplecticSelfDual(C) : CodeAdd -> BoolElt
- IsSymplecticSelfOrthogonal(C) : CodeAdd -> BoolElt
- IsSymplecticSpace(W) : ModTupFld -> BoolElt
- OrthogonalSymmetrization(L, p) : LSer, SeqEnum -> LSer
- ProjectiveSigmaSymplecticGroup(arguments)
- ProjectiveSymplecticGroup(arguments)
- RandomSymplecticMatrix(g, m) : RngIntElt, RngIntElt -> Mtrx
- SymplecticBasis(V,U,W) : ModTupFld, ModTupFld, ModTupFld -> [ModTupFldElt]
- SymplecticDual(C) : CodeAdd -> CodeAdd
- SymplecticForm(G: parameters) : GrpMat -> BoolElt, AlgMatElt [,SeqEnum]
- SymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- SymplecticGroup(V) : SpcPlr -> GrpRed
- SymplecticInnerProduct(v1, v2) : ModTupFldElt, ModTupFldElt -> FldFinElt
- SymplecticMatrixGroupDatabase() : -> DB
- SymplecticSpace(J) : AlgMatElt -> ModTupRng
- SymplecticSymmetrization(chi, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
- SymplecticTransvection(a, alpha) : ModTupRngElt, FldElt -> AlgMatElt
- GrpASim_Symplectic (Example H72E2)
- GrpData_Symplectic (Example H73E21)
symplectic
- RecognizeSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- Constructive Recognition of Symplectic Groups (ALMOST SIMPLE GROUPS)
- Symplectic Groups (ALMOST SIMPLE GROUPS)
symplectic-product-formats
- QECC_symplectic-product-formats (Example H171E19)
symplectic-products-compared
- QECC_symplectic-products-compared (Example H171E18)
symplectic-symm
- Lseries_symplectic-symm (Example H139E37)
SymplecticBasis
- SymplecticBasis(V,U,W) : ModTupFld, ModTupFld, ModTupFld -> [ModTupFldElt]
SymplecticDual
- SymplecticDual(C) : CodeAdd -> CodeAdd
SymplecticEg
- QECC_SymplecticEg (Example H171E20)
SymplecticForm
- SymplecticForm(G: parameters) : GrpMat -> BoolElt, AlgMatElt [,SeqEnum]
- Multilinear_SymplecticForm (Example H63E9)
SymplecticGroup
- Sp(n, q) : RngIntElt, RngIntElt -> GrpMat
- SymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- SymplecticGroup(V) : SpcPlr -> GrpRed
SymplecticInnerProduct
- SymplecticInnerProduct(v1, v2) : ModTupFldElt, ModTupFldElt -> FldFinElt
SymplecticMatrixGroupDatabase
- SymplecticMatrixGroupDatabase() : -> DB
symplecticselforthog
- QECC_symplecticselforthog (Example H171E21)
SymplecticSpace
- SymplecticSpace(J) : AlgMatElt -> ModTupRng
SymplecticSymmetrization
- SymplecticSymmetrization(L, p) : LSer, SeqEnum -> LSer
- OrthogonalSymmetrization(L, p) : LSer, SeqEnum -> LSer
- SymplecticSymmetrization(chi, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
SymplecticTransvection
- SymplecticTransvection(a, alpha) : ModTupRngElt, FldElt -> AlgMatElt
symplgps
- Database of Finite Symplectic Matrix Groups (DATABASES OF GROUPS)
sympow
- Symmetric Powers (L-FUNCTIONS)
sympow-ec
- Lseries_sympow-ec (Example H139E33)
sympow-ec2
- Lseries_sympow-ec2 (Example H139E34)
sympow-gross
- Lseries_sympow-gross (Example H139E32)
sympspace
- Symplectic Spaces (POLAR SPACES)
SymSpinor
- SymSpinor(G, d, k) : GrpRed, RngIntElt, RngIntElt -> ModRed
Syn_Decode
- CodeFld_Syn_Decode (Example H165E44)
Syndrome
- Syndrome(w, C) : ModTupFldElt, Code -> ModTupFldElt
- Syndrome(u, C) : ModTupFldElt, CodeLinRng -> ModTupRngElt
- SyndromeDecode(C, u) : CodeLinRng, ModTupFldElt -> BoolElt, ModTupRngElt, ModTupFldElt
- SyndromeDecode(C, Q) : CodeLinRng, [ModTupFldElt] -> SeqEnum, SeqEnum, SeqEnum
- SyndromeDecoding(C, v) : CodeLinFld, ModTupRngElt -> BoolElt, ModTupRngElt
- SyndromeDecoding(C, Q) : CodeLinFld, [ ModTupRngElt ] -> [ BoolElt ], [ ModTupRngElt ]
- SyndromeSpace(C) : Code -> ModTupFld
- SyndromeSpace(C) : CodeLinRng -> ModTupRng, ModTupFld
syndrome
- The Syndrome Space (LINEAR CODES OVER FINITE FIELDS)
syndrome-space
- The Syndrome Space (LINEAR CODES OVER FINITE FIELDS)
syndrome_decoding
- Syndrome Decoding (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
syndrome_space_coset_leaders
- Syndrome Space and Coset Leaders (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
SyndromeDecode
- SyndromeDecode(C, u) : CodeLinRng, ModTupFldElt -> BoolElt, ModTupRngElt, ModTupFldElt
- SyndromeDecode(C, Q) : CodeLinRng, [ModTupFldElt] -> SeqEnum, SeqEnum, SeqEnum
SyndromeDecoding
- SyndromeDecoding(C, v) : CodeLinFld, ModTupRngElt -> BoolElt, ModTupRngElt
- SyndromeDecoding(C, Q) : CodeLinFld, [ ModTupRngElt ] -> [ BoolElt ], [ ModTupRngElt ]
SyndromeSpace
- SyndromeSpace(C) : Code -> ModTupFld
- SyndromeSpace(C) : CodeLinRng -> ModTupRng, ModTupFld

V2.29, 3 August 2026

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