The GIbasis function returns a value of true if x and y form a basis of the Gaussian integer domain, and false otherwise.

Any two Gaussian integers (x and y) form a basis if every Gaussian integer can be represented in the form  where a and b are integers.