inducedMap

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.

Options:

  • inducedMap(Verify => ...)
  • inducedMap(Degree => ...)

    • See also inducesWellDefinedMap.

    topindexpreviousupnext