Changes between Initial Version and Version 1 of Ticket #31653, comment 20
- Timestamp:
- 04/17/21 18:52:28 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31653, comment 20
initial v1 1 1 I am considering possible extensions of the current code: 2 2 - 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 t be 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) 4 4