| 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). |