Using words like ‘factors,’ ‘denominators’ and ‘multiples’ may be part of a constellation of good math teaching practices ...
In this paper we introduce a working generalization of the theory of Gröbner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation ...