Opened 6 years ago
Last modified 5 years ago
#18725 closed enhancement
Topological manifolds: morphisms — at Version 9
Reported by:  egourgoulhon  Owned by:  egourgoulhon 

Priority:  major  Milestone:  sage7.2 
Component:  geometry  Keywords:  topological manifolds 
Cc:  Merged in:  
Authors:  Eric Gourgoulhon  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  public/manifolds/top_manif_morphisms  Commit:  055bf3edc0cb446c14b40bc762874b1343f9aad3 
Dependencies:  #18640, #18175  Stopgaps: 
Description (last modified by )
This ticket implements morphisms of topological manifolds, i.e. continuous maps between topological manifolds. This is a followup of #18640 within the 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.
Change History (9)
comment:1 Changed 6 years ago by
 Commit changed from 608d4ea0bc3fe3616d7d8fea0312c3f6b20ef3a3 to bab7bb4b357625189d52fbf2a7dbda797f095637
comment:2 Changed 6 years ago by
 Commit changed from bab7bb4b357625189d52fbf2a7dbda797f095637 to 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4
Branch pushed to git repo; I updated commit sha1. New commits:
6289514  Remove unnecessary import in chart.py

comment:3 Changed 6 years ago by
 Commit changed from 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4 to a4b414cb74b4cec8f96bf4a699e73d8c35b46c13
Branch pushed to git repo; I updated commit sha1. New commits:
a4b414c  Modifications in CoordChange and TopManifold.__init__ to allow for subclasses.

comment:4 Changed 6 years ago by
 Commit changed from a4b414cb74b4cec8f96bf4a699e73d8c35b46c13 to 08808111915767774bdd0116a246f3c929b7a7f6
Branch pushed to git repo; I updated commit sha1. New commits:
0880811  Changes in ContinuousMap, in particular in __invert__

comment:5 Changed 6 years ago by
 Commit changed from 08808111915767774bdd0116a246f3c929b7a7f6 to 30e812a668e3fca229def326012bbc47a450b15e
Branch pushed to git repo; I updated commit sha1. New commits:
30e812a  Minor modifications in CoordFunctionSymb and ContinuousMap.__invert__

comment:6 Changed 6 years ago by
 Commit changed from 30e812a668e3fca229def326012bbc47a450b15e to c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c
Branch pushed to git repo; I updated commit sha1. New commits:
c0b3284  Improve documentation of classes Chart and ContinuousMap

comment:7 Changed 6 years ago by
 Commit changed from c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c to 4c72118b8be5be766944439c53df6bda370e7ae2
Branch pushed to git repo; I updated commit sha1. New commits:
4c72118  Add method plot() to RealChart and TopManifoldPoint

comment:8 Changed 6 years ago by
 Commit changed from 4c72118b8be5be766944439c53df6bda370e7ae2 to 055bf3edc0cb446c14b40bc762874b1343f9aad3
Branch pushed to git repo; I updated commit sha1. New commits:
055bf3e  Improve documentation of RealChart.plot() and TopManifoldPoint.plot()

comment:9 Changed 6 years ago by
 Description modified (diff)
Branch pushed to git repo; I updated commit sha1. New commits:
Add doctests to TopManifoldHomset and ContinuousMap