Revert to UniqueRepresentation for topological manifolds

src/doc/en/reference/index.rst

@@ -86,6 +86,7 @@ Geometry and Topology
 * :doc:`Combinatorial Geometry <geometry/index>`
 * :doc:`Cell Complexes and their Homology <homology/index>`
 * :doc:`Differential Forms <tensor/index>`
+* :doc:`Manifolds <manifolds/index>`
 * :doc:`Parametrized Surfaces <riemannian_geometry/index>`
 
 Number Theory, Algebraic Geometry

src/doc/en/reference/manifolds/conf.py

@@ -0,0 +1 @@
+../conf_sub.py

src/doc/en/reference/manifolds/index.rst

@@ -0,0 +1,18 @@
+Manifolds
+=========
+
+This is the Sage implementation of manifolds resulting from the
+`SageManifolds project <http://sagemanifolds.obspm.fr/>`_.
+This section describes only the "manifold" part of SageManifolds;
+the pure algebraic part is described in the section
+:ref:`tensors-on-free-modules`.
+
+More documentation (in particular example worksheets) can be found
+`here <http://sagemanifolds.obspm.fr/documentation.html>`_.
+
+.. toctree::
+   :maxdepth: 2
+
+   manifold
+
+.. include:: ../footer.txt

src/doc/en/reference/manifolds/manifold.rst

@@ -0,0 +1,13 @@
+Topological manifolds
+=====================
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/manifolds/manifold
+
+   sage/manifolds/point
+
+   sage/manifolds/subset
+
+   sage/manifolds/chart

src/sage/all.py

@@ -173,6 +173,8 @@
 
 from sage.game_theory.all import *
 
+from sage.manifolds.all import *
+
 # Lazily import notebook functions and interacts (#15335)
 lazy_import('sagenb.notebook.notebook_object', 'notebook')
 lazy_import('sagenb.notebook.notebook_object', 'inotebook')

src/sage/manifolds/__init__.py

@@ -0,0 +1 @@
+# Empty file

src/sage/manifolds/all.py

@@ -0,0 +1,2 @@
+from sage.misc.lazy_import import lazy_import
+lazy_import('sage.manifolds.manifold', 'Manifold')