Re: [fricas-devel] Giving a name to a part of an expression

2018-09-30 Thread Waldek Hebisch
Slawomir Kolodynski wrote: > > Suppose I have an expression like *(y-m)*sqrt(x)/s* . What I would like to > do is to give a name *e* to the *sqrt(x)/s* part and do some kind of > transformation on this expression so that I get *(y-m)*e *or equivalent as > the result*. *To do that I define a

[fricas-devel] Giving a name to a part of an expression

2018-09-30 Thread Slawomir Kolodynski
Suppose I have an expression like *(y-m)*sqrt(x)/s* . What I would like to do is to give a name *e* to the *sqrt(x)/s* part and do some kind of transformation on this expression so that I get *(y-m)*e *or equivalent as the result*. *To do that I define a rule substE := rule