ReturnMap -- An option for moduleToIdeal and moduleWithSectionToIdeal
Description
If moduleToIdeal is set to true, then instead of just converting a module into an isomorphic ideal, this also returns the map from the module to the ring.
Functions with optional argument named ReturnMap :
moduleToIdeal(..., ReturnMap => ...), see moduleToIdeal -- Turn a module to an ideal of a ring
moduleWithSectionToIdeal(..., ReturnMap => ...), see moduleWithSectionToIdeal -- Turn a module to an ideal of a ring and keep track of a module element
See also
moduleToIdeal -- Turn a module to an ideal of a ring
moduleWithSectionToIdeal -- Turn a module to an ideal of a ring and keep track of a module element