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