View source for Not a Number

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

If you are writing programs in an environment where NaNs (Not-a-Number) crop up a lot, as I am, then turning on assertion checking beyond require level is not, in general, practical. The problem is not performance, but the fact that no NaN compares equal to any number, including itself. And for good reason.

So when you encounter a postcondition such as this from class <eiffel>ARRAY</eiffel>:

<eiffel>
	put (v: like item; i: INTEGER_32)
			-- Replace `i'-th entry, if in index interval, by `v'.
		require -- from TABLE
			valid_key: valid_index (i)
		require -- from TO_SPECIAL
			valid_index: valid_index (i)
		do
			area.put (v, i - lower)
		ensure then -- from INDEXABLE
			insertion_done: item (i) = v
		ensure -- from TO_SPECIAL
			inserted: item (i) = v
		end
</eiffel>

you will get a violation if <eiffel>item</eiffel> is of type <eiffel>REAL_64</eiffel> (for instance), and <eiffel>v</eiffel> is a NaN.

And such postconditions are pervasive.

This is a serious difficulty with Eiffel at the moment. So I am putting forward the following proposal as a starter to kick off a community discussion.

The essence of my proposal is to add a routine named <eiffel>is_numerically_equal (a_other: NUMERIC): BOOLEAN</eiffel> to class <eiffel>NUMERIC</eiffel>.

This will differ from <eiffel>is_equal</eiffel> in that if either operand is a NaN, then the result is guaranteed to be False. Whereas <eiffel>is_equal</eiffel> will return True if ''both'' operands are NaNs.

Now it is important that the <eiffel>=</eiffel> operator can continue to be used in the traditional mathmatical sense for numbers. So it will have to differ in its definition for class <eiffel>NUMERIC</eiffel> from all other classes.

Return to Not a Number.

Retrieved from "https://dev.eiffel.com/Not_a_Number"

View source for Not a Number

Navigation

Development

Wiki

Search

Tools