-- -*- M2-comint -*- {* hash: 1033649654 *} i1 : R=QQ[a,b] o1 = R o1 : PolynomialRing i2 : setMaxIdeal ideal gens R o2 = ideal (a, b) o2 : Ideal of R i3 : m = matrix{{a-1,a,b},{a-1,a,b}} o3 = | a-1 a b | | a-1 a b | 2 3 o3 : Matrix R <--- R i4 : prune m o4 = | a-1 a b | | a-1 a b | 2 3 o4 : Matrix R <--- R i5 : localPrune image m 1 o5 = R o5 : R-module, free, degrees {1} i6 :