**Dependencies**: A Mathematica package for computing algebraic relations of C-finite sequences and multi-sequences
===================================================================================================================

This package is part of the |PACKAGE_NAME| bundle. See :ref:`Download`.

Short Description
-----------------

For any tuple :math:`f_1, f_2,\ldots f_r` of sequences, the set of
multivariate polynomials :math:`p` such that
:math:`p(f1(n),f2(n),\ldots,fr(n))=0` for all points :math:`n` forms
an ideal of the polynomial ring. The package provides a function for
computing a basis for that ideal in the case where
:math:`f_1,f_2,\ldots,f_r` are C-finite sequences (or
multi-sequences), i.e., they satisfy homogeneous linear recurrence
equations with constant coefficients.

Authors
-------

  * `Manuel Kauers`_
  * Burkhard Zimmermann

Accompanying files
------------------

  * `demo.nb`_

Literature
----------

To use the implementation it is sufficient to study the notebook
`demo.nb`_. It contains a few examples to start with.

  * M. Kauers and B. Zimmermann
    **Computing the Algebraic Relations of C-Finite Sequences and Multisequences**,
    Journal of Symbolic Computation, Volume 43 Issue 11, November, 2008.
    `[pdf from JSC] <http://www.sciencedirect.com/science/article/pii/S074771710800045X>`_
    `[techreport] <http://www.sfb013.uni-linz.ac.at/reports/2006/pdf-files/rep_06-24_kauers.pdf>`_

.. _Manuel Kauers: http://kauers.de
.. _demo.nb: Dependencies/demo.nb