Multiplicity of a root (source code)

= Multiplicity of a root

The multiplicity of a root $a$ of a polynomial is the largest integer $m$ such that $(X-a)^m$ divides the polynomial.