Changes between Version 19 and Version 44 of Ticket #18529
- Timestamp:
- 11/04/15 07:26:53 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18529
-
Property
Commit
changed from
4de19a74c83ac6d4d0c4da74e1d1f2afce5c3045
to902908b41a95d3455bfcc497997ad2054c530a96
-
Property
Commit
changed from
-
Ticket #18529 – Description
v19 v44 1 This is the implementation of topological manifolds over a topological field Kresulting from the [http://sagemanifolds.obspm.fr/ SageManifolds project]. See the meta-ticket #18528 for an overview.2 By ''topological manifold over a topological field K'' it is meant a second countable Hausdorff space M such that every point in M has a neighborhood homeomorphic to K^n^, with the same non-negative integer nfor all points.1 This is the implementation of topological manifolds over a topological field ''K'' resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds project]. See the meta-ticket #18528 for an overview. 2 By ''topological manifold over a topological field K'' it is meant a second countable Hausdorff space ''M'' such that every point in ''M'' has a neighborhood homeomorphic to ''K^n^'', with the same non-negative integer ''n'' for all points. 3 3 4 4 This tickets implements the following Python classes: 5 5 6 - `Top Manifold`: topological manifold over a topological field K7 - `Top ManifoldPoint`: point in a topological manifold8 - `Top ManifoldSubset`: generic subset of a topological manifold6 - `TopologicalManifold`: topological manifold over a topological field ''K'' 7 - `TopologicalManifoldPoint`: point in a topological manifold 8 - `TopologicalManifoldSubset`: generic subset of a topological manifold 9 9 - `Chart`: chart of a topological manifold 10 10 - `RealChart`: chart of a topological manifold over the real field 11 11 - `CoordChange`: transition map between two charts of a topological manifold 12 12 13 `Top Manifold` is intended to serve as a base class for specific manifolds, like smooth manifolds (K='''R''') and complex manifolds (K='''C''').13 `TopologicalManifold` is intended to serve as a base class for specific manifolds, like smooth manifolds (''K''='''R''') and complex manifolds (''K''='''C'''). 14 14 15 15 '''Documentation''':