===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/doc/OpenXM-specs/cmo-basic1.tex	2000/01/24 02:48:24	1.4
+++ OpenXM/doc/OpenXM-specs/cmo-basic1.tex	2000/01/24 07:36:35	1.5
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.3 2000/01/23 05:28:33 noro Exp $
+%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.4 2000/01/24 02:48:24 noro Exp $
 //&jp \section{ 数, 多項式 の  CMO 表現 }
 //&eg \section{ CMOexpressions for numbers and polynomials }
 \label{sec:basic1}
@@ -27,15 +27,33 @@
 以下, グループ CMObject/Basic, CMObject/Tree 
 および CMObject/DistributedPolynomial
 に属する CMObject の形式を説明する.
-\noroa{ tagged list を導入すべきか?  cf. SSkan/plugin/cmo.txt }
 
+\noindent
+{\tt OpenXM/src/ox\_toolkit} にある {\tt bconv} をもちいると
+CMO expression を binary format に変換できるので,
+これを参考にするといい.
 */
 /*&eg
 In the sequel, we will explain on the groups
 CMObject/Basic, CMObject/Tree 
 and CMObject/DistributedPolynomial.
+
+\noindent
+The program {\tt bconv} at {\tt OpenXM/src/ox\_toolkit}
+translates 
+CMO expressions into binary formats.
+It is convinient to understand the binary formats explained in
+this section.
 */
 
+/*&C
+\noindent Example:
+\begin{verbatim}
+bash$ ./bconv
+> (CMO_ZZ,123123);
+00 00 00 14 00 00 00 01 00 01 e0 f3 
+\end{verbatim}
+*/
 /*&jp
 
 \bigbreak
@@ -677,7 +695,7 @@ $\in$ CMObject/MachineDouble \\
 
 \bigbreak
 //&jp 次に IEEE 準拠の float および Big float を定義しよう.
-//&eg We define IEEE conformant float and big float.
+//&eg We define float and big float conforming to the IEEE standard.
 \begin{verbatim}
 #define CMO_BIGFLOAT   50
 #define CMO_IEEE_DOUBLE_FLOAT 51
@@ -688,8 +706,8 @@ IEEE 準拠の float については, IEEE 754 double precisio
 format (64 bit) の定義を見よ.
 */
 /*&eg
-See IEEE 754 double precision floating-point (64 bit) for the details of IEEE
-conformant float.
+See IEEE 754 double precision floating-point (64 bit) for the details of 
+float conforming to the IEEE standard.
 */
 
 \noindent