Allow coercion from Frac(QQ[x]) to LaurentSeriesRing(QQ)

sagemath · Jan 22, 2025 · 20ac0fb · 20ac0fb
1 parent 5188024
commit 20ac0fb
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/sage/rings/laurent_series_ring.py b/src/sage/rings/laurent_series_ring.py
@@ -649,6 +649,8 @@ def _coerce_map_from_(self, P):
             True
             sage: S.has_coerce_map_from(PolynomialRing(ZZ, 't'))
             True
+            sage: S.has_coerce_map_from(Frac(PolynomialRing(ZZ, 't')))
+            False
             sage: S.has_coerce_map_from(LaurentPolynomialRing(ZZ, 't'))
             True
             sage: S.has_coerce_map_from(PowerSeriesRing(ZZ, 't'))
@@ -671,6 +673,12 @@ def _coerce_map_from_(self, P):
             sage: S.has_coerce_map_from(LaurentSeriesRing(QQ, 't'))
             False
 
+            sage: T.<t> = LaurentSeriesRing(QQ)
+            sage: T.has_coerce_map_from(QQ['t'])
+            True
+            sage: T.has_coerce_map_from(Frac(QQ['t']))
+            True
+
             sage: R.<t> = LaurentSeriesRing(QQ['x'])
             sage: R.has_coerce_map_from(QQ[['t']])
             True
@@ -687,7 +695,10 @@ def _coerce_map_from_(self, P):
             sage: R.has_coerce_map_from(LazyLaurentSeriesRing(ZZ['x'], 't'))
             True
         """
+        from sage.rings.fraction_field import FractionField_generic
         A = self.base_ring()
+        if isinstance(P, FractionField_generic) and A.is_field():
+            return self.has_coerce_map_from(P.base())
         if (isinstance(P, (LaurentSeriesRing, LazyLaurentSeriesRing,
                            LaurentPolynomialRing_generic,
                            PowerSeriesRing_generic, LazyPowerSeriesRing,