should be set to zero exactly if they are below a tolerance. In this way, unconsequential roundoff errors don't trigger false results.