Abstract: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 a polynomial ring $K[x_1,\dotsc,x_n]$ over a field $K$. The Gröbner basis of a zero-dimensional polynomial ideal contains a univariate polynomial in $x_1$. The proper basis is defined and computed in the variables $\tilde{\bm{x}}:=(x_2,\dotsc,x_n)$ with $x_1$ serving as a parameter in the algebra $K[x_1][\tilde{\bm{x}}]$. Its algorithm is more efficient than not only Buchberger's algorithm whose elimination of $\tilde{\bm{x}}$ unnecessarily involves the least variable $x_1$ but also Möller's algorithm due to its polynomial division mechanism. This is corroborated by a series of benchmark testings herein. The proper basis is in a modular form and neater than Gröbner basis and hence reduces its coefficient swell problem. It is expected that all the state of the art algorithms improving Buchberger's algorithm over the last decades can be further improved if we apply them to the proper basis.

Ideal transition systems

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Systems of ideals parametrized by combinatorial structures

Groebner bases of symmetric ideals

Comprehensive Involutive Systems

The homological shift algebra of a monomial ideal

Equivariant ideals of polynomials

Primary ideals and their differential equations

An algorithmic approach to the existence of ideal objects in commutative algebra

On Posets, Monomial Ideals, Gorenstein Ideals and their Combinatorics

Symmetric Ideals and Invariant Hilbert Schemes

Gröbner bases for bipartite determinantal ideals

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents

A new iterative algorithm for comprehensive Grobner systems

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

The Proper Basis for Polynomial Ideals

A note on defining ideals of monomial curves associated to primitive Pythagorean triples

A universal tale of determinants and Gröbner bases

Graded ideals of König type

Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases