Changes between Version 19 and Version 44 of Ticket #18529


Ignore:
Timestamp:
11/04/15 07:26:53 (4 years ago)
Author:
egourgoulhon
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18529

    • Property Commit changed from 4de19a74c83ac6d4d0c4da74e1d1f2afce5c3045 to 902908b41a95d3455bfcc497997ad2054c530a96
  • Ticket #18529 – Description

    v19 v44  
    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.
     1This 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.
     2By ''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.
    33
    44This tickets implements the following Python classes:
    55
    6 - `TopManifold`: topological manifold over a topological field K
    7 - `TopManifoldPoint`: point in a topological manifold
    8 - `TopManifoldSubset`: generic subset of a topological manifold
     6- `TopologicalManifold`: topological manifold over a topological field ''K''
     7- `TopologicalManifoldPoint`: point in a topological manifold
     8- `TopologicalManifoldSubset`: generic subset of a topological manifold
    99- `Chart`: chart of a topological manifold
    1010  - `RealChart`: chart of a topological manifold over the real field
    1111- `CoordChange`: transition map between two charts of a topological manifold
    1212
    13 `TopManifold` 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''').
    1414
    1515'''Documentation''':