>From looking at the documentation for orthopoly, it's unclear what
assoc_legendre_p(a,b,z) and assoc_legendre_q(a,b,z) are. Is a the
degree and b the order? Of course, once orthopoly is loaded and you
enter assoc_legendre_q(a,b,z), it gets printed like
b
Q (z)
a
so it's clear that a is the degree and b is the order.
I think the documentation should at least say so.
If this is correct, I think all the hypergeometric simplification
functions have this backward. :-(
Ray