normalForm(P, Q)
normalForm(P, G)
This method computes the normal form of an element $P$ in the Weyl algebra $D_n$ with respect to another element in the Weyl algebra, or a whole list of such elements. The reduction step is carried out over the rational Weyl algebra $R_n$.
|
|
|
See [SST, Theorem 1.1.7].
Due to technical limitations, the output lives in the graded associative algebra of the rational Weyl algebra, which is a commutative ring over the base fraction field of $D_n$ where the partial differentials are adjoined as commuting variables.
The object normalForm is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/ConnectionMatrices/docs.m2:96:0.