Test D'Appartenance à un Idéal

Procédure de décision qui détermine si un élément donné (souvent un polynôme) appartient à un idéal I spécifié d'un anneau ou d'une structure algébrique ; la sortie est oui/non et souvent un certificat tel qu'une écriture de l'élément comme combinaison des générateurs de l'idéal.