Calcul de Forme Normale

Le processus de réduction d'un polynôme modulo une base choisie (par exemple une base de Gröbner ou une base frontière) vers un représentant canonique dans l'algèbre quotient R/I, produisant une forme normale (ou reste) unique par rapport à la base et à l'ordre des monômes choisis, utile pour le test d'appartenance à un idéal, l'égalité et les calculs sur l'algèbre quotient.