The Involutive Groebner Walk

O. Goloubitsky, Department of Mechanics and Mathematics, Moscow State University


The most widely used constructive method in commutative algebra is based on the Groebner bases technique. The Groebner basis of an ideal depends on the ordering of the monomials in the polynomial ring. The Groebner Walk technique is used to transform Groebner bases from one monomial ordering to another. Another technique which is used in constructive theory of ideals is based on the involutive approach coming from differential algebra.

It is shown that the Groebner walk technique can be carried over to involutive bases. An algorithm and its implementation is discussed.


IMACS ACA'98 Electronic Proceedings