Opened 2 years ago

Last modified 17 months ago

#18725 closed enhancement

Topological manifolds: morphisms — at Initial Version

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 (Commits) Commit: 608d4ea0bc3fe3616d7d8fea0312c3f6b20ef3a3
Dependencies: #18640, #18175 Stopgaps:

Description

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

Change History (0)

Note: See TracTickets for help on using tickets.