diff --git a/src/doc/en/reference/manifolds/continuous_map.rst b/src/doc/en/reference/manifolds/continuous_map.rst index 9c4afeb8f82..bd17639a2f4 100644 --- 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 index 41ce34563b0..6122e103b16 100644 --- 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 index 6ee2826bca1..db3a629ce5d 100644 --- 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: