Ask Your Question

Revision history [back]

Quotient of ideals in powerseries ring

Is it possible to take quotient (colon) of two ideals in a multivariable powerseries ring over a field?

e.g. the following code gives me error(s):

sage: R.<x,y,z> = PolynomialRing(QQ,3)
sage: I = Ideal([x^2+x*y*z,y^2-z^3*y,z^3+y^5*x*z])
sage: J = Ideal([x])
sage: Q = I.quotient(J)

Thanks and regards

--VInay

Quotient of ideals in powerseries ring

Is it possible to take quotient (colon) of two ideals in a multivariable powerseries ring over a field?

e.g. the following code gives me error(s):

sage: R.<x,y,z> = PolynomialRing(QQ,3)
sage: I = Ideal([x^2+x*y*z,y^2-z^3*y,z^3+y^5*x*z])
sage: J = Ideal([x])
sage: Q = I.quotient(J)

Thanks and regards

--VInay