Real numbers: Difference between revisions

From EiffelStudio: an EiffelSoftware project
Jump to navigation Jump to search
Juliant (talk | contribs)
No edit summary
 
Juliant (talk | contribs)
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.



Revision as of 17:25, 17 November 2006


In the current ELKS standard some features of the REAL and 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.

The revised interface descriptions will be developed here: