Macaulay2 » Documentation
Packages » map > map(Module,Module,Matrix)
next | previous | forward | backward | up | index | toc

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 do not check that the result is a well defined homomorphism.

See also

Ways to use this method: