Fixed Lie derivative computation (symbolic) from GUI, Improve user interface