RealSet._element_constructor_: Add example

sagemath · Aug 31, 2022 · 9a789a9 · 9a789a9
1 parent 20c153d
commit 9a789a9
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/sage/sets/real_set.py b/src/sage/sets/real_set.py
@@ -1371,6 +1371,17 @@ def _coerce_map_from_(self, X):
                 return FacadeInclusionMorphism(Hom(X, self))
 
     def _element_constructor_(self, x):
+        r"""
+        EXAMPLES::
+
+            sage: S = RealSet.open(1, 3)
+            sage: S(2)
+            2
+            sage: S(3)
+            Traceback (most recent call last):
+            ...
+            TypeError: 3 is not an element of (1, 3)
+        """
         if self.contains(x):
             return x
         raise TypeError(f'{x} is not an element of {self}')