Top
Back: coHom
Forward: dmodoublext
FastBack: purityfiltration_lib
FastForward: ratgb_lib
Up: nchomolog_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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:


Top Back: coHom Forward: dmodoublext FastBack: purityfiltration_lib FastForward: ratgb_lib Up: nchomolog_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.