Norm form (source code)

= Norm form
{wiki}

For a finite <number field> $L/\mathbb Q$ with a rational basis $\omega_1,\ldots,\omega_n$, the norm form is the homogeneous polynomial
$$
F(X_1,\ldots,X_n)
=N_{L/\mathbb Q}(X_1\omega_1+\cdots+X_n\omega_n).
$$