Regular singular point criterion for a second-order equation (source code)

= Regular singular point criterion for a second-order equation

For
$$
y''+P(z)y'+Q(z)y=0,
$$
$z_0$ is a regular singular point when $(z-z_0)P(z)$ and $(z-z_0)^2Q(z)$ are analytic at $z_0$.