[Xsb-commits] CVS: XSB/docs/techman tech.tex,1.7,1.8

[Charles R. <cr...@us...>]

Update of /cvsroot/xsb/XSB/docs/techman
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv21129/docs/techman

Modified Files:
	tech.tex 
Log Message:

Corrected an issue with the configuration flag --enable-fast-floats, and added .tex and 'configure --help' documentation regarding it.

Index: tech.tex
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/techman/tech.tex,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- tech.tex	18 Jul 2005 21:53:59 -0000	1.7
+++ tech.tex	22 Jul 2005 19:40:35 -0000	1.8
@@ -359,13 +359,13 @@
 
 XSB supports both a single word format and a double word
 format.  In the single word version, 4 bits are used as tags, and the
-remaining 28 bits are for all types of values. Integers and
-floating point numbers are therefore coded only with 28 bits. The
-double word version uses two host machine words (64 bits) as a Prolog
-word. One machine word is used for tag, and the other is for value.
-Integers and floating point numbers have the same format as the host
-machine, unless extra precision for floating point numbers is specified at
-configuration time, in which case floats will be 64 bit in all circumstances.
+remaining 28 bits are for all types of values. Integers are therefore coded only 
+with 28 bits. Floating point values maintain double precision (64 bits) by defualt, 
+but do so by being stored as single-word references to an internal structure that
+contains the 64 bits of data. The double word version of XSB uses two host machine 
+words (64 bits) as a Prolog word. One machine word is used for tag, and the other 
+is for value. Integers and floating point numbers have the same format as the host
+machine.
 
 There is also a variation of the single word format, called {\it
 one-and-half-word} or {\it single-word-by-reference}. 
@@ -1673,7 +1673,7 @@
   \item[C] a constant (four bytes)
   \item[L] a label (address, four bytes)
   \item[G] a string
-  \item[N] a number (integer, floating point, or ref to a boxed number. four bytes)
+  \item[N] a number (integer, fast floating point, or ref to a boxed number. four bytes)
   \item[I] special; for the 2nd and 3rd arguments of switchonbound
   \item[P] pad, use a ``-'' in the table: the byte is not used (one byte)
   \item[PP] double pad, use two ``-'' in the table (two bytes)