-- -*- M2-comint -*- {* hash: -967216240 *} i1 : R=ZZ/32003[a..c]; i2 : isLPP LPP(R,{1,3,4,3,2},{2,2,4}) o2 = true i3 : isLPP ideal(a^3,b^3,c^3,a^2*b,a^2*c,a*b^2*c^2) o3 = true i4 : isLPP ideal(a^3,b^4) --not Artinian since no power of c o4 = false i5 : isLPP ideal(a^3,b^4,c^3) --powers not weakly increasing o5 = false i6 : isLPP ideal(a^3,b^3,c^3,a^2*b,a*b^2) o6 = false i7 :