COMPACT is a package of functions for the reduction of a polynomial in the presence of side relations. COMPACT applies the side relations to the polynomial so that an equivalent expression results with as few terms as possible. For example, the evaluation of
yields the result
The switch TRCOMPACT can be used to trace the operation.
Author: Anthony C. Hearn.