Rational generating function
ID: 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.
New to topics? Read the docs here!