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 variable(s)

i2 : S = extractDiffsAlgebra D

o2 = S

o2 : PolynomialRing

i3 : describe S

o3 = QQ[dx, dy, Degrees => {2:1}, Heft => {1}]

See also

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