Ask Your Question
1

Checking if Quotient Rings are Isomorphic

asked 2016-07-05 23:08:19 +0100

lkumanduri gravatar image

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!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2016-07-06 09:11:55 +0100

tmonteil gravatar image

It seems indeed that this is not implemented in Sage. If you know some algorithm that do that, it would make a great improvement to Sage !

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-07-05 23:08:19 +0100

Seen: 509 times

Last updated: Jul 06 '16