0
$\begingroup$

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

$\endgroup$
  • 3
    $\begingroup$ How is the ideal given? ​ ​ $\endgroup$ – user6973 Oct 8 '17 at 5:15
3
$\begingroup$

Yes, that's the Ideal Membership Problem and it is solved using Gröbner bases.

$\endgroup$
  • $\begingroup$ Thank you, you always give me perfect answer. and I wonder if it may be extended to other closed fields. $\endgroup$ – XL _at_China Oct 8 '17 at 5:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.