-- -*- M2-comint -*- hash: 14164805442913557626

i1 : R = ZZ/32003[x,y,z];

i2 : P = R^3;

i3 : M = image(x*P_{1}+y*P_{2} | z*P_{0})

o3 = image | 0 z |
           | x 0 |
           | y 0 |

                             3
o3 : R-module, submodule of R

i4 : N = image(x^4*P_{1} + x^3*y*P_{2} + x*y*z*P_{0})

o4 = image | xyz |
           | x4  |
           | x3y |

                             3
o4 : R-module, submodule of R

i5 : h = inducedMap(M,N)

o5 = | x3 |
     | xy |

o5 : Matrix M <-- N

i6 : source h == N

o6 = true

i7 : target h == M

o7 = true

i8 : ambient M == ambient N

o8 = true

i9 : 
