ring of truncated polynomials