ambient R
i1 : A = ZZ[a..d];
i2 : B = A/(3*a^2-1);
i3 : C = B/(a*b-3);
i4 : describe C B o4 = ------- a*b - 3
i5 : ambient C o5 = B o5 : QuotientRing