⁸Two FriCAS implementations of Lie algebras are LieSquareMatrix and FreeNilpotentLie.