Computing the algebraic relations of C-finite sequences and multisequences
We present an algorithm for computing generators for the ideal of algebraic relations among sequences which are given by homogeneous linear recurrence equations with constant coefficients. Knowing these generators makes it possible to use Grobner basis methods for carrying out certain basic operations ill the ring of such sequences effectively. In particular, one call answer the question whether a given sequence can be represented in terms of other given sequences. (C) 2008 Elsevier Ltd. All rights reserved.
algebraic relations c-finite sequences recurrence equations