Naive polynomial height (source code)

= Naive polynomial height
{title2=$H(P)$}

The naive height of a polynomial is the largest absolute value of its coefficients. For a primitive polynomial in $\mathbb Z[X_1,\ldots,X_n]$, this equals the <projective height> of its coefficient vector.