Eisenstein_integers loading ...