Differential Rational Normal Forms
<Text-field style="Heading 2" layout="Heading 2" bookmark="info">Description</Text-field>
The main functionalities are to
construct the polynomial normal form of a rational function,
construct the two rational canonical forms of a rational function,
construct the two multiplicative decompositions of a hyperexponential function,
construct an additive decomposition of a hyperexponential function,
solve the indefinite hyperexponential integration problem,
help solve the definite hyperexponential integration problem.
<Text-field style="Heading 2" layout="Heading 2">List of Commands</Text-field>
AreSimilar, Gosper, IsHyperexponential, MultiplicativeDecomposition, PolynomialNormalForm, RationalCanonicalForm, ReduceHyperexp, Zeilberger.
<Text-field style="Heading 2" layout="Heading 2" bookmark="seealso">See Also</Text-field>help, SumTools[Hypergeometric]
<Text-field style="Heading 2" layout="Heading 2">References</Text-field>
Almkvist, G., and Zeilberger, D. "The method of differentiating under the integral sign." Journal of Symbolic Computation. Vol. 10. (1990): 571-591.
Geddes, Keith; Le, Ha; and Li, Ziming. "Differential rational canonical forms and a reduction algorithm for hyperexponential functions." Proceedings of ISSAC 2004. ACM Press. (2004): 183-190.