Maxima library