The Proper Basis for Polynomial Ideals

Sheng-Ming Ma

We define a new type of ideal basis called the proper basis that improves both Gröbner basis and Buchberger's algorithm. Let $x_1$ be the least variable of a monomial ordering in…