The operator ** or the function tensor can be used to construct tensor products of rings.
i1 : ZZ/101[x,y]/(x^2-y^2) ** ZZ/101[a,b]/(a^3+b^3) |
Other monomial orderings can be specified.
i2 : T = tensor(ZZ/101[x,y], ZZ/101[a,b], MonomialOrder => Eliminate 2) |
The options to tensor can be discovered with options.
i3 : options tensor |