extractVarsAlgebra -- underlying polynomial ring in the ordinary variables of a Weyl algebra

Synopsis

• Usage:

  extractVarsAlgebra D

• Inputs:
  • D, a polynomial ring, a Weyl algebra
• Outputs:
  • a polynomial ring,

Description

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    }

See also

• extractDiffsAlgebra -- underlying polynomial ring in the differentials of a Weyl algebra