Make simplify_light return maps also for FreeModule case

[aaruni96]

Fixes #1745

[afkafkafk13]

Thank you. Now the return values are consistent.

[fieker]

On Thu, May 23, 2024 at 07:35:18AM -0700, Anne Frühbis-Krüger wrote: @afkafkafk13 approved this pull request. Thank you. Now the return values are consistent.

Seperate question: why two maps? Wouldn't a single isomorphism (with the preimage installed) be the natural interface?

…

-- Reply to this email directly or view it on GitHub: #3786 (review) You are receiving this because you are subscribed to this thread. Message ID: ***@***.***>

[afkafkafk13]

On Thu, May 23, 2024 at 07:35:18AM -0700, Anne Frühbis-Krüger wrote: @afkafkafk13 approved this pull request. Thank you. Now the return values are consistent.
Seperate question: why two maps? Wouldn't a single isomorphism (with the preimage installed) be the natural interface?
…
-- Reply to this email directly or view it on GitHub: #3786 (review) You are receiving this because you are subscribed to this thread. Message ID: @.***>

If you are interested in moving objects/subobjects back and forth, this is indeed the case. But if you need to give one map or the other as data to further computations, you need the map. Unfortunately, there is no reason to believe that the same direction would suffice for all applications which the user might have in mind.