The standard transposition is the involution of the Weyl algebra which sends x^{a}d^{b} to (d)^{b}x^{a}. It provides the equivalence in the Weyl algebra between left and right Dmodules.



The standard transposition of a left ideal should be a right ideal, however M2 currently doesn't support right modules. Thus the output is left ideal generated by the transposition of the previous generators.
The object Dtransposition is a method function.