H = groebnerWalk(G, R)
H = groebnerWalk(I, R)
The Groebner walk takes a Groebner basis of an ideal with respect to one monomial order and changes it into a Groebner basis of the same ideal over a different monomial order. The initial order is given by the ring of G and the target order is the order in R. When given an ideal I as input a Groebner basis of I in the ring of I is initially computed directly, and then this Groebner basis is converted into a Groebner basis in the ring R.
|
|
|
|
|
The target ring R must be the same ring as the ring of G or I, except with different monomial order. R must be a polynomial ring over a field.
The object groebnerWalk is a method function with options.