-- -*- M2-comint -*- hash: 15757243142136149171

i1 : R1=ZZ/101[a,b,c]/ideal(a^2,b^2,c^5)

o1 = R1

o1 : QuotientRing

i2 : R2=ZZ/101[a,b,c]/ideal(a^3,b^3)

o2 = R2

o2 : QuotientRing

i3 : extIsOnePolynomial coker random(R1^{0,1},R1^{3:-1})

      1 2   1
o3 = (-z  - -z + 3, true)
      2     2

o3 : Sequence

i4 : extIsOnePolynomial coker random(R2^{0,1},R2^{3:-1})

o4 = (3z - 2, false)

o4 : Sequence

i5 : 
