polynomial.monic.next_coeff_mul source