-- -*- M2-comint -*- {* hash: -627992562 *} i1 : A = ZZ[x_1..x_4]/(x_4^2) o1 = A o1 : QuotientRing i2 : regularSequenceCheck({x_1..x_4},A) o2 = 3 i3 :
-- -*- M2-comint -*- {* hash: -627992562 *} i1 : A = ZZ[x_1..x_4]/(x_4^2) o1 = A o1 : QuotientRing i2 : regularSequenceCheck({x_1..x_4},A) o2 = 3 i3 :