http://wiki.erights.org/mediawiki/index.php?title=Float64&feed=atom&action=historyFloat64 - Revision history2024-03-19T05:31:11ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Float64&diff=1754&oldid=prevKevin Reid at 16:38, 7 March 20092009-03-07T16:38:11Z<p></p>
<p><b>New page</b></p><div>The '''<code>Float64</code>''' type is E's primary floating-point [[number]] type. Its members are IEEE 64-bit binary floating-point numbers. ({{XXX}} is this appropriate definition language?) Float64 is one of the [[E literal types]].<br />
<br />
The [[universal scope]] contains <code>float64</code> (no capital), the guard for this type.<br />
<br />
? float64<br />
# value: float64<br />
<br />
== Protocol ==<br />
<br />
===Number protocol===<br />
Float64s implement the [[number protocol]]. ({{XXX}} figure out if there's benefit in templating to include generic number tests here)<br />
<br />
{{instance msgdoc|abs|0||[[Float64]]}}<br />
<br />
As specified in the [[number protocol]]. Specific tests:<br />
<br />
? 0.0.abs()<br />
# value: 0.0<br />
<br />
? 0.5.abs()<br />
# value: 0.5<br />
<br />
? (-0.0).abs()<br />
# value: -0.0<br />
<br />
? (-0.5).abs()<br />
# value: 0.5<br />
<br />
{{XXX}} is (-0.0).abs() supposed to be negative?<br />
<br />
{{instance msgdoc|sin|0||[[Float64]]}}<br />
Returns the trigonometric sine of this number as an angle in radians.<br />
<br />
? 0.0.sin()<br />
# value: 0.0 <br />
<br />
{{instance msgdoc|cos|0||[[Float64]]}}<br />
<br />
Returns the trigonometric cosine of this number as an angle in radians.<br />
<br />
? 0.0.cos()<br />
# value: 1.0<br />
<br />
{{instance msgdoc|tan|0||[[Float64]]}}<br />
<br />
Returns the trigonometric tangent of this number as an angle in radians.<br />
<br />
? 0.0.tan()<br />
# value: 0.0<br />
<br />
{{XXX}} test nonzero parameters for trig functions<br />
<br />
{{XXX}} write tests for all other methods (get from eocl and eojava)<br />
<br />
{{XXX}} Design issue: Is the canonical initial letter case for this type name (and int, boolean) upper or lower? [[Category:Unresolved design issues]]<br />
<br />
[[Category:ELib specification]]</div>Kevin Reid