Graphical UI for maxima
