ideal primality in a polynomial ring with integer coefficients

edit

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