Question: How do I automatically change the polynomial ring R=K[x1,...,xn] into the quotient ring R/I when I is a homogeneous ideal of degree d in R?

Hi every one

How do I automatically change the polynomial ring R=K[x1,...,xn] into the quotient ring R/I when I is a homogeneous ideal of degree d in R?

For example, let I be a polynomial ideal generated by [x-y, x^2+y^2+z^2] in R=K[x,y,z]. In the middle of the computations, the ideal B=[x-y] is computed and now we have to continue the calculation at the quotient ring R/B. How does change R into R/B automatically in Maple and then [x^2+y^2+z^2] changes into [2y^2+z^2] and K[x,y,z]/[x-y] ----> K[y,z]?

Thank you in advance.

Please Wait...