Integer root (source code)

= Integer root

A <polynomial root> that is an <integer>. For a <polynomial> with <integer> coefficients and nonzero constant term, any integer root divides that constant term, by the <rational root theorem>.