Singular can compute the groebner cover of an ideal of a polynomial ring with coefficients. This implements an interface to that functionality.

CC: @enriqueartal @tscrim

Component: commutative algebra

Author: Miguel Marco

Branch/Commit: 7d0372b

Reviewer: Travis Scrimshaw, Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/34444