On 5/2/07, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Until now, there have been two alternatives if you wanted to add a new
> function with simplifying rules to Maxima: you could either work with the
> pattern-matching system (tellsimp etc.) or you could write a simplifier in
> Lisp code.
>
> I have now written a little experimental package which allows you to write
> simplifiers in Maxima code.
I guess I don't see a need to build another mechanism to introduce
user-defined simplifications. matchdeclare + tellsimp/tellsimpafter
already can introduce a function which is called every time a
specified operator is simplified. Also, simplifying doesn't play
nice with tellsimp/tellsimpafter (or built-in rules).
If simplifying does something new & useful which is not handled
by tellsimp/tellsimpafter, let's fix up the latter.
simplifying(foo, bar) is somewhat shorter than the equivalent
matchdeclare + tellsimp/tellsimpafter incantation, so simplifying
could be useful as a convenience function.
I like simpfuncall; that has a new functionality that's not present now.
All the best,
Robert