-- -*- M2-comint -*- hash: 1120444266848884435

i1 : R = QQ[x..z];

i2 : f = vars R

o2 = | x y z |

             1      3
o2 : Matrix R  <-- R

i3 : K = kernel f

o3 = image {1} | -y 0  -z |
           {1} | x  -z 0  |
           {1} | 0  y  x  |

                             3
o3 : R-module, submodule of R

i4 : L = super K

      3
o4 = R

o4 : R-module, free, degrees {3:1}

i5 : L == source f

o5 = true

i6 : g = generators K

o6 = {1} | -y 0  -z |
     {1} | x  -z 0  |
     {1} | 0  y  x  |

             3      3
o6 : Matrix R  <-- R

i7 : f*g

o7 = 0

             1      3
o7 : Matrix R  <-- R

i8 : f*g == 0

o8 = true

i9 : 
