-----Raymond Toy wrote: -----
>
> Barton> assoc_legendre_p(n,0,x) - legendre_p(n,x),
> Barton> assoc_legendre_q(n,0,x) - legendre_q(n,x).
>
>Is that supposed to be an equal sign? Is that
>conversion supposed to happen automatically? If so, it doesn't for me.
Oh--make that assoc_legendre_p(n,0,x) - legendre_p(n,x) = 0. And
no, orthopoly doesn't simplify assoc_legendre_p(n,0,x) to legendre_p(n,x)
even when it has been told that n is a positive integer. Actually,
orhthopoly knows very few simplifications.
As hyp and friends get better, maybe all of orthopoly, except maybe
the numerical stuff, can be expunged or blended in with hyp.lisp.
Or maybe hyp.lisp and friends are already better than orthopoly.
Barton