Hey all!
I was wondering if there was a way to check if two quotient polynomial rings were isomorphic to each other in SAGE. In particular I tried this
R.<x,y,z> = PolynomialRing(QQ)
I = R.ideal(x+y+z,x^2,y^2,z^2,x^3,y^3,z^3,x^2y,y^2x,xyz,y^2z,yz^2,xz^2,zx^2)
S = R.quotient_ring(I)
T.<w> = PolynomialRing(QQ)
J = T.ideal(w^3)
P = T.quotient_ring(J)
S.is_isomorphic(P)
But there is no is_isomorphic for Quotient Rings that I could find
Thanks!
