Merge branch 'public/manifolds/Euclidean_spaces' of git://trac.sagemath.org/sage into Sage 8.2.rc4

Author: egourgoulhon

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

@@ -35,6 +35,7 @@ Using calculus
   - :doc:`sage/calculus/transforms/dft`
   - :doc:`sage/calculus/transforms/fft`
 
+- :ref:`Vector Calculus <euclidean-spaces>`
 - :doc:`sage/calculus/riemann`
 - :doc:`Other calculus functionality <sage/calculus/functions>`
 - :doc:`sage/symbolic/complexity_measures`

src/doc/en/reference/index.rst

@@ -92,6 +92,7 @@ Discrete Mathematics
 Geometry and Topology
 ---------------------
 
+* :doc:`Euclidean Spaces and Vector Calculus <manifolds/euclidean_space>`
 * :doc:`Combinatorial and Discrete Geometry <discrete_geometry/index>`
 * :doc:`Cell Complexes and their Homology <homology/index>`
 * :doc:`Manifolds and Differential Geometry <manifolds/index>`

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

@@ -0,0 +1,11 @@
+.. _euclidean-spaces:
+
+Euclidean Spaces and Vector Calculus
+====================================
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/manifolds/differentiable/euclidean
+
+   sage/manifolds/operators

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

@@ -6,8 +6,8 @@ Pseudo-Riemannian Manifolds
 
    sage/manifolds/differentiable/pseudo_riemannian
 
+   Euclidean Spaces <euclidean_space>
+
    sage/manifolds/differentiable/metric
 
    sage/manifolds/differentiable/levi_civita_connection
-
-   sage/manifolds/operators

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

@@ -272,14 +272,17 @@ REFERENCES:
 .. [Benasque2009] Fernando Rodriguez Villegas, *The L-function of the quintic*,
    http://users.ictp.it/~villegas/hgm/benasque-2009-report.pdf
 
+.. [Ber1987] \M. Berger, *Geometry I*, Springer (Berlin) (1987);
+             :doi:`10.1007/978-3-540-93815-6`
+
+.. [Ber1991] \C. Berger, "Une version effective du théorème de
+             Hurewicz", https://tel.archives-ouvertes.fr/tel-00339314/en/.
+
 .. [Ber2008] \W. Bertram : *Differential Geometry, Lie Groups and
              Symmetric Spaces over General Base Fields and Rings*,
              Memoirs of the American Mathematical Society, vol. 192
              (2008); :doi:`10.1090/memo/0900`; :arxiv:`math/0502168`
 
-.. [Ber1991] \C. Berger, "Une version effective du théorème de
-             Hurewicz", https://tel.archives-ouvertes.fr/tel-00339314/en/.
-
 .. [BeukersHeckman] \F. Beukers and \G. Heckman,
    *Monodromy for the hypergeometric function `{}_n F_{n-1}`*,
    Invent. Math. 95 (1989)

src/sage/manifolds/all.py

@@ -2,3 +2,4 @@
 lazy_import('sage.manifolds.manifold', 'Manifold')
 lazy_import('sage.manifolds.differentiable.real_line', 'OpenInterval')
 lazy_import('sage.manifolds.differentiable.real_line', 'RealLine')
+lazy_import('sage.manifolds.differentiable.euclidean', 'EuclideanSpace')