is a polynomial of degree n, and hence a solution of (31.2.1) that
is analytic at all three finite singularities 0,1,a. These solutions are the
Heun polynomials. Some properties are included as special cases of
properties given in §31.15 below.