ARNUM
From redlog.eu
Author: Eberhard Schrüfer
Algebraic Number Fields.
Algebraic numbers are the solutions of an irreducible polynomial over some ground domain. The algebraic number i (imaginary unit), for example, would be defined by the polynomial <math>i^2 + 1</math>. The arithmetic of algebraic numbers is realized by polynomial arithmetic modulo defining polynomials.