C Y wrote:
>
> I have one suggestion for a discussion point off the top of my head:
> Why does tellsimpafter not work on atoms?
The simplifier is "data directed" -- it takes its clue as to what
program to call based on the main operator.
MPLUS --> simplus
MTIMES --> simptimes
etc.
Atoms don't have a main operator, so there is no place to put
a simplification program, or to modify (wrap around) the existing
simplifier.
If you want to simplify an atom, I guess you can define a rule
or a function and map it over the whole expression of interest.
RJF