- Introduction
- Coxeter Matrices
- Coxeter Graphs
- Cartan Matrices
- Dynkin Digraphs
- Finite and Affine Coxeter Groups
- IsCoxeterFinite(M) : AlgMatElt -> BoolElt
- IsCoxeterAffine(M) : AlgMatElt -> BoolElt
- Example Cartan_Testing (H105E11)
- CoxeterMatrix(N) : MonStgElt -> AlgMatElt
- CoxeterGraph(N) : MonStgElt -> GrpUnd
- CartanMatrix(N) : MonStgElt -> AlgMatElt
- DynkinDigraph(N) : MonStgElt -> GrphDir
- Example Cartan_MatricesAndGraphs (H105E12)
- IrreducibleCoxeterMatrix(X, n) : MonStgElt, RngIntElt -> AlgMatElt
- IrreducibleCoxeterGraph(X, n) : MonStgElt, RngIntElt -> GrpUnd
- IrreducibleCartanMatrix(X, n) : MonStgElt, RngIntElt -> AlgMatElt
- IrreducibleDynkinDigraph(X, n) : MonStgElt, RngIntElt -> GrphDir
- Example Cartan_IrreducibleCoxeter (H105E13)
- IsCoxeterIsomorphic(N1, N2) : MonStgElt, MonStgElt -> BoolElt
- IsCartanEquivalent(N1, N2) : MonStgElt, MonStgElt -> BoolElt
- Example Cartan_IsomorphismAndEquivalence (H105E14)
- IsSimplyLaced(N) : MonStgElt -> BoolElt
- CoxeterGroupOrder(N) : MonStgElt -> .
- NumberOfPositiveRoots(N) : MonStgElt -> .
- FundamentalGroup(N) : MonStgElt -> GrpAb
- Example Cartan_GroupOrders (H105E15)
- CartanName(M) : AlgMatElt -> MonStgElt
- Example Cartan_CartanName (H105E16)
- DynkinDiagram(M) : AlgMatElt ->
- Example Cartan_DynkinDiagram (H105E17)
- CoxeterDiagram(M) : AlgMatElt ->
- Example Cartan_CoxeterDiagram (H105E18)
- Hyperbolic Groups
- Related Structures
- Bibliography
V2.29, 21 October 2025