Test der Idealzugehörigkeit

Ein Entscheidungsverfahren, das bestimmt, ob ein gegebenes Element (häufig ein Polynom) zu einem angegebenen Ideal I in einem Ring oder einer algebraischen Struktur gehört; die Ausgabe ist Ja/Nein und oft ein Zertifikat wie eine Darstellung des Elements als Kombination von Idealgeneratoren.