Does that include symbolic math equivalent to that of Maxima?