lie_algebra.is_solvable_add source