Home Online Manual
Top
Back: ncExt_R
Forward: coHom
FastBack: purityfiltration_lib
FastForward: ratgb_lib
Up: nchomolog_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.19.0. ncHom
Procedure from library nchomolog.lib (see nchomolog_lib).

Usage:
ncHom(M,N); M,N modules

Compute:
A presentation of Hom(M',N'), M'=coker(M), N'=coker(N)

Assume:
M' is a left module, N' is a centralizing bimodule

Note:
ncHom(M,N) is a right module, hence a right presentation matrix is returned

Example:
 
LIB "nchomolog.lib";
ring A=0,(x,y,z),dp;
matrix M[3][3]=1,2,3,
4,5,6,
7,8,9;
matrix N[2][2]=x,y,
z,0;
module H = ncHom(M,N);
print(H);
==> 0,0,0,0,y,x,
==> 0,0,0,z,0,z,
==> 1,0,0,0,0,0,
==> 0,1,0,0,0,0,
==> 0,0,2,1,0,0,
==> 0,0,1,0,0,0