-- -*- M2-comint -*- {* hash: -151227855 *}

i1 : R=QQ[a,b]

o1 = R

o1 : PolynomialRing

i2 : setMaxIdeal ideal gens R

o2 = ideal (a, b)

o2 : Ideal of R

i3 : mingens image matrix{{a-1,a,b},{a-1,a,b}}

o3 = | 1 b a-1 |
     | 1 b a-1 |

             2       3
o3 : Matrix R  <--- R

i4 : localMingens matrix {{a-1,a,b},{a-1,a,b}}

o4 = | a-1 |
     | a-1 |

             2       1
o4 : Matrix R  <--- R

i5 :