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 |