next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: makeWeylAlgebra(PolynomialRing)

makeWeylAlgebra(PolynomialRing) -- Weyl algebra corresponding to a polynomial ring

Synopsis

Description

Given a polynomial ring R with variables x_1,..,x_n, this routine returns a Weyl algebra with variables x_1,..,x_n and dx_1,..,dx_n.
i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing
i2 : W = makeWeylAlgebra R

o2 = W

o2 : PolynomialRing
Abbreviations :
  • makeWA

Caveat

The polynomial ring R must be commutative.

See also