Trac #31320: Coercion issue with Laurent polynomial rings

{{{
sage: coercion_model.common_parent(Frac(QQ['t']),
LaurentPolynomialRing(CC,'t'))
Fraction Field of Univariate Polynomial Ring in t over Rational Field
}}}

URL: https://trac.sagemath.org/31320
Reported by: mmezzarobba
Ticket author(s): Frédéric Chapoton
Reviewer(s): Travis Scrimshaw

src/sage/rings/fraction_field.py

@@ -291,6 +291,14 @@ def _coerce_map_from_(self, S):
             sage: 1/(R.gen(0) + R.gen(1))
             1/(x + y)
 
+        Test for :trac:`31320`::
+
+            sage: FQt = Frac(QQ['t'])
+            sage: LCt = LaurentPolynomialRing(CC,'t')
+            sage: coercion_model.common_parent(FQt, LCt)
+            Fraction Field of Univariate Polynomial Ring in t
+            over Complex Field with 53 bits of precision
+
         Coercion from a localization::
 
             sage: R.<x> = ZZ[]
@@ -333,7 +341,9 @@ def wrapper(x):
                                       parent_as_first_arg=False)
 
         # special treatment for LaurentPolynomialRings
-        if isinstance(S, LaurentPolynomialRing_generic):
+        if (isinstance(S, LaurentPolynomialRing_generic) and
+                self._R.fraction_field().has_coerce_map_from(S.base_ring())):
+
             def converter(x, y=None):
                 if y is None:
                     return self._element_class(self, *x._fraction_pair())