Adding Maxima stuff.