-- -*- M2-comint -*- hash: 18020269949054797067

i1 : R = QQ[x,y]/(y^2 - x^3);

i2 : M = image matrix{{x, y}}

o2 = image | x y |

                             1
o2 : R-module, submodule of R

i3 : H = Hom(M, M, MinimalGenerators => true)

o3 = image {-1} | x y  |
           {-1} | y x2 |

                             2
o3 : R-module, submodule of R

i4 : formation H

o4 = Hom (image | x y |, image | x y |, DegreeLimit => null)

o4 : Expression of class FunctionApplication

i5 : f0 = homomorphism H_{0}

o5 = {1} | 1 0 |
     {1} | 0 1 |

o5 : Matrix M <-- M

i6 : f1 = homomorphism H_{1}

o6 = {1} | 0 x |
     {1} | 1 0 |

o6 : Matrix M <-- M

i7 : M_0, M_1

o7 = (| x |, | y |)

o7 : Sequence

i8 : f0 M_0, f0 M_1

o8 = (| x |, | y |)

o8 : Sequence

i9 : f1 M_0, f1 M_1

o9 = (| y |, | x2 |)

o9 : Sequence

i10 : 
