Residue Reduced Form of a Rational Function as an Iterated Laurent Series
Keyword(s):
Lipshitz showed that the diagonal of a D-finite power series is still D-finite, but his proof seems hard to implement. This paper may be regarded as the first step towards an efficient algorithm realizing Lipshitz's theory. We show that the idea of a reduced form may be a big saving for computing the D-finite functional equation. For the residue in one variable of a rational function, we develop an algorithm for computing its minimal algebraic functional equation.
Keyword(s):
Keyword(s):
1992 ◽
Vol 15
(3)
◽
pp. 499-508
Keyword(s):
1988 ◽
Vol 113
(2)
◽
pp. 373-378
◽
2019 ◽
Vol 18
(08)
◽
pp. 1950151
◽
Keyword(s):
2013 ◽
Vol 94
(2)
◽
pp. 158-180
◽
Keyword(s):
1976 ◽
Vol 190
(1)
◽
pp. 643-651
◽
Keyword(s):
1956 ◽
Vol 52
(1)
◽
pp. 39-48
◽
Keyword(s):