Interface to Maxima, enabling symbolic computation
