16.15 COMPACT: Package for compacting expressions

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