https://dev.eiffel.com/api.php?action=feedcontributions&feedformat=atom&user=Saunders 2026-04-07T17:01:44Z User contributions MediaWiki 1.24.1 https://dev.eiffel.com/index.php?title=Talk:Not_a_Number&diff=13695 2010-02-20T03:18:23Z

<p>Saunders: /* One possibility for working with NaN */ new section</p> <hr /> <div>'''--[[User:Manus|manus]] 19:37, 8 May 2007 (CEST)''': Have a look at [[Real_numbers| Real Numbers]] page where we already started a similar discussion but currently only for the specification of REAL_64, not its usage.<br /> <br /> == One possibility for working with NaN ==<br /> <br /> I was working on a project to represent complex numbers and used the following `is_equal' to accomodate the use of NaNs:<br /> <br /> <br /> is_equal (other: like Current): BOOLEAN<br /> -- Is `other' attached to an object considered<br /> -- equal to current object?<br /> -- If current object is not a number (NaN) and<br /> -- `other' is as well `True' will be returned.<br /> do<br /> if is_nan then<br /> if real /~ real and then imaginary ~ imaginary then<br /> Result := real /~ other.real and then imaginary ~ other.imaginary<br /> elseif real ~ real and then imaginary /~ imaginary then<br /> Result := real ~ other.real and then imaginary /~ other.imaginary<br /> elseif real /~ real and then imaginary /~ imaginary then<br /> Result := real /~ other.real and then imaginary /~ other.imaginary<br /> end<br /> else<br /> Result := real ~ other.real and then imaginary ~ other.imaginary<br /> end<br /> end</div>

Saunders