[<A HREF="FPAssumptions.ps">PostScript</A>]

<PRE>
FPAssumptions (smallest, largest,
               gap, rational): <b>trait</b>
  <b>includes</b> <A HREF="Rational.html">Rational</A>
  <b>introduces</b>
    smallest, largest, gap: -&gt; Q
    rational: F -&gt; Q
    float: Q -&gt; F
    0, 1: -&gt; F
  <b>asserts</b> <b>forall</b> f: F
    smallest &gt; 0;
    largest &gt; smallest;
    rational(0) == 0;
    rational(1) == 1;
    rational(f) \neq 0 =&gt; abs(rational(f)) &gt;= smallest;
    rational(f) &lt;= largest;
    gap &gt; 0;
    float(rational(f)) == f;
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]