gp: x^(1/2) and (1/x)^(1/2) and sqrt(x)

[Michael Somos <somos@grail.cba.csuohio.edu>]

Pari-dev,

? (1/x)^(1/2)
  ***   log is not analytic at 0.
? x^(1/2)
  ***   not an integer exponent for non invertible series in gpow.
? sqrt(x)
  ***   odd exponent in gsqrt

It seems to me that this is a confusing variety of error messages.
Perhaps there might be a way to make them more comparable?  It
is further interesting that :

? (1/x^2)^(1/2)
  ***   log is not analytic at 0.
? (x^2)^(1/2)
  ***   not an integer exponent for non invertible series in gpow.
? sqrt(x^2)
%3 = x + O(x^15)

Perhaps it would be easy to make these comparable also? Shalom, Michael