=================================================================== RCS file: /home/cvs/OpenXM/doc/ascm2001p/data-format.tex,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/doc/ascm2001p/data-format.tex 2001/06/19 07:32:58 1.1 +++ OpenXM/doc/ascm2001p/data-format.tex 2001/06/20 05:42:47 1.2 @@ -1,23 +1,22 @@ -% $OpenXM$ +% $OpenXM: OpenXM/doc/ascm2001p/data-format.tex,v 1.1 2001/06/19 07:32:58 noro Exp $ \section{Data Format} -OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO -(Common Mathematical Object format). -OpenXM itself does not exhibit a bias towards a particular encodings -as a main mathematical data carrier and an OpenXM compliant system do not need to +OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO. +OpenXM itself does not exhibit a bias towards a particular encoding +as a main mathematical data carrier and an OpenXM compliant system +does not need to implement all possible data formats. However they should at least implement seven primitive data types of the CMO, which are necessary to -carry several control informations such as a {\it mathcap}. +carry various control information such as a {\it mathcap}\cite{ox-rfc-100}. Mathcap is a list of supported CMO's, OpenXM stack machine codes, -and necessary extra informations. -If a program sends an OX messages unknown to its peer, +and necessary extra information. +If a program sends an OX message unknown to its peer, an unrecoverable error may occur. By exchanging mathcaps, a program knows its peer's capability and such an error can be avoided. Mathcap is also defined as a CMO. -See \cite{ox-rfc-100} for the details. Encoding types of OX data are distinguished with tags of OX messages. @@ -31,7 +30,7 @@ The following seven primitive types should be implemen on all OpenXM compliant systems: \verb+CMO_ERROR2+, \verb+CMO_NULL+, \verb+CMO_INT32+, \verb+CMO_DATUM+, \verb+CMO_STRING+, \verb+CMO_MATHCAP+, \verb+CMO_LIST+. -As to the formats of other CMO's and XML, see \cite{ox-rfc-100}. +As to the formats of other CMO's and XML, see the OX-RFC-100\cite{ox-rfc-100}. %Let us explain the data format of CMO.