8.6 COMPACT Operator

compact is an operator for the reduction of a polynomial in the presence of side relations. It applies the side relations to the polynomial so that an equivalent expression results with as few terms as possible. For example, the evaluation of

   compact(s*(1-sin x^2)+c*(1-cos x^2)+sin x^2+cos x^2,
           {cos x^2+sin x^2=1});

yields the result

         2           2
   cos(x) *s + sin(x) *c + 1

The switch trcompact can be used to trace the operation.

Hosted by