-- -*- M2-comint -*- hash: 1641201784988660273

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 : 
