#18529: Topological manifolds: basics
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: geometry | Resolution:
Keywords: topological | Merged in:
manifolds | Reviewers:
Authors: Eric Gourgoulhon | Work issues:
Report Upstream: N/A | Commit:
Branch: | 89c063c7119f19497e3d21b2a5a9dcb0752122b0
public/manifolds/top_manif_basics | Stopgaps:
Dependencies: #18175 |
-------------------------------------+-------------------------------------
Description changed by egourgoulhon:
Old description:
> This is the implementation of topological manifolds over a field K
> resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds
> project]. See the meta-ticket #18528 for an overview.
>
> This tickets implements the following Python classes:
>
> - `TopManifold`: topological manifold over a field K
> - `TopManifoldPoint`: point in a topological manifold
> - `TopManifoldSubset`: generic subset of a topological manifold
> - `TopManifoldOpenSubset`: open subset of a topological manifold
> - `Chart`: chart of a topological manifold
> - `RealChart`: chart of a topological manifold over the real field
> - `CoordChange`: transition map between two charts of a topological
> manifold
New description:
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.
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.
This tickets implements the following Python classes:
- `TopManifold`: topological manifold over a topological field K
- `TopManifoldPoint`: point in a topological manifold
- `TopManifoldSubset`: generic subset of a topological manifold
- `TopManifoldOpenSubset`: open subset of a topological manifold
- `Chart`: chart of a topological manifold
- `RealChart`: chart of a topological manifold over the real field
- `CoordChange`: transition map between two charts of a topological
manifold
`TopManifold` is intended to serve as a base class for specific manifolds,
like smooth manifolds (K='''R''') and complex manifolds (K='''C''').
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18529#comment:3>
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.
