Hi,

I have an expression of substitution rule / equation, where the right-hand-side has numerous terms. When I tried calling simplify(_), it returned an error that I think is coming when the algorithm tries to run on both sides of the equation.

So I used get_rhs() from the manip library,

ex

temp = manip.getrhs(exp_full);

and performed the simplification steps on ex*temp.
However now ex*temp is not an equation, so when I use the function multiply_through() - I get an error.

My two questions are:

(1) Is there a way to multiply an expression which is not an equation by a factor, like multiply_through does

(2) How do I "return" the value of my non-equation ex_temp into an equation expression? like

ex

fullnew := Y -> (ex_temp);

I assume it has something to do with nodes of expressions. In the manual section I see a list of functions under cdb.utils.node, but they all return values, not updating them.

Thanks in advance,

Amnon