Opened 20 months ago

Last modified 3 months ago

## #31685 new enhancement

# ContinuousMap.image: if map is an isomorphism and domain_subset is open, create a submanifold

Reported by: | Matthias Köppe | Owned by: | |
---|---|---|---|

Priority: | major | Milestone: | sage-9.8 |

Component: | manifolds | Keywords: | |

Cc: | Eric Gourgoulhon, Michael Jung | Merged in: | |

Authors: | Reviewers: | ||

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | Stopgaps: |

### Description

Follow-up from #31653.

### Change History (5)

### comment:1 Changed 18 months ago by

### comment:2 Changed 17 months ago by

Milestone: | sage-9.4 → sage-9.5 |
---|

### comment:3 Changed 12 months ago by

Milestone: | sage-9.5 → sage-9.6 |
---|

### comment:4 Changed 9 months ago by

Milestone: | sage-9.6 → sage-9.7 |
---|

### comment:5 Changed 3 months ago by

Milestone: | sage-9.7 → sage-9.8 |
---|

**Note:**See TracTickets for help on using tickets.

This can be implemented as pullback of inverse via #31688