|
7.7.17.0. coHom
Procedure from library nchomolog.lib (see nchomolog_lib).
- Usage:
- coHom(A,k); A matrix, k int
- Purpose:
- compute the matrix of a homomorphism Hom(R^k,A), where R is the basering. Let A be a matrix defining a map F1-->F2 of free R-modules, then the matrix of Hom(R^k,F1)-->Hom(R^k,F2) is computed.
- Note:
- Both A and Hom(A,R^k) are matrices for either left or right R-module homomorphisms
Example:
|