# ideal primality in a polynomial ring with integer coefficients

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