Rational generating function
= Rational generating function
A rational generating function is a <formal power series> equal to a quotient of two <polynomials>, with denominator nonzero at the origin. Multiplying by the denominator shows that its coefficients eventually satisfy a <linear recurrence> with constant coefficients.