Integral basis (source code)

= Integral basis
{wiki}

An integral basis is a $\mathbb Z$-basis of the ring of integers of a number field.