Assertion: generating function | /r/HasProperty | expressed as rational function
Facets:
Source sentences:
text: The ordinary generating function of a sequence can be expressed as a rational function (the ratio of two finite-degree polynomials) if and only if the sequence is a linear recursive sequence with constant coefficients; this generalizes the examples above.