We build a polynomial ring with coefficients in a polynomial ring
i1 : R = QQ[x,y] o1 = R o1 : PolynomialRing |
i2 : Q = R[s,t] o2 = Q o2 : PolynomialRing |
i3 : degree s o3 = {1, 0} o3 : List |
i4 : degree x o4 = {1} o4 : List |
Note that the generators of Q have two degrees: an "internal" degree coming from R and an "external" degree coming from Q proper.
i5 : internal = internalDegreeIndices Q o5 = {1} o5 : List |
i6 : (degree s)_internal o6 = {0} o6 : List |
i7 : (degree x_Q)_internal o7 = {1} o7 : List |
The object internalDegreeIndices is a method function.