Re: MuPAD 3.0 - expression simplification

Hi Brad,

anyway I am glad to hear that someone uses (or struggles with :-)) Simplify.


>
> I think that a method for the user to "help out" the Simplify function
> with a one-off rule while the user is simplifying a one-off function would
> be useful. Something along the lines of Simlify(f, ApplyRule=r). This
> could be implemented such that Rule r is added to the rule base as a
> one-off for the duration of this one run of Simplify and is expunged from
> the rule base immediately after.
>

I forgot to mention a second method. The rule base Simplify::userRules is
always used in addition to the default rule base or the rule base specified
with RuleBase = ...

Adding a rule is not so simple. Trying to find a match for it every time an
expression (= the original expression, or a subexpression thereof, or an
expression equivalent to one of them, or a subexpression thereof, ....) is
handled would cost much time. It is necessary to determine first in which
cases the pattern matcher should be employed at all. If you really want to
employ a certain rule r in all cases, a simple call
Simplify::userRules(r)
helps.

[...]

>
> This requires me to develop a level of sophistication with MuPAD which I
> don't come near at this stage. I will just have to go down the road and
> buy more coffee :-)
>

Hope I did not too much harm to your blood pressure ...
CHeers,

Stefan


--
Stefan Wehmeier
stefanw@xxxxxxxx
.