ABSTRACT

In Section 4.3 we considered the simplification of polynomials with symbols for algebraic numbers that are defined as the solutions of polynomial equations. In Section 6.2 we considered the simplification of multivariate polynomials with respect to a single polynomial side relation. In this chapter we again consider the polynomial simplification problem but this time allow for several multivariate polynomial side relations that may have symbols in common. Because of this, the supporting mathematical theory is more involved than the material in Sections 4.3 and 6.2. The algorithm in this chapter is a generalization of the algorithms in these earlier sections.