Ask Your Question

quotient ring in Sage

asked 2021-05-04 14:51:09 +0200

wittenhe gravatar image

How to calculate quotient ring Z2[x,y,z]/(2x,y^3,xy,x^2-4z] in sage? Thanks!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2021-05-04 16:09:58 +0200

Max Alekseyev gravatar image

If under Z2 you understand $\mathbb Z/2\mathbb Z$ (or $\mathrm{GF}(2)$), then the even coefficients in the ideal generators look strange. Anyway, here is what you want:

K.<x,y,z> = PolynomialRing(GF(2))   # ring Z2[x,y,z]
J = ideal(2*x,y^3,x*y,x^2-4*z)      # ideal generated by 2*x,y^3,x*y,x^2-4*z
R = K.quotient_ring(J)              # quotient ring Z2[x,y,z] / <2x,y^3,xy,x^2-4z>
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


Asked: 2021-05-04 14:51:09 +0200

Seen: 37 times

Last updated: May 04