Real numbers: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
Added link to issues |
||
| 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: | ||
Revision as of 17:41, 8 May 2007
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: