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