MinimalMatrix
MinimalMatrix => g
-- an option for
forceGB
which specifies that the columns of g are minimal generators for the submodule generated by the Groebner basis.