[Maxima-discuss] def-simplifier and finding the definition

[Stavros M. <mac...@gm...>]

It's great the way def-simplifier standardizes the definition of
simplifying (mathematical) functions.

I use the Tags system in Emacs, so I type META-. *function* to jump to the
definition of a function.

def-simplifier makes this much more efficient. I used to have to know that
the simplifier for gamma is simp-%gamma, for example.

But unfortunately, the def-simplifier scheme doesn't apply to all
functions: it fails for min, floor, matrix, lambda, etc., not to mention
operators like +, ^^, etc.

It would be nice if we could somehow extend the def-simplifier scheme to
cover all these cases, even if the call is actually a no-op -- that is, use
def-simplifier simply to make the simplifier findable.

(def-simplifier lambda simplambda)   ;; random syntax
(defun simplambda (x vestigial simp-flag)