Is there any some kind of environment variable(or command,package, anything...) that I can play with to tell maple consider all the constrants implied by the given expression
For Example, I want to simplify the following equation(this equation's final form is "0=0" if you take the implied constraints into account.)
"(4*a^3*b)^(1/2)/(-(a/(4*b))^(1/2))+(4*a^3*b*(4*b/a))^(1/2) = 0"
in real domain and this equation implies that variable a and b are both negative or positive because of the sqrt operation. And neither a nor b should be zero because they are part of a fraction's denominator.
but if i simply tell maple to simplify this equation, all the constrants will be ignored by maple, even if i use RealDomain package.