inducedMap -- compute an induced map

inducedMap -- compute an induced map

inducedMap(M,N,f) -- produce the map from N to M induced by f.

Here M should be a subquotient module of the target of f, and N should be a subquotient module of the source of f.

See also:

inducesWellDefinedMap -- whether a map is well defined

Ways to use inducedMap :

Optional arguments :

inducedMap(..., Degree => ...) -- specify the degree of a map

inducedMap(..., Verify => ...) -- verify that a map is well-defined