polynomials should use Idempotence of the semiring