Ask Your Question

Revision history [back]

Hi,

There is no relation in the ring you get. It is a polynomial ring! A quotient would rather looks like the following

sage: R
Multivariate Polynomial Ring in z0, z1, z2, z3 over Rational Field
sage: R.quotient([R.gen(0)**2])
Quotient of Multivariate Polynomial Ring in z0, z1, z2, z3 over Rational Field by the ideal (z0^2)

Vincent