Changes between Version 1 and Version 3 of Ticket #18529
 Timestamp:
 05/27/15 22:27:50 (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #18529 – Description
v1 v3 1 This is the implementation of topological manifolds over a field K resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds project]. See the metaticket #18528 for an overview. 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. 2 3 3 4 This tickets implements the following Python classes: 4 5 5  `TopManifold`: topological manifold over a field K6  `TopManifold`: topological manifold over a topological field K 6 7  `TopManifoldPoint`: point in a topological manifold 7 8  `TopManifoldSubset`: generic subset of a topological manifold … … 10 11  `RealChart`: chart of a topological manifold over the real field 11 12  `CoordChange`: transition map between two charts of a topological manifold 13 14 `TopManifold` is intended to serve as a base class for specific manifolds, like smooth manifolds (K='''R''') and complex manifolds (K='''C''').