A Note on the Space Complexity of Fast D-Finite Function Evaluation
Abstract
We state and analyze a generalization of the "truncation trick" suggested by Gourdon and Sebah to improve the performance of power series evaluation by binary splitting. It follows from our analysis that the values of D-finite functions (i.e., functions described as solutions of linear differential equations with polynomial coefficients) may be computed with error bounded by 2^(-p) in time O(p*(lg p)^(3+o(1))) and space O(p). The standard fast algorithm for this task, due to Chudnovsky and Chudnovsky, achieves the same time complexity bound but requires \Theta(p*lg p) bits of memory.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2012
- DOI:
- 10.48550/arXiv.1209.5097
- arXiv:
- arXiv:1209.5097
- Bibcode:
- 2012arXiv1209.5097M
- Keywords:
-
- Computer Science - Symbolic Computation
- E-Print:
- CASC - Computer Algebra in Scientific Computing 7442 (2012) 212-223