Link in documentation of sage.manifolds.continuous_map_image

sagemath · Apr 20, 2021 · 0f3e36d · 0f3e36d
1 parent e711215
commit 0f3e36d
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/src/doc/en/reference/manifolds/continuous_map.rst b/src/doc/en/reference/manifolds/continuous_map.rst
@@ -7,3 +7,5 @@ Continuous Maps
    sage/manifolds/manifold_homset
 
    sage/manifolds/continuous_map
+
+   sage/manifolds/continuous_map_image
diff --git a/src/sage/manifolds/continuous_map.py b/src/sage/manifolds/continuous_map.py
@@ -820,7 +820,7 @@ def _composition_(self, other, homset):
         return homset(resu_funct)
 
     def image(self, subset=None, inverse=None):
-        """
+        r"""
         Return the image of ``self`` or the image of ``subset`` under ``self``.
 
         INPUT:

diff --git a/src/sage/manifolds/subset.py b/src/sage/manifolds/subset.py
@@ -5,7 +5,9 @@
 topological manifold. Open subsets are implemented by the class
 :class:`~sage.manifolds.manifold.TopologicalManifold` (since an
 open subset of a manifold is a manifold by itself), which inherits
-from :class:`ManifoldSubset`.
+from :class:`ManifoldSubset`.  Besides, subsets that are images of
+a manifold subset under a continuous map are implemented by the
+subclass :class:`~sage.manifolds.continuous_map_image.ImageManifoldSubset`.
 
 AUTHORS: