Existence and Construction of a Gröbner Basis for a Polynomial Ideal

06/16/2023

∙

by   Deepak Kapur, et al.

∙

0

∙

share

This extended abstract gives a construction for lifting a Gröbner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gröbner basis for every ideal in R.