MinimalInvolutiveMonomialBasis

Construction of involutive monomial sets for different involutive divisions. We consider computation and implementation issues for the completion of monomial sets to involution using different involutive divisions. Each of these divisions produces its own completion procedure. For the polynomial case it yields an involutive basis which is a special form of the Gröbner basis. We also compare our Mathematica implementation of the Janet division to an implementation in C.