Polynomial Semiring