I was checking some equations involving the equality at DLMF 14.3.19, which expresses the Legendre function of the second kind in terms of an hypergeometric function, and got peculiar results. If I've understood it correctly, from the Functions manual, the Associated Legendre functions of the first and second kind are not yet implemented, as at Sagemath 10.8, but the Ferrers functions are. Is that correct?
If so, I wondered what the timescale might be for implementation and whether there are any suggested work rounds.