|
D.4.7.19 tensorMod
Procedure from library homolog.lib (see homolog_lib).
- Usage:
- tensorMod(M,N); M,N modules
- Compute:
- presentation matrix A of the tensor product T of the modules
M'=coker(M), N'=coker(N): if matrix(M) defines a map M: R^r-->R^s and
matrix(N) defines a map N: R^p-->R^q, then A defines a presentation
| R^(sp+rq) --A-> R^(sq) --> T --> 0 .
|
- Return:
- matrix A satisfying coker(A) = tensorprod(coker(M),coker(N)) .
Example:
|