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.