Real numbers: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
mNo edit summary |
||
| Line 1: | Line 1: | ||
[[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). In addition important features like ''is_nan'' or ''is_infinity'' are missing. Thus these classes have to be revised. | ||