>>4I love and use Maxima all the time. Here's a tip; evaluate to_lisp() and then start SWANK ;). Some russian guy forked Maxima and made an ASDF build, so it could be quicklispable but then he abandoned the fork for some reason? According to a mailing list the Maxima people were quite interested in eventually merging it too. I think if Maxima were quicklispable far more people would use it cause it's very very useful.
However, Maxima is missing about 10 years worth of commercial, paid for Macsyma development from Symbolics. Rumor has it that Macsyma can do things no other CAS can:
Out came the four-term typeset result of logarithms and arctangents, plus a fifth term I'd never seen before. "I've never seen any computer algebra system add that fifth term," I said, "but it doesn't look incorrect." The fifth term was a floored expression, whose value increased with the period of the function preceding it. "Let's plot it," Bill said. He plotted it using MACSYMA's menu interface, and it was what appeared to be an increasing, non-periodic function. I think we determined it was because MACSYMA properly handled branch cuts, with other systems have been known to be unorthodox about. It definitely had a pragmatic feel to it.
http://symbo1ics.com/blog/?p=1999If you're interested in CASs there's also Axiom (and two recent forks) which, as I understand it, took a very unique approach. However since I already know Maxima and Mathematica I have not (yet) taken the time to look into it.