Documentation

star
- ALGEBRAS WITH INVOLUTION
- Algebras with Involution (ALGEBRAS WITH INVOLUTION)
star-algebras
- ALGEBRAS WITH INVOLUTION
- Algebras with Involution (ALGEBRAS WITH INVOLUTION)
Star_Alg
- AlgNAss_Star_Alg (Example H96E7)
- ModAlg_Star_Alg (Example H97E27)
StarInvolution
- StarInvolution(M) : ModSym -> AlgMatElt
StarIrreduciblePolynomials
- StarIrreduciblePolynomials(F,d) : FldFin, RngIntElt -> SeqEnum
StarOnGroupAlgebra
- StarOnGroupAlgebra(A) : AlgGrp -> Map
Start
- StartEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
- StartNewClass(~P: parameters) : GrpPCpQuotientProc ->
- StartWorkers(H, T) : MonStgElt, RngIntElt ->
StartEnumeration
- StartEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
starting
- Starting and Restarting an Enumeration (FINITELY PRESENTED GROUPS)
StartNewClass
- StartNewClass(~P: parameters) : GrpPCpQuotientProc ->
Startup
- Env_Startup (Example H4E1)
startup
- Automatic Worker Startup (PARALLELISM)
- Manual Worker Startup (PARALLELISM)
- Starting, Interrupting and Terminating (STATEMENTS AND EXPRESSIONS)
- User Startup Specification Files (FUNCTIONS, PROCEDURES AND PACKAGES)
startup-interrupt-quit
- Starting, Interrupting and Terminating (STATEMENTS AND EXPRESSIONS)
startup-spec
- User Startup Specification Files (FUNCTIONS, PROCEDURES AND PACKAGES)
- Func_startup-spec (Example H2E13)
STARTUP_
- MAGMA_STARTUP_FILE
StartWorkers
- StartWorkers(H, T) : MonStgElt, RngIntElt ->
- Par_StartWorkers (Example H5E9)
State
- QuantumState(H, v) : HilbSpc, ModTupFldElt -> HilbSpcElt
state
- Creation of Quantum States (QUANTUM CODES)
- Inner Product and Probabilities of Quantum States (QUANTUM CODES)
- Manipulation of Quantum States (QUANTUM CODES)
- Unitary Transformations on Quantum States (QUANTUM CODES)
statement
- Definite Iteration (STATEMENTS AND EXPRESSIONS)
- Indefinite Iteration (STATEMENTS AND EXPRESSIONS)
- STATEMENTS AND EXPRESSIONS
- The Case Statement (STATEMENTS AND EXPRESSIONS)
- The Simple Conditional Statement (STATEMENTS AND EXPRESSIONS)
statement-expressions
- STATEMENTS AND EXPRESSIONS
status
- About the Package (MODULAR FORMS)
Stauduhar
- Stauduhar(G, H, S, B) : GrpPerm, GrpPerm, GaloisData, RngIntElt -> RngIntElt, GrpPermElt, BoolElt, RngSLPolElt
std
- Standard Ideals and Subalgebras (LIE ALGEBRAS)
Steane
- CalderbankShorSteaneCode(C1, C2) : Code, Code -> CodeQuantum
- CSSCode(C1, C2) : Code, Code -> CodeQuantum
Steenrod
- SteenrodOperation(f, i) : RngMPolElt, RngIntElt -> RngMPolElt
steenrod
- Steenrod Operations (INVARIANT THEORY)
SteenrodOperation
- SteenrodOperation(f, i) : RngMPolElt, RngIntElt -> RngMPolElt
- RngInvar_SteenrodOperation (Example H117E14)
steinberg
- The Steinberg Presentation (GROUPS OF LIE TYPE)
Steiner
- IsSteiner(D, t) : Dsgn, RngIntElt -> BoolElt
Steinitz
- SteinitzClass(M) : ModDed -> RngOrdIdl
- SteinitzForm(M) : ModDed -> ModDed
SteinitzClass
- SteinitzClass(M) : ModDed -> RngOrdIdl
SteinitzForm
- SteinitzForm(M) : ModDed -> ModDed
Step
- ReductionStep(f) : QuadBinElt -> QuadBinElt
Sterns
- SternsAttack(C, v, e, p, l) : Code, ModTupFldElt, RngIntElt, RngIntElt,RngIntElt -> ModTupFldElt
SternsAttack
- SternsAttack(C, v, e, p, l) : Code, ModTupFldElt, RngIntElt, RngIntElt,RngIntElt -> ModTupFldElt
Stirling
- StirlingFirst(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingFirst(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
StirlingFirst
- StirlingFirst(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingFirst(n, k) : RngIntElt, RngIntElt -> RngIntElt
StirlingSecond
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
Store
- SetStoreModularForms(F, v) : Fld, BoolElt ->
- StoreFactor(n) : RngIntElt ->
store
- Storing Potential Factors (RING OF INTEGERS)
Stored
- ClearStoredFactors() : ->
- ClearStoredModularForms(F) : Fld ->
- GetStoredFactors() : -> [ RngIntElt ]
StoreFactor
- StoreFactor(n) : RngIntElt ->
straightforward
- GrpCoh_straightforward (Example H74E17)
stream
- A General Facility (GRAPHS)
Strict
- IntersectionNumberOfStrictTransforms(S,D1,D2) : Srfc, Sch, Sch -> RngIntElt
- SelfIntersectionOfStrictTransform(S,D) : Srfc, Sch -> RngIntElt
Strictly
- IsStrictlyConvex(C) : TorCon -> BoolElt
String
- BString(s) : MonStgElt -> BStgElt
- BinaryString(s) : MonStgElt -> BStgElt
- CodeToString(n) : RngIntElt -> MonStgElt
- HasStringProperty(G) : GrpPerm -> BoolElt
- IntegerToString(n) : RngIntElt -> ModStgElt
- IntegerToString(n) : RngIntElt -> MonStgElt
- IntegerToString(n, b) : RngIntElt, RngIntElt -> ModStgElt
- IntegerToString(n, b) : RngIntElt, RngIntElt -> MonStgElt
- IsStringCGroup(G) : GrpPerm -> BoolElt
- LeftString(W, r, s) : GrpPermCox, RngIntElt, RngIntElt -> RngIntElt
- LeftString(R, r, s) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
- LeftString(R, r, s) : RootSys, RngIntElt, RngIntElt -> RngIntElt
- LeftStringLength(W, r, s) : GrpPermCox, RngIntElt, RngIntElt -> RngIntElt
- LeftStringLength(R, r, s) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
- LeftStringLength(R, r, s) : RootSys, RngIntElt, RngIntElt -> RngIntElt
- ModelToString(model) : ModelG1 -> MonStgElt
- RightString(W, r, s) : GrpPermCox, RngIntElt, RngIntElt -> RngIntElt
- RightString(R, r, s) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
- RightString(R, r, s) : RootSys, RngIntElt, RngIntElt -> RngIntElt
- RightStringLength(W, r, s) : GrpPermCox, RngIntElt, RngIntElt -> RngIntElt
- RightStringLength(R, r, s) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
- RightStringLength(R, r, s) : RootSys, RngIntElt, RngIntElt -> RngIntElt
- StringToCode(s) : MonStgElt -> RngIntElt
- StringToInteger(s) : MonStgElt -> RngIntElt
- StringToInteger(s, b) : MonStgElt, MonStgElt -> RngIntElt
- StringToIntegerSequence(s) : MonStgElt -> [ RngIntElt ]

V2.28, 13 July 2023

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