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

i1 : R=ZZ/32003[a..c];

i2 : isCM(ideal(a^2,b^4)) --complete intersection

o2 = true

i3 : isCM(ideal(a^3,b^5,c^4,a*c^3)) --Artinian

o3 = true

i4 : isCM(ideal(a^3,a*b^2))

o4 = false

i5 :