be a ring and
be a finite set of variables.
The multivariate polynomial ring
can be implemented in different ways.
This implies to choose an ordering on the variables
and a representation for univariate polynomials.
we can use a univariate representation
- otherwise we can view
as a univariate
polynomial ring with a multivariate polynomial
ring as coefficient ring, say for instance
AS LINEAR COMBINATIONS OF MONOMIALS.
Marc Moreno Maza