This is an implementation of Algorithm 11.24 of "Gröbner Bases and Convex Polytopes" by Bernd Sturmfels. This function works similar to the function groebnerBasis(Matrix), except that the "field of scalars" is a subring.
The object extrinsicBuchberger is a method function.