Changes between Version 19 and Version 44 of Ticket #18529
 Timestamp:
 11/04/15 07:26:53 (5 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 metaticket #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 nonnegative 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 metaticket #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 nonnegative 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''':