For any tuple
of sequences, the set of multivariate polynomials
for all points
forms an ideal of the polynomial ring. The package provides a function for computing a basis for that ideal in the case where
are C-finite sequences (or multi-sequences), i.e., they satisfy homogeneous linear recurrence equations with constant coefficients.