Re: Groebner bases over the integers

Philipp Ruemmer wrote:

2*x+a, 2*y+a

this would already be the reduced Groebner basis over Q (for the
lexicographic ordering with y>x>a), modulo the factors 1/2.

And your example y-x reduces to 0 wrt this basis. If a polynomial is zero for all integers, it's zero for all rationals as well (and, obviously, vice versa).


Regards,
Christopher
.

Relevant Pages