ring of polynomial functions