Involutive Bases in the Weyl Algebra

We discuss the definition and the construction of involutive bases, a special kind of Gröbner bases, for left ideals in the Weyl algebra. We consider not only term orders, for which the extension is straightforward, but also the more general case of multiplicative monomial orders.