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: sage-7.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:

Status badges

Description (last modified by egourgoulhon)

This ticket implements morphisms of topological manifolds, i.e. continuous maps between topological manifolds. This is a follow-up 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 git

  • Commit changed from 608d4ea0bc3fe3616d7d8fea0312c3f6b20ef3a3 to bab7bb4b357625189d52fbf2a7dbda797f095637

Branch pushed to git repo; I updated commit sha1. New commits:

bab7bb4Add doctests to TopManifoldHomset and ContinuousMap

comment:2 Changed 6 years ago by git

  • Commit changed from bab7bb4b357625189d52fbf2a7dbda797f095637 to 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4

Branch pushed to git repo; I updated commit sha1. New commits:

6289514Remove unnecessary import in chart.py

comment:3 Changed 6 years ago by git

  • Commit changed from 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4 to a4b414cb74b4cec8f96bf4a699e73d8c35b46c13

Branch pushed to git repo; I updated commit sha1. New commits:

a4b414cModifications in CoordChange and TopManifold.__init__ to allow for subclasses.

comment:4 Changed 6 years ago by git

  • Commit changed from a4b414cb74b4cec8f96bf4a699e73d8c35b46c13 to 08808111915767774bdd0116a246f3c929b7a7f6

Branch pushed to git repo; I updated commit sha1. New commits:

0880811Changes in ContinuousMap, in particular in __invert__

comment:5 Changed 6 years ago by git

  • Commit changed from 08808111915767774bdd0116a246f3c929b7a7f6 to 30e812a668e3fca229def326012bbc47a450b15e

Branch pushed to git repo; I updated commit sha1. New commits:

30e812aMinor modifications in CoordFunctionSymb and ContinuousMap.__invert__

comment:6 Changed 6 years ago by git

  • Commit changed from 30e812a668e3fca229def326012bbc47a450b15e to c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c

Branch pushed to git repo; I updated commit sha1. New commits:

c0b3284Improve documentation of classes Chart and ContinuousMap

comment:7 Changed 6 years ago by git

  • Commit changed from c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c to 4c72118b8be5be766944439c53df6bda370e7ae2

Branch pushed to git repo; I updated commit sha1. New commits:

4c72118Add method plot() to RealChart and TopManifoldPoint

comment:8 Changed 6 years ago by git

  • Commit changed from 4c72118b8be5be766944439c53df6bda370e7ae2 to 055bf3edc0cb446c14b40bc762874b1343f9aad3

Branch pushed to git repo; I updated commit sha1. New commits:

055bf3eImprove documentation of RealChart.plot() and TopManifoldPoint.plot()

comment:9 Changed 6 years ago by egourgoulhon

  • Description modified (diff)
Note: See TracTickets for help on using tickets.