Multiplicity of a root of a polynomial