Re: set.lisp redefines POWERSET / {} for sets



> I think there was some thread from about a year ago where MAXIMA was
> the package for all of maxima (as is currently done), but the user
> (and top-level loop) was in the MAXIMA-USER package.

Yes, that is one useful thing.  But what Martin and others were talking
about was havnig separate packages so that (e.g.) the internal functions
of the Taylor package would be in a different name space from those of
Defint.