The two Maple modules are for computing a basis for the ideal of recurrence relations of multi-dimensional sequences.
degmroot.mpl: This module computes a (vector space) basis for the annihilator (the ideal of recurrence relations) of a given mult-dimensional sequence (by its value over its finite support) up to a given degree. There annihilator does not need to be m-primary.
annihilator.mpl: This module computes a (vector space) basis for the annihilator (the ideal of recurrence relations) of a given mult-dimensional sequence (by its value over its finite support). There annihilator must be m-primary, or equivalently the entries of the sequence of its finite support must be zero.
example.mw file contains examples that are mentioned in the original paper.
[email protected], 2024, Oxford
This is an extension and development on top of of the following:
Title: mroot - Multiple Roots and primal-dual structure
Authors: Angelos Mantzaflaris <[email protected]>
Bernard Mourrain <[email protected]>
2010-2012
See A.M. & B.M., Deflation and Certified Isolation of Singular Zeros of Polynomial Systems
Last Modification: 7/2012