Efficient generation of zero dimensional ideals in polynomial rings.
Let be a number field. It is well known that the set of recurrencesequences with entries in is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume is a recurrence sequence and suppose that all the have a root in the field ; then (after...