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
