-- -*- M2-comint -*- {* hash: -1556567101 *} i1 : ZZ[x]/367236427846278621 ZZ[x] o1 = ------------------ 367236427846278621 o1 : QuotientRing i2 : A = QQ[u,v]; i3 : I = ideal random(A^1, A^{-2,-2,-2}) 2 9 7 2 8 2 10 8 2 2 2 6 2 o3 = ideal (2u + -u*v + --v , -u + --u*v + -v , -u + u*v + -v ) 7 10 7 9 3 3 5 o3 : Ideal of A i4 : B = A/I; i5 : use A; i6 : C = A/(u^2-v^2,u*v); i7 : D = GF(9,Variable=>a)[x,y]/(y^2 - x*(x-1)*(x-a)) o7 = D o7 : QuotientRing i8 : ambient D o8 = GF 9[x, y] o8 : PolynomialRing i9 : ZZ/2 === ZZ/(4,6) o9 = true i10 : R = ZZ/101[t] o10 = R o10 : PolynomialRing i11 : R/t === R/t o11 = false i12 :