Real numbers: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
Fixed link |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:ELKS]] | [[Category:ELKS]] | ||
In the current ELKS standard some features of the [http://www.gobosoft.com/eiffel/nice/elks95/real.html REAL] and [http://www.gobosoft.com/eiffel/nice/elks95/double.html DOUBLE] classes have unsatisfiable contracts (e.g. floor and ceiling). In addition important features like ''is_nan'' or ''is_infinity'' are missing. Thus these classes have to be revised. | In the current ELKS standard some features of the [http://www.gobosoft.com/eiffel/nice/elks95/real.html REAL] and [http://www.gobosoft.com/eiffel/nice/elks95/double.html DOUBLE] classes have unsatisfiable contracts (e.g. floor and ceiling, see [[REAL_64 (issues)]]). In addition important features like ''is_nan'' or ''is_infinity'' are missing. Thus these classes have to be revised. | ||
The revised interface descriptions will be developed here: | The revised interface descriptions will be developed here: | ||
| Line 7: | Line 7: | ||
* [[REAL_32 (interface)]] | * [[REAL_32 (interface)]] | ||
* [[REAL_64 (interface)]] | * [[REAL_64 (interface)]] | ||
See also [[Not_a_Number]] | |||
Latest revision as of 23:31, 16 May 2011
In the current ELKS standard some features of the REAL and DOUBLE classes have unsatisfiable contracts (e.g. floor and ceiling, see REAL_64 (issues)). In addition important features like is_nan or is_infinity are missing. Thus these classes have to be revised.
The revised interface descriptions will be developed here:
See also Not_a_Number