Cartan matrices and Cartan types

Next: Creating Root datum Up: Root Datum for Groups Previous: Root Datum for Groups

Cartan matrices and Cartan types

Creation of Cartan matrices.
Identification of Cartan matrices.
Printing Dynkin diagrams.
Predicates: IsIrreducible, IsCrystallographic, IsSimplyLaced.
Computing the vectors in a root system.