Eisenstein_ideal loading ...