Documentation

coxeter
- COXETER GROUPS
- COXETER SYSTEMS
coxeter-description
- COXETER SYSTEMS
coxeter-groups
- COXETER GROUPS
coxeter-todd
- Lat_coxeter-todd (Example H31E25)
CoxeterDiagram
- CoxeterDiagram(M) : AlgMatElt ->
- CoxeterDiagram(W) : GrpFPCox ->
- CoxeterDiagram(G) : GrpLie ->
- CoxeterDiagram(W) : GrpMat ->
- CoxeterDiagram(G) : GrpPerm -> GrphUnd
- CoxeterDiagram(R) : RootStr ->
- CoxeterDiagram(R) : RootSys ->
- Cartan_CoxeterDiagram (Example H105E18)
CoxeterElement
- CoxeterElement(W) : GrpFPCox -> SeqEnum
- CoxeterElement(G) : GrpLie -> GrpPermElt
- CoxeterElement(W) : GrpMat -> SeqEnum
CoxeterFinite
- GrpFP_CoxeterFinite (Example H80E79)
CoxeterForm
- DualCoxeterForm(W) : GrpPermCox -> AlgMatElt
- CoxeterForm(W) : GrpPermCox -> AlgMatElt
- CoxeterForm(R) : RootDtm -> AlgMatElt
- CoxeterForm(R) : RootSys -> AlgMatElt
CoxeterFPGroup
- CoxeterFPGroup(W) : GrpFPCox -> GrpFP, Map
- CoxeterFPGroup(t) : MonStgElt -> GrpFP
CoxeterGraph
- CoxeterGraph(M) : AlgMatElt -> GrphUnd
- CoxeterGraph(W) : GrpFPCox -> GrphUnd
- CoxeterGraph(G) : GrpLie -> GrphUnd
- CoxeterGraph(W) : GrpMat -> GrphUnd
- CoxeterGraph(N) : MonStgElt -> GrpUnd
- CoxeterGraph(R) : RootStr -> GrphUnd
- CoxeterGraph(R) : RootSys -> GrphUnd
coxetergraph
- Coxeter Graphs (COXETER SYSTEMS)
CoxeterGraphOperations
- Cartan_CoxeterGraphOperations (Example H105E4)
CoxeterGraphProperties
- Cartan_CoxeterGraphProperties (Example H105E5)
CoxeterGroup
- CoxeterGroup(M) : AlgMatElt -> Grp
- CoxeterGroup(M) : AlgMatElt -> Grp
- CoxeterGroup(grpcat, M) : Cat, AlgMatElt -> grpcat
- CoxeterGroup(grpcat, M) : Cat, AlgMatElt -> grpcat
- CoxeterGroup(grpcat, W) : Cat, Grp -> grpcat, Map
- CoxeterGroup(grpcat, D) : Cat, GrphDir -> grpcat
- CoxeterGroup(grpcat, G) : Cat, GrphUnd -> grpcat
- CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
- CoxeterGroup(grpcat, N) : Cat, MonStgElt -> grpcat
- CoxeterGroup(grpcat, A, B) : Cat, Mtrx, Mtrx -> grpcat
- CoxeterGroup(grpcat, R) : Cat, RootDtm -> grpcat
- CoxeterGroup(GrpPermCox, R) : Cat, RootDtm -> GrpPermCox
- CoxeterGroup(grpcat, R) : Cat, RootStr -> grpcat
- CoxeterGroup(grpcat,R) : Cat, RootSys -> grpcat
- CoxeterGroup(GrpPermCox, W) : Cat, RootSys -> GrpPermCox
- CoxeterGroup(GrpPermCox, R) : Cat, RootSys -> RngIntElt
- CoxeterGroup(D) : GrphDir -> Grp
- CoxeterGroup(G) : GrphUnd -> Grp
- CoxeterGroup(N) : MonStgElt -> Grp
- CoxeterGroup(A, B) : Mtrx, Mtrx -> GrpPermCox
- CoxeterGroup(R) : RootDtm -> GrpPermCox
- CoxeterGroup(R) : RootStr -> GrpPermCox
- CoxeterGroup(R) : RootSys -> GrpPermCox
- ReflectionGroup(W) : GrpPermCox -> GrpMat
CoxeterGroupFactoredOrder
- CoxeterGroupFactoredOrder(C) : AlgMatElt -> .
- CoxeterGroupOrder(C) : AlgMatElt -> .
- CoxeterGroupOrder(M) : AlgMatElt -> RngIntElt
- CoxeterGroupOrder(D) : GrphDir -> .
- CoxeterGroupOrder(G) : GrphUnd -> .
- CoxeterGroupOrder(N) : MonStgElt -> .
CoxeterGroupOrder
- CoxeterGroupFactoredOrder(C) : AlgMatElt -> .
- CoxeterGroupOrder(C) : AlgMatElt -> .
- CoxeterGroupOrder(M) : AlgMatElt -> RngIntElt
- CoxeterGroupOrder(D) : GrphDir -> .
- CoxeterGroupOrder(G) : GrphUnd -> .
- CoxeterGroupOrder(N) : MonStgElt -> .
- CoxeterGroupOrder(R) : RootStr -> RngIntElt
- CoxeterGroupOrder(R) : RootSys -> RngIntElt
CoxeterIsomorphism
- GrpCox_CoxeterIsomorphism (Example H108E6)
CoxeterLength
- Length(w) : GrpFPCoxElt -> RngIntElt
- CoxeterLength(w) : GrpFPCoxElt -> RngIntElt
- # w : GrpFPCoxElt -> RngIntElt
- Length(w) : GrpMatElt -> RngIntElt
coxetermat
- Coxeter Matrices (COXETER SYSTEMS)
CoxeterMatrix
- CoxeterMatrix(W) : GrpFPCox -> AlgMatElt
- CoxeterMatrix(G) : GrphUnd -> AlgMatElt
- CoxeterMatrix(G) : GrpLie -> AlgMatElt
- CoxeterMatrix(W) : GrpMat -> AlgMatElt
- CoxeterMatrix(N) : MonStgElt -> AlgMatElt
- CoxeterMatrix(R) : RootStr -> AlgMatElt
- CoxeterMatrix(R) : RootSys -> AlgMatElt

V2.29, 21 October 2025

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