Open tmilev opened 3 years ago
To study real forms of Lie algebras/groups, the calculator needs to implement all Cartan involutions up to conjugation, which appear to be classified by Satake / Vogan diagrams.
To study real forms of Lie algebras/groups, the calculator needs to implement all Cartan involutions up to conjugation, which appear to be classified by Satake / Vogan diagrams.