Added leading-coefficient and leading-term. Example with symmetric polynomials.