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 |