(in-package "MAXIMA")