Here are the basics:
Almost all of the simplifier is in simp.lisp. To simplify an
expression like f(a,b), which internally looks like (($f) $a $b),
Maxima calls the function in the operators property of $f, which is
generally called simp-f. This can be fairly simple (for cases like
simp-abs) or very complicated (for simplus (+), simptimes (*), etc.).
You can start by tracing simplifya and then simp-xxx where xxx is a
function that interests you.
Sorry I don't have the time to write more.
-s
On Fri, Nov 13, 2009 at 10:52 AM, mihail22 mihail22 <mihail22 at nigma.ru> wrote:
> Hi.
>
> Maxima has a very complicated simplifier of expressions (simplification
> system). Could you advise how to obtain (how to show) steps of the
> expression simplification? Could you describe or pinpoint corresponding
> parts of the source code (.lisp or .mac files)?
>
> Best regards,
> Mihail D
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>