Changes between Initial Version and Version 1 of Ticket #31653, comment 20


Ignore:
Timestamp:
04/17/21 18:52:28 (15 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31653, comment 20

    initial v1  
    11I am considering possible extensions of the current code:
    22 - handle a domain `subset` directly in `ImageManifoldSubset` - which would allow us to extend `ContinuousMap.image` to take a `subset` that is not open
    3  - if the map is an isomorphism (and the domain `subset` open), we could create a submanifold -- but should this use extra classes `ImageTopologicalManifold`, `ImageDifferentiableManifold`, which remember the map, or just compute tbe result?
     3 - if the map is an isomorphism (and the domain `subset` open), we could create a submanifold -- but should this use extra classes `ImageTopologicalManifold`, `ImageDifferentiableManifold`, which remember the map, or just compute the result? (in either case - follow-up ticket)
    44