Compute a Gröbner basis of a submodule U⊂R^t with respect to a global module order

Original label: Compute a Gröbner basis of a submodule U⊂R^t with respect to a global module order