- coxeter
- coxeter-description
- coxeter-groups
- coxeter-todd
- CoxeterDiagram
- CoxeterElement
- CoxeterFinite
- CoxeterForm
- CoxeterFPGroup
- CoxeterGraph
- coxetergraph
- CoxeterGraphOperations
- CoxeterGraphProperties
- CoxeterGroup
- CoxeterGroup(M) : AlgMatElt -> GrpPermCox
- CoxeterGroup(GrpFPCox, C) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpPermCox, M) : Cat, AlgMatElt -> GrpPermCox
- CoxeterGroup(GrpFP, W) : Cat, GrpFPCox -> GrpFP, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpFPCox -> GrpPerm, Map
- CoxeterGroup(GrpPermCox, W) : Cat, GrpFPCox -> GrpPermCox, Map
- CoxeterGroup(GrpFPCox, D) : Cat, GrphDir -> GrpFPCox
- CoxeterGroup(GrpFPCox, G) : Cat, GrphUnd -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpFP, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFP, Map
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpPermCox -> GrpFPCox, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpPermCox -> GrpPerm, Map
- CoxeterGroup(GrpFPCox, N) : Cat, MonStgElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootDtm -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootSys -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootSys -> RngIntElt
- CoxeterGroup(A, B) : Mtrx, Mtrx -> GrpPermCox
- CoxeterGroup(R) : RootDtm -> GrpPermCox
- CoxeterGroup(R) : RootSys -> RngIntElt
- ReflectionGroup(W) : GrpFPCox -> GrpMat, Map
- ReflectionGroup(W) : GrpPermCox -> GrpMat
- ReflectionGroup(W) : GrpPermCox -> GrpMat, Map
- ReflectionGroup(R) : RootDtm -> GrpMat
- ReflectionGroup(R) : RootSys -> GrpMat
- CoxeterGroupFactoredOrder
- CoxeterGroupOrder
V2.28, 13 July 2023