arguments: gbasis >> matrix
Place the matrix whose columns are minimal generators of the submodule with the given Groebner basis (at least as it has so far been computed).