On 5/7/07, Robert Dodier <robert.dodier at gmail.com> wrote:
> tellsimpafter handles + and * differently from other operators.
> But maybe not when the main (top level) operator is not + or *.
:lisp #'$laplacerule1 shows the definition of the constructed
rule function. It turns out Maxima is handling the + via the PART+
function, which carries out argument sweep-up matching
(a term I made up to describe what it does). I'll try to explain later.
In the meantime there is something on the Maxima wiki about it;
try searching for base 60 arithmetic there.
Robert