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.