C Y wrote:
>Hmm. This has never been clear to me - the relationship between
>tellsimp, rules, the let system, and when and how to use them.
>tellsimp and tellsimpafter seem to be the only mechanism for having the
>macsyma environment perform a simplification "by default" - do rule
>sets also have that ability?
>
No, you must apply them, using apply1, applyb1 etc.
but you could, I suppose take a function and encapsulate the behavior, e.g.
foosimp(r):=apply1(r, rulesetfoo);
and then do something like this...
matchdeclare(r, any);
tellsimp(q(r),qtransformed(foo(r))) ;; if you get the idea.
>
>CY, who nominates this issue for a high priority position in the
>documentation/cleanup/re-impliment cleanly/whatever list.
>
>--- Richard Fateman wrote:
>
>
>>Just off the top of my head, I think that what
>>you could try is explicit rule sets, rather than tellsimp.
>>
>>The letsimp facility is quite separate from any other
>>simplification modification, and was a student project,
>>years ago, to emulate the similar facility in REDUCE.
>>
>>RJF
>>