RootSum[f, form] represents the sum of form[x] for all x that satisfy the polynomial equation f[x] == 0.
f must be a Function object such as (#^5 - 2 # + 1)&.
form need not correspond to a polynomial function.
Normal[expr] expands RootSum objects into explicit sums involving Root objects.
f and form can contain symbolic parameters.
RootSum[f, form] is automatically simplified whenever form is a rational function.
RootSum is often generated in computing integrals of rational functions.
See Section 3.4.3.
See also: Root.
Related package: Algebra`SymmetricPolynomials`.
New in Version 3.