SymbolicRing: Allow converting all Set_base instances to SR

sagemath · Jul 2, 2021 · a5459f4 · a5459f4
1 parent 473cd41
commit a5459f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/sage/symbolic/ring.pyx b/src/sage/symbolic/ring.pyx
@@ -406,9 +406,9 @@ cdef class SymbolicRing(CommutativeRing):
             return prod([SR(p)**e for p,e in x], SR(x.unit()))
         elif x in Sets():
             from sage.rings.all import NN, ZZ, QQ, AA
-            from sage.sets.real_set import RealSet
+            from sage.sets.set import Set_base
             if (x.is_finite() or x in (NN, ZZ, QQ, AA)
-                    or isinstance(x, RealSet)):
+                    or isinstance(x, Set_base)):
                 exp = x
             else:
                 raise TypeError(f"unable to convert {x!r} to a symbolic expression")