Definición
Una base para el cociente de un anillo de polinomios por un ideal de dimensión cero formada a partir de un ideal de orden de monomios y sus relaciones de borde; las bases de borde proporcionan representantes numéricos estables del álgebra cociente.