The equality relations in scientific computing

The equality relation (more generally, the ordering relations) in floating point arithmetic is the exact translation of the mathematical equality relation. Because of the propagation of round-off errors, the floating point arithmetic is not the exact representation of the theoretical arithmetic which is continuous on the real numbers.This leads to some incoherence when the equality concept is used in floating point arithmetic. A well known example is the detection of a zero element in the pivoting column and equation when applying Gaussian elimination, which is almost impossible in floating point arithmetic.We shall begin by showing the inadequacy of the equality relation used in floating point arithmetic (we will call it floating point equality), and then introduce two new concepts: stochastic numbers and the equality relation between such numbers which will be called the stochastic equality. We will show how these concepts allow to recover the coherence between the arithmetic operators and the ordering relations that was missing in floating point computations.