is_groebner fails over fraction fields

[mwageringel]

sage: P.<t>=QQ[]
sage: F = Frac(P)
sage: R.<X,Y,Z> = F[]
sage: G = sage.rings.ideal.Katsura(R).groebner_basis(); G
[Z^3 + (-79/210)*Z^2 + 1/30*Y + 1/70*Z, Y^2 + (-3/5)*Z^2 + (-1/5)*Y + 1/5*Z, Y*Z + 6/5*Z^2 + (-1/10)*Y + (-2/5)*Z, X + 2*Y + 2*Z - 1]
sage: G.is_groebner()
---------------------------------------------------------------------------
...
TypeError: Singular error:
   ? `module` * `module` failed
   ? error occurred in or before STDIN line 104: `def sage44=sage41 * sage43;`

Component: commutative algebra

Keywords: singular

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