Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Where is the Inverse feature in FiniteSetMaps??

Say I have defined a map f within the set of maps FiniteSetMaps....

It's great that I can do things like: f.domain(), f.codomain(), f.image_set(), f.getimage().

But how do I take the inverse? Is that feature not present? Is it in the roadmap?