Documentation

system
- Building Root Systems (ROOT SYSTEMS)
- Constructing Root Systems (ROOT SYSTEMS)
- GROUPS DEFINED BY REWRITE SYSTEMS
- Memory Usage (INPUT AND OUTPUT)
- MONOIDS GIVEN BY REWRITE SYSTEMS
- Polynomial System Solving (PARALLELISM)
- Predefined System Attributes (FUNCTIONS, PROCEDURES AND PACKAGES)
- Properties of Root Systems (ROOT SYSTEMS)
- System Calls (INPUT AND OUTPUT)
- Systems of Reflexive Forms (ALGEBRAS WITH INVOLUTION)
system-calls
- Memory Usage (INPUT AND OUTPUT)
- System Calls (INPUT AND OUTPUT)
SYSTEM_
- MAGMA_SYSTEM_SPEC
SystemAttributes
- Func_SystemAttributes (Example H2E14)
SystemNormaliser
- SystemNormaliser(G) : GrpPC -> GrpPC
- SystemNormalizer(G) : GrpPC -> GrpPC
SystemNormalizer
- SystemNormaliser(G) : GrpPC -> GrpPC
- SystemNormalizer(G) : GrpPC -> GrpPC
SystemOfEigenvalues
- SystemOfEigenvalues(M, prec) : ModSym, RngIntElt -> SeqEnum
SystemOfForms
- SystemOfForms(T) : TenSpcElt -> SeqEnum
- AsMatrices(T, s, t) : TenSpcElt, RngIntElt, RngIntElt -> SeqEnum
systems
- Construction of Input Systems (GRÖBNER BASES)
- Nonreduced Root Systems (ROOT SYSTEMS)
- ROOT SYSTEMS
Syzygy
- ApparentEquationDegrees(X) : GRSch -> RngIntElt
- ApparentSyzygyDegrees(X) : GRSch -> RngIntElt
- BettiNumbers(X) : GRSch -> RngIntElt
- ApparentCodimension(X) : GRSch -> RngIntElt
- ApparentCodimension(f) : RngUPolElt -> RngIntElt
- InjectiveSyzygyModule(M, n) : ModAlg, RngIntElt -> ModAlg
- MinimalSyzygyModule(M) : ModMPol -> [ ModMPolElt ]
- SyzygyMatrix(Q) : [ RngMPolElt ] -> ModMatRngElt
- SyzygyModule(M, n) : ModAlg, RngIntElt -> ModAlg
- SyzygyModule(M) : ModMPol -> [ ModMPolElt ]
- SyzygyModule(Q) : [ RngMPolElt ] -> ModTupRng
syzygy
- Syzygies (POLYNOMIAL RING IDEAL OPERATIONS)
syzygy-matrix
- Syzygies (POLYNOMIAL RING IDEAL OPERATIONS)
SyzygyMatrix
- SyzygyMatrix(Q) : [ RngMPolElt ] -> ModMatRngElt
- Ideal_SyzygyMatrix (Example H113E16)
SyzygyModule
- SyzygyModule(M, n) : ModAlg, RngIntElt -> ModAlg
- SyzygyModule(M) : ModMPol -> [ ModMPolElt ]
- SyzygyModule(Q) : [ RngMPolElt ] -> ModTupRng
Sz
- RecognizeSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- SatisfiesSzPresentation(G) : GrpMat -> BoolElt
- SzClassMap(G) : GrpMat -> Map
- SzClassRepresentative(G, g) : GrpMat, GrpMatElt -> GrpMatElt, GrpMatElt
- SzConjugacyClasses(G) : GrpMat -> SeqEnum
- SzElementToWord(G, g) : GrpMat, GrpMatElt -> BoolElt, GrpSLPElt
- SzIsConjugate(G, g, h) : GrpMat, GrpMatElt, GrpMatElt -> BoolElt, GrpMatElt
- SzMaximals(q) : RngIntElt -> SeqEnum
- SzPresentation(q) : RngIntElt -> GrpFP, HomGrp
sz-sylow
- GrpASim_sz-sylow (Example H71E20)
SzClassMap
- SzClassMap(G) : GrpMat -> Map
SzClassRepresentative
- SzClassRepresentative(G, g) : GrpMat, GrpMatElt -> GrpMatElt, GrpMatElt
SzConjugacyClasses
- SzConjugacyClasses(G) : GrpMat -> SeqEnum
SzElementToWord
- SzElementToWord(G, g) : GrpMat, GrpMatElt -> BoolElt, GrpSLPElt
SzIsConjugate
- SzIsConjugate(G, g, h) : GrpMat, GrpMatElt, GrpMatElt -> BoolElt, GrpMatElt
SzMaximals
- SzMaximals(q) : RngIntElt -> SeqEnum
SzPresentation
- SzPresentation(q) : RngIntElt -> GrpFP, HomGrp

V2.28, 13 July 2023

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