ideal_in_Z(omega)
Información: ideal_in_Z(omega)