arguments: Enlarges the base ring of 'g' to be 'R'. The ring, its homogenity, and its term order should be consistent with the old values: The Groebner basis of the binomial ideal should not change.
