practica-1-maxima.pdf