ideal primality in a polynomial ring with integer coefficients

asked 2013-07-03 00:24:03 -0600

jack77 gravatar image

Hello,

how primality of an ideal in a polynomial ring with integer coefficients can be checked? SageMath (5.7) tells me 'notImplementedError'.

Example:

R = ZZ[x]
I = R.ideal(7)
I.is_prime()
# leads to NotImplementedError

In addition, does someone know a good reference to the related theory?

Thanks,

Jack

edit retag flag offensive close merge delete