The fundamental technique involved is that of finding integer
relations. Let be a vector of real
numbers. x is said to possess an integer relation if there exist
integers not all zero such that . By an integer relation algorithm, we mean an algorithm
that is guaranteed (provided the computer implementation has
sufficient numeric precision) to recover the vector of integers ,
if it exists, or to produce bounds within which no integer relation
can exist.