Integrated maxima code.