Opened 6 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: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: manifolds Keywords:
Cc: egourgoulhon, gh-mjungmath Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


Follow-up from #31653.

Change History (2)

comment:1 Changed 5 months ago by mkoeppe

This can be implemented as pullback of inverse via #31688

comment:2 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.