<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">"Correct" is difficult check out:  <a href="http://www.netlib.org/paranoia/paranoia.c">http://www.netlib.org/paranoia/paranoia.c</a></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">This set of programs lead to the IEEE FP format work.   And Paul is 100% correct, Seymour was never worried about correctness, just being fast and "close enough for government work.".  He used reciprocal approximation, not full dividers for the Cray and CDC boxes because they took too long, ones-complement for binary etc..; basically set the dial to be fast, not accurate.   Remember he came from a time when a the slide-rule and 3 significant digits was king.    So much, if not all, of the input data was not that precise.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">It was only after years of working with scientific computers, that people realized that some of the errors were being magnified and made worse and worse because of the lack of correctness in the encoding.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Clem</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 17, 2016 at 11:55 AM, Paul Koning <span dir="ltr"><<a href="mailto:paulkoning@comcast.net" target="_blank">paulkoning@comcast.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class=""><br><div><blockquote type="cite"><div>On Oct 14, 2016, at 7:22 PM, Leo Broukhis <<a href="mailto:leob@mailcom.com" target="_blank">leob@mailcom.com</a>> wrote:</div><br class="m_-6106656618593456092Apple-interchange-newline"><div><div dir="ltr"><div><div>I wonder what is the historically first programming environment with native binary floating point which had been proved/demonstrated to handle f.p. binary<->decimal I/O conversions 100% correctly?<br></div>By 100% correctly I mean that all valid binary representations of floating point numbers could be, given a format with enough significant digits, converted to unique text strings, and these strings could be converted back to the corresponding unique binary representations.<br></div><div><div><div><br></div><div>Of course, there is enquire.c which facilitated finding bugs in the Unix/Posix environments, but has anyone cared about this during the mainframe era?</div></div></div></div></div></blockquote><br></div></span><div>I believe so, yes.  For the design of the floating point feature of the Electrologica X8 (early 1960s) the design documents discuss correctness, including what the definition of "correct" should be.</div><div><br></div><div>There is a very nice and very detailed correctness proof of that floating point design, documented in <a href="http://repository.tue.nl/674735" target="_blank">http://repository.tue.nl/<wbr>674735</a> .  That paper was written long after the fact, but by one of the people originally involved in that machine.</div><div><br></div><div>Apart from proofs of the correctness of each of the floating point instructions, that paper also describes the sqrt library function.   Interestingly enough, the implementation of that function does not use floating point operations.  But the analysis, in appendix B of the paper, clearly shows the error terms of the approximation used and why the number of steps used is sufficient for correctness of the sqrt implementation.</div><div><br></div><div>For a different machine, the CDC 6000 series, I remember reading complaints about its bizarre rounding behavior (rounding at 1/3 ?).  I forgot where that appeared; possibly a paper by prof. Niklaus Wirth of ETH Zürich.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div><span class="m_-6106656618593456092Apple-tab-span" style="white-space:pre-wrap">    </span>paul</div><div><br></div><br></font></span></div><br>______________________________<wbr>_________________<br>
Simh mailing list<br>
<a href="mailto:Simh@trailing-edge.com">Simh@trailing-edge.com</a><br>
<a href="http://mailman.trailing-edge.com/mailman/listinfo/simh" rel="noreferrer" target="_blank">http://mailman.trailing-edge.<wbr>com/mailman/listinfo/simh</a><br></blockquote></div><br></div>