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

Synopsis

• Usage:

  extractDiffsAlgebra 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 : 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    }

See also

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