On the Computation of Elimination Ideals of Boolean Polynomial Rings

摘要

In order to compute an eliminate portion of a given polynomial ideal by a Grobner basis computation, we usually need to compute a Grobner basis of the whole ideal with respect to some proper term order. In a boolean polynomial ring, we show that we can compute an eliminate portion by computing Grobner bases in the boolean polynomial ring with the same coefficient ring that has the only variables which we want to eliminate. We also check the efficiency of our method through our implementation.