i1 : ZZ/101[x,y]/(x^2-y^2) ** ZZ/101[a,b]/(a^3+b^3) ZZ --- [x, y, a, b, Degrees => {{1, 0}, {1, 0}, {0, 1}, {0, 1}}, MonomialOr 101 o1 = ------------------------------------------------------------------------ 2 (x - ------------------------------------------------------------------------ der => {GRevLex => {1, 1}, Position => Up, GRevLex => {1, 1}, Position = ------------------------------------------------------------------------ 2 3 3 y , a + b ) ------------------------------------------------------------------------ > Up}] ------ o1 : QuotientRing |
i2 : T = tensor(ZZ/101[x,y], ZZ/101[a,b], MonomialOrder => Eliminate 2) o2 = T o2 : PolynomialRing |
i3 : options tensor o3 = OptionTable{Adjust => identity } DegreeRank => Degrees => Global => true Heft => Inverses => false MonomialOrder => MonomialSize => 32 Repair => identity SkewCommutative => {} VariableBaseName => Variables => Weights => {} WeylAlgebra => {} o3 : OptionTable |
i4 : R = QQ[x,y]/(x^3-y^2); |
i5 : T = R ** R o5 = T o5 : QuotientRing |
i6 : generators T o6 = {x, y, x, y} o6 : List |
i7 : {T_0 + T_1, T_0 + T_2} o7 = {x + y, x + x} o7 : List |
i8 : U = tensor(R,R,Variables => {x,y,x',y'}) o8 = U o8 : QuotientRing |
i9 : x + y + x' + y' o9 = x + y + x' + y' o9 : U |