# Is the relation decidable?

Given an ideal $I$ over $\mathbb{C}$ and P, a polynomial, is it decidable whether $P\in I$?

• How is the ideal given? ​ ​ – user6973 Oct 8 '17 at 5:15