|
7.7.17.0. contraHom
Procedure from library nchomolog.lib (see nchomolog_lib).
- Usage:
- contraHom(A,k); A matrix, k int
- Return:
- matrix
- Purpose:
- compute the matrix of a homomorphism Hom(A,R^k), where R is the basering. Let A be a matrix defining a map F1-->F2 of free R-modules, then the matrix of Hom(F2,R^k)-->Hom(F1,R^k) is computed.
- Note:
- if A is matrix of a left (resp. right) R-module homomorphism, then Hom(A,R^k) is a right (resp. left) R-module R-module homomorphism
Example:
See also:
|