On 12/17/10, Richard Fateman <fateman at cs.berkeley.edu> wrote:
>
> I did not like the name Maxima, at the very beginning, for the reason
> that it was so non-descriptive and commonplace.
For the record, I'm not so crazy about the name "Maxima" myself.
Maybe we can rename it to something cute but unique -- some kind
of rare bird or rodent, perhaps. Just a thought.
FWIW
Robert Dodier