I would like to know how to do a tensor product of two quotient rings in Sage. I have the following toy example that I am using to try and understand the concept
R = PolynomialRing(QQ,2,'x')
R.inject_variables()
IR = ideal(x0^2-x1^3)
QR = QuotientRing(R,IR)
S = PolynomialRing(QQ,3,'x')
S.inject_variables()
IS = ideal(x0*x1-x2^2)
QS = QuotientRing(R,IS)
Both rings are in the variables labeled by x, but I would like to treat each set of variables as if they are different. Any help would be appreciated!
