PossibleZeroQ

PossibleZeroQ[e] returns True if e is most likely equivalent to zero.

Attributes[PossibleZeroQ] := {Listable, Protected}

Simple examples

In[1]:= PossibleZeroQ[a + a*-1]
Out[1]= True

In[2]:= PossibleZeroQ[a + b*-1]
Out[2]= False