Monic_polynomial