#18783: Differentiable manifolds: basics
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: geometry | Resolution:
Keywords: differentiable | Merged in:
manifolds | Reviewers:
Authors: Eric Gourgoulhon, | Work issues:
Michal Bejger | Commit:
Report Upstream: N/A | f2fef7b6f6d9dd3c1b0d927bb477e3e5f33cfd3f
Branch: | Stopgaps:
public/manifolds/diff_manif_basics |
Dependencies: #18725, #18175 |
-------------------------------------+-------------------------------------
Description changed by egourgoulhon:
Old description:
> This is the first ticket about the implementation of differentiable
> manifolds resulting from the [http://sagemanifolds.obspm.fr/
> SageManifolds project]. See the metaticket #18528 for an overview.
>
> The base field K of the differentiable manifolds is generic, so that the
> user may specify K='''R''' (real manifolds) or K='''C''' (complex
> manifolds). This ticket implements the following Python classes, all of
> them being subclasses of classes introduced for topological manifolds
> (tickets #18529, #18640, #18725):
>
> - `DiffManifold` (subclass of `TopManifold`, cf. #18529): differentiable
> manifold over
> a topological field K (Parent class)
> - `DiffChart` (subclass of `Chart`, cf. #18529): chart of a
> K-differentiable atlas
> - `RealDiffChart` (subclass of `RealChart`, cf. #18529): chart of a
> K-differentiable atlas
> for K='''R'''
> - `DiffCoordChange` (subclass of `CoordChange`, cf. #18529):
> differentiable transition map
> - `DiffScalarFieldAlgebra` (subclass of `ScalarFieldAlgebra`, cf.
> #18640): set C^k^(M) of
> k-times continuously K-differentiable functions M --> K, where M is a
> differentiable manifold
> over K, C^k^(M) being a commutative algebra over K (Parent class)
> - `DiffScalarField` (subclass of `ScalarField`, cf. #18640): k-times
> continuously
> K-differentiable function M --> K (Element class)
> - `DiffManifoldHomset` (subclass of `TopManifoldHomset`, cf. #18725): set
> Hom(M,N) of
> differentiable maps between the differentiable manifolds M and N over
> the same topological
> field K (Parent class)
> - `DiffMap` (subclass of `ContinuousMap`, cf. #18725): differentiable map
> M --> N (Element class)
New description:
This is the first ticket about the implementation of differentiable
manifolds resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds
project]. See the metaticket #18528 for an overview.
The base field K of the differentiable manifold is generic (only assumed
to be some non-discrete topological field), so that the user may specify
e.g. K='''R''' (real manifolds) or K='''C''' (complex manifolds). This
ticket implements the following Python classes, all of them being
subclasses of classes introduced for topological manifolds (tickets
#18529, #18640, #18725):
- `DiffManifold` (subclass of `TopManifold`, cf. #18529): differentiable
manifold over
a topological field K (Parent class)
- `DiffChart` (subclass of `Chart`, cf. #18529): chart of a
K-differentiable atlas
- `RealDiffChart` (subclass of `RealChart`, cf. #18529): chart of a
K-differentiable atlas
for K='''R'''
- `DiffCoordChange` (subclass of `CoordChange`, cf. #18529):
differentiable transition map
- `DiffScalarFieldAlgebra` (subclass of `ScalarFieldAlgebra`, cf. #18640):
set C^k^(M) of
k-times continuously K-differentiable functions M --> K, where M is a
differentiable manifold
over K, C^k^(M) being a commutative algebra over K (Parent class)
- `DiffScalarField` (subclass of `ScalarField`, cf. #18640): k-times
continuously
K-differentiable function M --> K (Element class)
- `DiffManifoldHomset` (subclass of `TopManifoldHomset`, cf. #18725): set
Hom(M,N) of
differentiable maps between the differentiable manifolds M and N over
the same topological
field K (Parent class)
- `DiffMap` (subclass of `ContinuousMap`, cf. #18725): differentiable map
M --> N (Element class)
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18783#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
