(map,Module,Module)

map(M,N) -- constructs the natural map from N to M.

The modules M and N should be subquotient modules of the same free module

See also map and isWellDefined.


topindexpreviousupnext