This is the default Gröbner basis algorithm used if the submodule is inhomogeneous, and the ring is a (quotient of) a polynomial ring over a field.

The object Inhomogeneous is a symbol.