Ideal Membership Testing

A decision procedure that determines whether a given element (commonly a polynomial) belongs to a specified ideal I in a ring or algebraic structure; output is yes/no and often a certificate such as a representation of the element as a combination of ideal generators.