ring of symmetric polynomials