Cálculo de Forma Normal

El proceso de reducir un polinomio módulo una base elegida (por ejemplo una base de Gröbner o una border-basis) a un representante canónico en el álgebra cociente R/I, produciendo una forma normal (o resto) que es única respecto de la base y el orden de monomios elegidos y útil para pertenencia al ideal, pruebas de igualdad y cálculos en el álgebra cociente.