Next:
Cartan matrices and Cartan
Up:
Lie Theory
Previous:
Lie Theory
Root Datum for Lie Theory
A datatype for root datum has been implemented by Don Taylor and Scott Murray.
Cartan matrices and Cartan types
Creating Root datum
Operators on Root Datum
Related Invariants
Next:
Cartan matrices and Cartan
Up:
Lie Theory
Previous:
Lie Theory
