http://www.mapleprimes.com/questions/144384-Polynomials-Not-In-The-Correct-Indeterminates
above link's comment said eliminate will NOT generate a polynomial in all cases
make me think that eliminate in above link can not return correct one.
what is the correct way to convert groebner basis of kernel into kernel?
