No, because tellsimp(foo,bar) doesn't evaluate or simplify foo and bar --
they're mfexpr*'s.
On Sun, Nov 25, 2012 at 6:21 PM, Richard Fateman
<fateman at eecs.berkeley.edu>wrote:
> On 11/25/2012 2:25 PM, Stavros Macrakis wrote:
>
> It seems to me that there is no good reason to be defining
> simplification rules on verbs.
>
> when I wrote tellsimp (etc) there were no "nouns". Everything internally
> started with a $.
> Is it a bug? well, if tellsimp(foo,bar) or tellsimpafter(foo,bar)
> operates by evaluating and simplifying
> foo, then wouldn't foo be changed to a noun, and that's where the
> simplification goes?
> But maybe that's not what happens.
>
> RJF
>