Up | Next | Prev | PrevTail | Tail |
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.
Up | Next | Prev | PrevTail | Front |