Question: Properties of sqrt() are weird

Why won't simplify give the obvious result and Why does testeq give a Fail result in this case?

 

with(RealDomain);

assume(0<f,0<g);

simplify(f*sqrt(g/f));

testeq(f*sqrt(g/f)=sqrt(f)*sqrt(g))

Please Wait...