GROBNER BASES WITH RESPECT TO GENERALIZED TERM ORDERS AND THEIR APPLICATION TO THE MODELING PROBLEM

We present an algorithm to decide whether a homogeneous linear partial difference equation with constant coefficients provides an unfalsifie d model for a finite set of observations, which consist in multiindexe d signals, known on a finite subset of N-n. To this aim we introduce t he concept of ''generalized term order'' and extend the theory of Grob ner bases accordingly. (C) 1996 Academic Press Limited