 PIT concerns whether a polynomial is identical to the zero polynomial, rather than whether the function implemented by the polynomial always evaluates to zero in the given domain.For example, the field with two elements, GF(2), contains only the elements 0 and 1.In GF(2), formula_14 always evaluates to zero; despite this, PIT does not consider formula_14 to be equal to the zero polynomial.