An algebraic number theory library allowing
to perform comptations with algebraic numbers
and fields.