Normal() again

[Do Hoang Son]

Salut,

> > This is caused by (x^(1/2))^2 being treated (during normal()) as foobar^2
> > and not being further evaluated until foobar gets re-inserted in the very
> > end. A workaround is to call expand() before normal().
> 
> Hmm, not very transparent.  Since contrary to (x^2)^(1/2), (x^(1/2))^2 can
> be safely transformed into x maybe something like this should be done 
> internally by normal()?  On the other hand, maybe this will
> become too complex.  I don't know...  What are we gonna do?

Call expression.normal().normal() could be easiest way.
if one calls expand() then normal(), it will take long time in case
his/her expression is long.

Son.