Abstract | Composition is an operation of replacing variables in a polynomial
with other polynomials. The main question of this paper is: When does composition commute with Groebner basis computation (possibly under different term orderings)? We prove that this happens if the leading terms of the composition polynomials form "permuted powering". This is a sequel to another paper where we dealt with a more restricted question (that required same term ordering). |