On 5/22/2013 3:40 AM, Barton Willis wrote:
> There is some difference between when a tellsimp rule is applied.
> Maybe the "and may not work"
> warning is relevant?
It certainly is relevant. I don't understand why people insist on using
such rules even after such warnings.
Maybe they assume "and may not work" refers just to other people:)
Perhaps it should just give anerror message and say that you can't use
it at all.
RJF
tellsimpafter(b+1,z) works as I assume you expect.
But do you expect b+2 to becomez+1?
RJF