Trace and norm integrality criterion for a quadratic extension (source code)

= Trace and norm integrality criterion for a quadratic extension

In a quadratic extension $L/K$, an element is integral exactly when its relative trace and norm lie in $\mathcal O_K$.