ports/math/maxima
