id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
18725,Topological manifolds: morphisms,egourgoulhon,egourgoulhon,"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 `ManifoldPoint.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].
",enhancement,closed,major,sage-7.2,geometry,fixed,topological manifolds,,,"Eric Gourgoulhon, Travis Scrimshaw",Travis Scrimshaw,N/A,,efcb618c969a0f060e59961be3ad2d913d6c7fc9,efcb618c969a0f060e59961be3ad2d913d6c7fc9,"#18640, #18175",