|
D.4.7.17 kontrahom
Procedure from library homolog.lib (see homolog_lib).
- Usage:
- kontrahom(A,k); A=matrix, k=integer
- Return:
- matrix Hom(A,R^k), i.e. 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 (R=basering).
Example:
|