ABSTRACT
Most symbolic computation involves mathematical expressions that contain more than one symbol or generalized variable. In order to manipulate these expressions, we must extend the concepts and algorithms described in Chapter 4 to polynomials with several variables. This generalization is the subject of this chapter. It includes a description of coefficient domains and a recursive view of multivariate polynomials (Section 6.1), versions of polynomial division and expansion (Section 6.2), greatest common divisor algorithms (Section 6.3), and the extended Euclidean algorithm (Section 6.3).
