Michael Somos on Sat, 5 Oct 2002 17:45:28 -0400


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

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


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