#18725: Topological manifolds: morphisms
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: geometry | Resolution:
Keywords: topological | Merged in:
manifolds | Reviewers:
Authors: Eric Gourgoulhon | Work issues:
Report Upstream: N/A | Commit:
Branch: | f8d3f273a52273bf4830ca99a651a43d57090ee4
public/manifolds/top_manif_morphisms| Stopgaps:
Dependencies: #18640, #18175 |
-------------------------------------+-------------------------------------
Changes (by egourgoulhon):
* status: new => needs_review
* milestone: sage-6.8 => sage-6.10
Old description:
> This ticket implements morphisms of topological manifolds, i.e.
> continuous maps between topological manifolds. This is a follow-up of
> #18640 within the [http://sagemanifolds.obspm.fr/ SageManifolds project].
> See the metaticket #18528 for an overview.
>
> Two new Python classes are introduced in this ticket:
> - the parent class `TopManifoldHomset` for sets Hom(M,N) of morphisms
> between two
> topological manifolds M and N over the same topological field K
> - the element class `ContinuousMap` for elements of Hom(M,N), i.e.
> continuous maps M --> N
> Moreover, this ticket introduces plotting capabilities for charts (method
> `RealChart.plot()`) and for points (method `TopManifoldPoint.plot()`),
> which require continuous maps and thus could not have been introduced in
> #18529.
New description:
This ticket implements morphisms of topological manifolds, i.e. continuous
maps between topological manifolds. This is a follow-up of #18640 within
the [http://sagemanifolds.obspm.fr/ SageManifolds project]. See the
metaticket #18528 for an overview.
Two new Python classes are introduced in this ticket:
- the parent class `TopManifoldHomset` for sets Hom(M,N) of morphisms
between two
topological manifolds M and N over the same topological field K
- the element class `ContinuousMap` for elements of Hom(M,N), i.e.
continuous maps M --> N
Moreover, this ticket introduces plotting capabilities for charts (method
`RealChart.plot()`) and for points (method `TopManifoldPoint.plot()`),
which require continuous maps and thus could not have been introduced in
#18529.
'''Documentation''':
The reference manual is produced by
`sage -docbuild reference/manifolds html`
It can also be accessed online at
http://sagemanifolds.obspm.fr/doc/18725/reference/manifolds/
More documentation (e.g. example worksheets) can be found
[http://sagemanifolds.obspm.fr/documentation.html here].
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18725#comment:15>
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.
