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