Height-Mahler measure formula (source code)

= Height-Mahler measure formula

If the primitive minimal polynomial of an algebraic number $\alpha$ has degree $d$, then
$$
H(\alpha)^d=M(f_\alpha).
$$