[Gd-chatter] r11415 - trunk/www/books/drm

[cpage at gwydiondylan.org]

Author: cpage
Date: Thu Jun 21 20:37:46 2007
New Revision: 11415

Modified:
   trunk/www/books/drm/Equality_and_Comparison.html
Log:
Job: website

In the Equality and Comparison section of the DRM, the paragraph discussing IEEE float comparisons was inside the Trichotomy DD element. I moved it outside, where it should be. (This was an HTML error only, not an error in the DRM.)


Modified: trunk/www/books/drm/Equality_and_Comparison.html
==============================================================================
--- trunk/www/books/drm/Equality_and_Comparison.html	(original)
+++ trunk/www/books/drm/Equality_and_Comparison.html	Thu Jun 21 20:37:46 2007
@@ -198,13 +198,14 @@
 	  <p>Exactly one of: (a <code>&lt;</code> b), (a <code>=</code> b), (b <code>&lt;</code> a)
 	    always holds (on the assumption that these two operations are defined for the objects in
 	    question).</p>
-	  <p>In the general case, the behavior of comparison operators when applied to instances
-	    of <code>&lt;complex&gt;</code> is implementation defined. This is to allow
-	    implementations to support <a name="IX-1574">IEEE floating point</a> when
-	    comparing NaNs. However, when instances of <code>&lt;rational&gt;</code> and instances
-	    of <code>&lt;float&gt;</code> are compared, it is defined that the instance
-	    of <code>&lt;float&gt;</code> is first converted to a rational and then an exact
-	    comparison is performed.</p></dd>
+	</dd>
+	<p>In the general case, the behavior of comparison operators when applied to instances
+	  of <code>&lt;complex&gt;</code> is implementation defined. This is to allow
+	  implementations to support <a name="IX-1574">IEEE floating point</a> when
+	  comparing NaNs. However, when instances of <code>&lt;rational&gt;</code> and instances
+	  of <code>&lt;float&gt;</code> are compared, it is defined that the instance
+	  of <code>&lt;float&gt;</code> is first converted to a rational and then an exact
+	  comparison is performed.</p>
       </dl>
       <a name="HEADING-99-8"></a>
       <a name="UID-Built-In_Functions-2809"></a>