m2-tensor-rings

i1 : A = QQ[x]

o1 = A

o1 : PolynomialRing

i2 : B = QQ[y]

o2 = B

o2 : PolynomialRing

i3 : C=A**B

o3 = C

o3 : PolynomialRing

i4 : x

o4 = x

o4 : C

i5 : y

o5 = y

o5 : C

i6 : x*y

o6 = x*y

o6 : C

i7 : y*x

o7 = x*y

o7 : C

i8 : x*y == y*x

o8 = true