" in the present example no searching is needed, since all such differences have rational, indeed integer, entries, and there are no non zero rational elements of the kernel of A. you see this just by looking at the entries of A."
It is true for this example. However, in general case...