Thank you for the reply! Sorry if I'm wasting your time, but I don't get what you mean by copy? (Is ⊕ the same as ×?)
And ##A[X, Y]/(XY)## means, as far as I know, all polynomials, with coefficients from A, of variable X and Y. Mod XY means, XY = 0, so shouldn't the new ring be functions of only...