Subject: Q: replace a function with simplifying function
From: Stavros Macrakis
Date: Mon, 3 Oct 2005 09:56:31 -0400
> (defun $max (&rest e)
> (simp-max `(($max) ,@e) nil nil))
> It seems that this works OK. The old max and min
> functions can be recovered by loading 'compar.lisp.'
This is probably not the best way to do it, because there will be
potentially inconsistent behavior between evaluation and
simplification environments. It would be better to *remove* the
function property from $max and add an operators property to it:
(fmakunbound '$max)
(putprop '$max 'simp-max 'operators)