| | 2 | |
| | 3 | This will contain the following: |
| | 4 | |
| | 5 | - Free Lie algebras in the Hall basis |
| | 6 | - Abelian Lie algebras |
| | 7 | - Lie algebras from an associative algebra |
| | 8 | - Lie algebras from structure coefficients |
| | 9 | - Finite type Lie algebras |
| | 10 | - As matrices for types ABCD |
| | 11 | - In the Chevalley basis |
| | 12 | - gl_n |
| | 13 | - The Lie algebra of strictly upper triangular matrices |
| | 14 | - The Lie algebra of upper triangular matrices |
| | 15 | - Untwisted affine Lie algebras constructed from a finite type |
| | 16 | - Untwisted affine Kac-Moody Lie algebras (i.e. the above + the Lie derivative) |
| | 17 | - Universal enveloping algebras |
| | 18 | |
| | 19 | There might also be the following: |
| | 20 | |
| | 21 | - The Lyndon basis for the free Lie algebra |
| | 22 | - su_n |
| | 23 | - Kac-Moody algebras based only on a (generalized) Cartan matrix |
| | 24 | |
| | 25 | With this, one will be able to do basic computations, as well as compute things such as the lower central series (depending on the type). |
