Composition is the operation of replacing variables in a polynomial with other polynomials. The main question in this paper is: when does composition commute with universal Groebner basis computation? We prove that th...Composition is the operation of replacing variables in a polynomial with other polynomials. The main question in this paper is: when does composition commute with universal Groebner basis computation? We prove that this happens iff the composition is single variable. This has a natural application in the computation of universal Groebner bases of composed polynomials.展开更多
基金This paper is aided financially by Youth Item in the Education Department of Hunan Province(03B047) Natural Science Fund in China( 10371036).
文摘Composition is the operation of replacing variables in a polynomial with other polynomials. The main question in this paper is: when does composition commute with universal Groebner basis computation? We prove that this happens iff the composition is single variable. This has a natural application in the computation of universal Groebner bases of composed polynomials.