I tried using "simplify" but it doesn't work. For example:
simplify(a*b=b*c) assuming b>0
will not get a=c but return the original equation.
or even
simplify(a*b/b) assuming b>0
will not get a directly but return the original equation.
Could anyone help on this please? Thanks.