Truncated polynomial ring