A comprehensive treatment of a fundamental tool for solving problems in computational and combinatorial geometry.