An Involutive GVW Algorithm and the Computation of Pommaret Bases

The GVW algorithm computes simultaneously Gröbner bases of a given ideal and of the syzygy module of the given generating set. In this work, we discuss an extension of it to involutive bases. Pommaret bases play here a special role in several respects. We distinguish between a fully involutive GVW algorithm which determines involutive bases for both the given ideal and the syzygy module and a semi-involutive version which computes for the syzygy module only an ordinary Gröbner basis. A prototype implementation of the developed algorithms in Maple is described.