Extracts from a Weyl algebra the polynomial ring in its differentials only.
i1 : D = makeWA(QQ[x,y]) o1 = D o1 : PolynomialRing, 2 differential variables |
i2 : S = extractDiffsAlgebra D o2 = S o2 : PolynomialRing |
i3 : describe S o3 = QQ[dx, dy, Degrees => {2:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1] {GRevLex => {2:1} } {Position => Up } |
The object extractDiffsAlgebra is a method function.