This is an alternate Gröbner basis algorithm that can be used if the submodule is homogeneous, and the ring is a (quotient of) a polynomial ring over a field.
The object Homogeneous is a symbol.