Algebraic generating function (source code)

= Algebraic generating function

An algebraic generating function is a <formal power series> $F(x)$ satisfying a nonzero <polynomial equation> $P(x,F(x))=0$. Over a field of characteristic zero, it is <D-finite>.