ring of polynomials over a field