Assertion: function | /r/HasProperty | holonomic
Facets:
Source sentences:
text: A formal power series (or function) F ( z ) {\displaystyle F(z)} is said to be holonomic if it satisfies a linear differential equation of the form