Documentation

SimpleRoots
- SimpleCoroots(G) : GrpLie -> Mtrx
- SimpleRoots(G) : GrpLie -> Mtrx
- SimpleRoots(W) : GrpMat -> Mtrx
- SimpleRoots(W) : GrpPermCox -> Mtrx
- SimpleRoots(R) : RootStr -> Mtrx
- SimpleRoots(R) : RootSys -> Mtrx
Simples
- DistinguishedOrbitsOnSimples(R) : RootDtm -> SeqEnum[GSetEnum]
- GammaActionOnSimples(R) : RootDtm -> HomGrp
- OrbitsOnSimples(R) : RootDtm -> SeqEnum[GSetEnum]
SimpleStarAlgebra
- SimpleStarAlgebra(name, d, K) : MonStgElt, RngIntElt, FldFin -> AlgMat
- AlgInv_SimpleStarAlgebra (Example H96E5)
SimpleSubgroups
- SimpleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
- SimpleSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
Simplex
- AddSimplex(X, s) : SmpCpx, SetEnum -> SmpCpx
- IsSimplex(P) : TorPol -> BoolElt
- PDSetSimplexCode(K, m) : FldFin, RngIntElt -> SeqEnum, SeqEnum, SeqEnum
- Simplex(A) : Prj -> SeqEnum
- Simplex(n) : RngIntElt -> SmpCpx
- SimplexAlphaCodeZ4(k) : RngIntElt -> Code
- SimplexBetaCodeZ4(k) : RngIntElt -> Code
- SimplexCode(r) : RngIntElt -> Code
- StandardSimplex(L) : TorLat -> TorPol
- TranslationOfSimplex(P,Q) : Prj, [Pt] -> MapSch
SimplexAlphaCodeZ4
- SimplexAlphaCodeZ4(k) : RngIntElt -> Code
SimplexBetaCodeZ4
- SimplexBetaCodeZ4(k) : RngIntElt -> Code
SimplexCode
- SimplexCode(r) : RngIntElt -> Code
Simplicial
- IsSimplicial(P) : TorPol -> BoolElt
- IsQFactorial(C) : TorCon -> BoolElt
- IsSimplicial(C) : TorCon -> BoolElt
- NonSimplicialCones(F) : TorFan -> SeqEnum, SeqEnum
- SimplicialComplex(G) : Grph -> SmpCpx
- SimplicialComplex(f) : SeqEnum[SetEnum] -> SmpCpx
- SimplicialProjectivePlane() : -> SmpCpx
- SimplicialSubcone(C) : TorCon -> TorCon
- SimplicialSubdivision(F) : TorFan -> TorFan
simplicial
- Simplicial Complexes (SIMPLICIAL HOMOLOGY)
- SIMPLICIAL HOMOLOGY
simplicial-complexes
- Simplicial Complexes (SIMPLICIAL HOMOLOGY)
SimplicialComplex
- SimplicialComplex(G) : Grph -> SmpCpx
- SimplicialComplex(f) : SeqEnum[SetEnum] -> SmpCpx
SimplicialProjectivePlane
- SimplicialProjectivePlane() : -> SmpCpx
SimplicialSubcone
- SimplicialSubcone(C) : TorCon -> TorCon
SimplicialSubdivision
- SimplicialSubdivision(F) : TorFan -> TorFan
simplification
- Simplification (FINITELY PRESENTED GROUPS)
Simplified
- IsSimplifiedModel(E) : CrvEll -> BoolElt
- IsSimplifiedModel(C) : CrvHyp -> BoolElt
- SimplifiedModel(E): CrvEll -> CrvEll, Map, Map
- SimplifiedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
SimplifiedModel
- SimplifiedModel(E): CrvEll -> CrvEll, Map, Map
- SimplifiedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
Simplify
- Simplify(A) : FldAC ->
- Simplify(D) : Inc -> Inc
- Simplify(M) : ModDed -> ModDed
- Simplify(G: parameters) : GrpFP -> GrpFP, Map
- Simplify(~P : parameters) : GrpFPTietzeProc ->
- Simplify(O) : RngFunOrd -> RngFunOrd
- Simplify(O) : RngOrd -> RngOrd
- SimplifyLength(G: parameters) : GrpFP -> GrpFP, Map
- SimplifyLength(~P : parameters) : GrpFPTietzeProc ->
- SimplifyRep(s) : RngPowAlgElt -> RngPowAlgElt
simplify
- Simplification (ALGEBRAICALLY CLOSED FIELDS)
Simplify1
- GrpFPInt_Simplify1 (Example H79E6)
- GrpFP_Simplify1 (Example H80E9)
Simplifying
- Simplifying Automorphism Group Computations (MULTILINEAR ALGEBRA)
Simplifying-automorphism-group-computations
- Simplifying Automorphism Group Computations (MULTILINEAR ALGEBRA)
SimplifyLength
- SimplifyLength(G: parameters) : GrpFP -> GrpFP, Map
- SimplifyLength(~P : parameters) : GrpFPTietzeProc ->
SimplifyPresentation
- SimplifyPresentation(~P : parameters) : GrpFPTietzeProc ->
- Simplify(~P : parameters) : GrpFPTietzeProc ->
SimplifyRep
- SimplifyRep(s) : RngPowAlgElt -> RngPowAlgElt
Simply
- IsSimplyConnected(G) : GrpLie -> BoolElt
- IsSimplyConnected(R) : RootDtm -> BoolElt
- IsSimplyLaced(C) : AlgMatElt -> BoolElt
- IsSimplyLaced(M) : AlgMatElt -> BoolElt
- IsSimplyLaced(D) : GrphDir -> BoolElt
- IsSimplyLaced(G) : GrphUnd -> BoolElt
- IsSimplyLaced(G) : GrpLie-> BoolElt
- IsSimplyLaced(W) : GrpMat -> BoolElt
- IsSimplyLaced(W) : GrpPermCox-> BoolElt
- IsSimplyLaced(N) : MonStgElt -> BoolElt
- IsSimplyLaced(R) : RootStr -> BoolElt
- IsSimplyLaced(R) : RootSys-> BoolElt
- IsWeaklySimplyConnected(G) : GrpLie -> BoolElt
- IsWeaklySimplyConnected(R) : RootDtm -> BoolElt
- SimplyConnectedVersion(R) : RootDtm -> RootDtm, Map

V2.29, 10 June 2026

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