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