Maxima functions that I wrote