Maple - simplifying expression under a constraint

349 Views Asked by Bumbble Comm At 25 Mar 2026 - 2:19

I am working with functions $f_{a,b,c}(x,y,z)$ which depend on the (fixed) parameters $a,b,c$.

The parameters $a,b,c$ satisfy the identity $a+b+c=0$. How do I enforce Maple to simplify the expressions under this constraint?

I tried writing something like

simplify(%) assuming a+b+c=0

but that did not work. Could someone point me in the right direction?

There are 1 best solutions below

Bumbble Comm On 16 Jun 2019 - 12:00 BEST ANSWER

For equations as constraints, you could use:

simplify(%,{a+b+c=0});

If it don't make what you want, you could define your own simplification procedure.