next | previous | forward | backward | up | top | index | toc | Macaulay2 website
map > map(Module,Module,Matrix)

map(Module,Module,Matrix) -- create the matrix induced on generators by a given matrix

Synopsis

Description

M and N should be modules over the same ring, and have the same number of generators as target p and source p, respectively.
i1 : R = QQ[x,y,z];
i2 : p = matrix {{x,y,z}}

o2 = | x y z |

             1       3
o2 : Matrix R  <--- R
i3 : q = map(R^1,R^3,p)

o3 = | x y z |

             1       3
o3 : Matrix R  <--- R
i4 : degrees source p

o4 = {{1}, {1}, {1}}

o4 : List
i5 : degrees source q

o5 = {{0}, {0}, {0}}

o5 : List

Caveat

If M or N is not free, then we don't check that the the result is a well defined homomorphism.

See also