Apply suggested changes

Co-authored-by: Travis Scrimshaw <[email protected]>

Author: user202729

src/sage/rings/polynomial/multi_polynomial_ideal.py

@@ -4987,10 +4987,8 @@ def reduce(self, f):
             pass
 
         gb = self.groebner_basis()
-        R = self.ring()
-        if not R.has_coerce_map_from(parent(f)):
-            raise TypeError(f"element belong to {parent(f)}, cannot coerce to {R}")
-        return R(f).reduce(gb)
+        f = self.ring().coerce(f)
+        return f.reduce(gb)
 
     def _contains_(self, f):
         r"""