Subject: Handling branch cuts for hypergeometric functions
From: Barton Willis
Date: Sun, 13 Feb 2005 12:05:16 -0600
The x vs z scheme works OK in a reference book, but it doesn't
work for a CAS. Either Maxima needs different names for the
two definitions of the associated Legendre functions (A&S 8.3.1, 8.1.2),
or Maxima needs to stick to one or the other. The difference
between these two definitions cannot be explained by saying
that the factor ((z + 1)/(z-1))^(mu / 2) is multivalued. The
functions are different.
I know of no bugs in A&S 14.5.7--15.4.26. But using them is
error prone.
Barton