-- -*- M2-comint -*- {* hash: -1257110952 *} i1 : S = ZZ/3[x,y,z]; i2 : isQuotientRing S o2 = false i3 : R = S/(x^2-y*z); i4 : isQuotientRing R o4 = true i5 : ambient R o5 = S o5 : PolynomialRing i6 : symAlg = symmetricAlgebra R^2; i7 : isQuotientRing symAlg o7 = false i8 : sing = singularLocus R; i9 : isQuotientRing sing o9 = true i10 :