#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: | 668bc26960cf5d2b23c32e3ce51001180e50004b
public/manifolds/top_manif_morphisms| Stopgaps:
Dependencies: #18640, #18175 |
-------------------------------------+-------------------------------------
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.
>
> '''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].
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 `TopologicalManifoldHomset` 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
`TopologicalManifoldPoint.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].
--
Comment (by egourgoulhon):
The above commit takes into account
[https://groups.google.com/forum/#!topic/sage-devel/Vzfj1haZHho this
discussion on sage-devel] and on ticket #18529: it removes
`UniqueRepresentation` for the class `TopologicalManifoldHomset`, leaving
only `WithEqualityById`.
--
Ticket URL: <http://trac.sagemath.org/ticket/18725#comment:18>
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.
