approx_eq

(function for equations)

 

Usage:

approx_eq (x, y)      x ~= y

Definition:

eqnear(2e-5,x,y)    

Definition of eqnear

Required:

x and y are unrestricted reals

Returns true iff x is equal to y, within a small relative tolerance.

Usually the operator form of this function is most convenient: x ~= y.

To have control of the tolerance, use eqnear.