next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Dmodules :: extractDiffsAlgebra

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

Synopsis

Description

Extracts from a Weyl algebra the polynomial ring in its differentials only.

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

Ways to use extractDiffsAlgebra :

For the programmer

The object extractDiffsAlgebra is a method function.