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!