Characterization of relative Grobner bases
We present a characterization of relative Grobner bases and provide a result on the preservation of a relative Grobner basis under changes of the involved orderings. Furthermore, we show that computing a relative Grobner basis amounts to determining a finite basis of an ideal in a possibly non-Noetherian ring. We also provide an example where the method suggested by Zhou and Winkler for computing a relative Grobner basis does not terminate. (C) 2013 Elsevier B.V. All rights reserved.
characterization of relative grobner bases relative grobner bases relative reduction symmetry of relative grobner bases