Let , , and , , be the eigenvalues of the tridiagonal matrix
where are again defined as in §31.3(i). Then
is a polynomial of degree , and hence a solution of (31.2.1) that is analytic at all three finite singularities . These solutions are the Heun polynomials. Some properties are included as special cases of properties given in §31.15 below.